The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roberta Gori: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roberta Gori
    A fixpoint semantics for reasoning about finite failure. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:529-544 [Conf]
  2. Roberta Gori, Giorgio Levi
    Finite Failure is AND-Compositional. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:464-478 [Conf]
  3. Roberta Gori, Giorgio Levi
    On the verification of finite failure. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:197-212 [Conf]
  4. 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]
  5. 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]
  6. Roberta Gori, Francesca Levi
    An Analysis for Proving Temporal Properties of Biological Systems. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:234-252 [Conf]
  7. Roberta Gori, Francesca Levi
    A New Occurrence Counting Analysis for BioAmbients. [Citation Graph (0, 0)][DBLP]
    APLAS, 2005, pp:381-400 [Conf]
  8. 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]
  9. 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]
  10. Roberta Gori
    An Abstract Interpretation Approach to Termination of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:362-380 [Conf]
  11. Roberta Gori
    A Fixpoint Semantics for Reasoning about Finite Failure. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:238-257 [Conf]
  12. Roberta Gori, Giorgio Levi
    On the Verification of Finite Failure. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:311-327 [Conf]
  13. 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]
  14. François Fages, Roberta Gori
    Analysis of Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:82-98 [Conf]
  15. 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]
  16. Roberta Gori, Giorgio Levi
    Properties of a Type Abstract Interpreter. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:132-145 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]

  28. Abstract Interpretation for Probabilistic Termination of Biological Systems [Citation Graph (, )][DBLP]


  29. A Taxonomy of Causality-Based Biological Properties [Citation Graph (, )][DBLP]


  30. Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.283secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002