|
Search the dblp DataBase
Maria Chiara Meo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
Unfold/Fold Transformations of CCP Programs. [Citation Graph (0, 0)][DBLP] CONCUR, 1998, pp:348-365 [Conf]
- Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
A Timed Linda Language. [Citation Graph (0, 0)][DBLP] COORDINATION, 2000, pp:299-304 [Conf]
- 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]
- Maria Chiara Meo
On the Expressiveness of Concurrent Constraint Languages. [Citation Graph (0, 0)][DBLP] ECOOP Workshops, 1999, pp:261-265 [Conf]
- 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]
- 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]
- 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]
- Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
Compositional Verification of Infinite State Systems. [Citation Graph (0, 0)][DBLP] ICLP, 2003, pp:47-48 [Conf]
- Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Observational Equivalences for Logic Programs. [Citation Graph (0, 0)][DBLP] JICSLP, 1992, pp:131-145 [Conf]
- 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]
- 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]
- Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
A compositional semantics for CHR. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:209-217 [Conf]
- 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]
- 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]
- 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]
- Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
Transformations of CCP programs [Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal]
- Agostino Dovier, Maria Chiara Meo, Andrea Omicini
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo
Unfolding in CHR. [Citation Graph (0, 0)][DBLP] PPDP, 2007, pp:179-186 [Conf]
- Maurizio Gabbrielli, Maria Chiara Meo
A compositional Semantics for CHR [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
Theoretical Foundations and Semantics of Logic Programming. [Citation Graph (, )][DBLP]
Timed Soft Concurrent Constraint Programs. [Citation Graph (, )][DBLP]
On the expressive power of priorities in CHR. [Citation Graph (, )][DBLP]
Expressiveness of Multiple Heads in CHR. [Citation Graph (, )][DBLP]
Expressiveness of multiple heads in CHR [Citation Graph (, )][DBLP]
Unfolding in CHR [Citation Graph (, )][DBLP]
Decidability properties for fragments of CHR [Citation Graph (, )][DBLP]
Search in 0.024secs, Finished in 0.026secs
|