The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maria Chiara Meo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Contributions to the Semantics of Open Logic Programs. [Citation Graph (2, 0)][DBLP]
    FGCS, 1992, pp:570-580 [Conf]
  2. Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
    Intensional Negation in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:359-374 [Conf]
  3. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Semantics and Expressive Power of a Timed Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:235-246 [Conf]
  4. Marco Comini, Giorgio Levi, Maria Chiara Meo
    Compositionality in SLD-derivations and their Abstractions. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:533-544 [Conf]
  5. Maurizio Gabbrielli, Maria Chiara Meo
    Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:84-99 [Conf]
  6. Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
    Compilative Constructive Negation in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    CAAP, 1994, pp:52-67 [Conf]
  7. Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
    Unfold/Fold Transformations of CCP Programs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:348-365 [Conf]
  8. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Timed Linda Language. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:299-304 [Conf]
  9. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Semantics and Expressive Power of a Timed Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:47-61 [Conf]
  10. Maria Chiara Meo
    On the Expressiveness of Concurrent Constraint Languages. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:261-265 [Conf]
  11. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Proving Correctness of Timed Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:37-51 [Conf]
  12. Annalisa Bossi, Massimo Fabris, Maria Chiara Meo
    A Bottom-up Semantics for Constructive Negation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:520-534 [Conf]
  13. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    An OR-Compositional Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop on Construction of Logic Programs, 1991, pp:215-240 [Conf]
  14. Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
    Compositional Verification of Infinite State Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:47-48 [Conf]
  15. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Observational Equivalences for Logic Programs. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:131-145 [Conf]
  16. Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
    Proving Properties of Logic Programs by Abstract Diagnosis. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:22-50 [Conf]
  17. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Denotational Semantics for Timed Linda. [Citation Graph (0, 0)][DBLP]
    PPDP, 2001, pp:28-36 [Conf]
  18. Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
    A compositional semantics for CHR. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:209-217 [Conf]
  19. Marco Comini, Giorgio Levi, Maria Chiara Meo
    Compositionality in SLD-Derivations and their Abstractions. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:561-575 [Conf]
  20. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:227-233 [Conf]
  21. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Proving correctness of Timed Concurrent Constraint Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  22. Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
    Transformations of CCP programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  23. Agostino Dovier, Maria Chiara Meo, Andrea Omicini
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  24. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Timed Linda Language and its Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:4, pp:309-330 [Journal]
  25. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Timed Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:161, n:1, pp:45-83 [Journal]
  26. Marco Comini, Giorgio Levi, Maria Chiara Meo
    A Theory of Observables for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:169, n:1, pp:23-80 [Journal]
  27. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Observable Behaviors and Equivalences of Logic Programs [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:122, n:1, pp:1-29 [Journal]
  28. Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
    Abstract Diagnosis. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:39, n:1-3, pp:43-93 [Journal]
  29. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Resultants Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:4, pp:491-521 [Journal]
  30. Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Differential Logic Programs: Programming Methodologies and Semantics. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:27, n:3, pp:217-262 [Journal]
  31. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    A Compositional Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:3-47 [Journal]
  32. Marco Comini, Maria Chiara Meo
    Compositionality Properties of SLD-Derivations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:211, n:1-2, pp:275-309 [Journal]
  33. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Proving correctness of timed concurrent constraint programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:4, pp:706-731 [Journal]
  34. Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
    Transformations of CCP programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:3, pp:304-395 [Journal]
  35. Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo
    Unfolding in CHR. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:179-186 [Conf]
  36. Maurizio Gabbrielli, Maria Chiara Meo
    A compositional Semantics for CHR [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  37. Theoretical Foundations and Semantics of Logic Programming. [Citation Graph (, )][DBLP]


  38. Timed Soft Concurrent Constraint Programs. [Citation Graph (, )][DBLP]


  39. On the expressive power of priorities in CHR. [Citation Graph (, )][DBLP]


  40. Expressiveness of Multiple Heads in CHR. [Citation Graph (, )][DBLP]


  41. Expressiveness of multiple heads in CHR [Citation Graph (, )][DBLP]


  42. Unfolding in CHR [Citation Graph (, )][DBLP]


  43. Decidability properties for fragments of CHR [Citation Graph (, )][DBLP]


Search in 0.024secs, Finished in 0.026secs
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