Search the dblp DataBase
Roberta Gori :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Roberta Gori A fixpoint semantics for reasoning about finite failure. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1999, pp:529-544 [Conf ] Roberta Gori , Giorgio Levi Finite Failure is AND-Compositional. [Citation Graph (0, 0)][DBLP ] GULP-PRODE (1), 1994, pp:464-478 [Conf ] Roberta Gori , Giorgio Levi On the verification of finite failure. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1999, pp:197-212 [Conf ] Roberta Gori , E. Lastres , R. Moreno , Fausto Spoto Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1998, pp:433-442 [Conf ] François Fages , Roberta Gori A Hierarchy of Semantics for Normal Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] ALP, 1996, pp:77-91 [Conf ] Roberta Gori , Francesca Levi An Analysis for Proving Temporal Properties of Biological Systems. [Citation Graph (0, 0)][DBLP ] APLAS, 2006, pp:234-252 [Conf ] Roberta Gori , Francesca Levi A New Occurrence Counting Analysis for BioAmbients. [Citation Graph (0, 0)][DBLP ] APLAS, 2005, pp:381-400 [Conf ] Roberto Bagnara , Enea Zaffanella , Roberta Gori , Patricia M. Hill Boolean Functions for Finite-Tree Dependencies. [Citation Graph (0, 0)][DBLP ] LPAR, 2001, pp:579-594 [Conf ] Marco Comini , Roberta Gori , Giorgio Levi How to Transform an Analyzer into a Verifier. [Citation Graph (0, 0)][DBLP ] LPAR, 2001, pp:595-609 [Conf ] Roberta Gori An Abstract Interpretation Approach to Termination of Logic Programs. [Citation Graph (0, 0)][DBLP ] LPAR, 2000, pp:362-380 [Conf ] Roberta Gori A Fixpoint Semantics for Reasoning about Finite Failure. [Citation Graph (0, 0)][DBLP ] LPAR, 1999, pp:238-257 [Conf ] Roberta Gori , Giorgio Levi On the Verification of Finite Failure. [Citation Graph (0, 0)][DBLP ] PPDP, 1999, pp:311-327 [Conf ] Roberto Bagnara , Roberta Gori , Patricia M. Hill , Enea Zaffanella Finite-Tree Analysis for Constraint Logic-Based Languages. [Citation Graph (0, 0)][DBLP ] SAS, 2001, pp:165-184 [Conf ] François Fages , Roberta Gori Analysis of Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:82-98 [Conf ] Roberta Gori , Giorgio Levi An Experiment in Type Inference and Verification by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] VMCAI, 2002, pp:225-239 [Conf ] Roberta Gori , Giorgio Levi Properties of a Type Abstract Interpreter. [Citation Graph (0, 0)][DBLP ] VMCAI, 2003, pp:132-145 [Conf ] Elisa Bertino , Barbara Catania , Roberta Gori Enhancing the expressive power of the U-Datalog language [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Roberto Bagnara , Roberta Gori , Patricia M. Hill , Enea Zaffanella Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Marco Comini , Roberta Gori , Giorgio Levi Assertion based Inductive Verification Methods for Logic Programs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal ] Marco Comini , Roberta Gori , Giorgio Levi Logic programs as specifications in the inductive verification of logic programs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal ] Roberto Bagnara , Roberta Gori , Patricia M. Hill , Enea Zaffanella Finite-tree analysis for constraint logic-based languages. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2004, v:193, n:2, pp:84-116 [Journal ] Roberta Gori , Giorgio Levi On the verification of finite failure. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 2005, v:71, n:4, pp:535-575 [Journal ] Roberta Gori , Giorgio Levi Finite Failure is And-Compositional. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1997, v:7, n:6, pp:753-776 [Journal ] Marco Comini , Roberta Gori , Giorgio Levi , Paolo Volpe Abstract interpretation based verification of logic programs. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2003, v:49, n:1-3, pp:89-123 [Journal ] Marco Comini , Roberta Gori , Giorgio Levi , Paolo Volpe Abstract Interpretation based Verification of Logic Programs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:1, pp:- [Journal ] Roberta Gori An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:290, n:1, pp:863-936 [Journal ] Elisa Bertino , Barbara Catania , Roberta Gori Enhancing the expressive power of the U-Datalog language. [Citation Graph (0, 0)][DBLP ] TPLP, 2001, v:1, n:1, pp:105-122 [Journal ] Abstract Interpretation for Probabilistic Termination of Biological Systems [Citation Graph (, )][DBLP ] A Taxonomy of Causality-Based Biological Properties [Citation Graph (, )][DBLP ] Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.283secs