Maria Chiara Meo Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: On the Expressive Power of Multiple Heads in CHR. ACM Trans. Comput. Log. 13(1): 6 (2012)
2010
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers: Decidability properties for fragments of CHR. TPLP 10(4-6): 611-626 (2010)
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Annalisa Bossi, Maria Chiara Meo: Theoretical Foundations and Semantics of Logic Programming. 25 Years GULP 2010: 15-36
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers: Decidability properties for fragments of CHR. CoRR abs/1007.4476 (2010)
2009
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurizio Gabbrielli, Maria Chiara Meo: A compositional semantics for CHR. ACM Trans. Comput. Log. 10(2) (2009)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo: On the expressive power of priorities in CHR. PPDP 2009: 267-276
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: Expressiveness of Multiple Heads in CHR. SOFSEM 2009: 205-216
2008
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini: Timed Soft Concurrent Constraint Programs. COORDINATION 2008: 50-66
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella: A Compositional Semantics for CHR with Propagation Rules. Constraint Handling Rules 2008: 119-160
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: Expressiveness of multiple heads in CHR. CoRR abs/0804.3351 (2008)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella: Unfolding in CHR. CoRR abs/0807.3979 (2008)
2007
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo: Unfolding in CHR. PPDP 2007: 179-186
2006
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurizio Gabbrielli, Maria Chiara Meo: A compositional Semantics for CHR. CoRR abs/cs/0603079 (2006)
2005
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo: A compositional semantics for CHR. PPDP 2005: 209-217
2004
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Linda Language and its Denotational Semantics. Fundam. Inform. 63(4): 309-330 (2004)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. 5(4): 706-731 (2004)
2003
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo: Compositional Verification of Infinite State Systems. ICLP 2003: 47-48
2002
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS 2002: 37-51
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of Timed Concurrent Constraint Programs. CoRR cs.LO/0208042 (2002)
2001
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Agostino Dovier, Maria Chiara Meo, Andrea Omicini: Preface. Electr. Notes Theor. Comput. Sci. 48: 253-254 (2001)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Comini, Giorgio Levi, Maria Chiara Meo: A Theory of Observables for Logic Programs. Inf. Comput. 169(1): 23-80 (2001)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs. ACM Trans. Program. Lang. Syst. 23(3): 304-395 (2001)
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Denotational Semantics for Timed Linda. PPDP 2001: 28-36
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001: 227-233
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs. CoRR cs.PL/0107014 (2001)
2000
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Concurrent Constraint Language. Inf. Comput. 161(1): 45-83 (2000)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Linda Language. COORDINATION 2000: 299-304
1999
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Abstract Diagnosis. J. Log. Program. 39(1-3): 43-93 (1999)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Comini, Maria Chiara Meo: Compositionality Properties of SLD-Derivations. Theor. Comput. Sci. 211(1-2): 275-309 (1999)
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Chiara Meo: On the Expressiveness of Concurrent Constraint Languages. ECOOP Workshops 1999: 261-265
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Chiara Meo, Manuel Vilares Ferro (Eds.): 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999. 1999
1998
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Unfold/Fold Transformations of CCP Programs. CONCUR 1998: 348-365
1997
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Semantics and Expressive Power of a Timed Concurrent Constraint Language. APPIA-GULP-PRODE 1997: 235-246
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP 1997: 47-61
1996
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Resultants Semantics for Prolog. J. Log. Comput. 6(4): 491-521 (1996)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Differential Logic Programs: Programming Methodologies and Semantics. Sci. Comput. Program. 27(3): 217-262 (1996)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS 1996: 22-50
1995
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Observable Behaviors and Equivalences of Logic Programs. Inf. Comput. 122(1): 1-29 (1995)
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-derivations and their Abstractions. GULP-PRODE 1995: 533-544
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-Derivations and their Abstractions. ILPS 1995: 561-575
1994
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: A Compositional Semantics for Logic Programs. Theor. Comput. Sci. 122(1&2): 3-47 (1994)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Compilative Constructive Negation in Constraint Logic Programs. CAAP 1994: 52-67
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Annalisa Bossi, Massimo Fabris, Maria Chiara Meo: A Bottom-up Semantics for Constructive Negation. ICLP 1994: 520-534
1993
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Intensional Negation in Constraint Logic Programs. GULP 1993: 359-374
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Differential Logic Programming. POPL 1993: 359-370
1992
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurizio Gabbrielli, Maria Chiara Meo: Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns. ALP 1992: 84-99
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Contributions to the Semantics of Open Logic Programs. FGCS 1992: 570-580
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Observational Equivalences for Logic Programs. JICSLP 1992: 131-145
1991
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: An OR-Compositional Semantics for Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 215-240

Coauthor Index

1Stefano Bistarelli
[c23]
2Frank S. de Boer
[j12] [j11] [c19] [i2] [c18] [c17] [j7] [c16] [c13] [c12]
3Annalisa Bossi
[c26] [j3] [j1] [c7] [c5] [c3] [c1]
4Paola Bruscoli
[c8] [c6]
5Michele Bugliesi
[j3] [c5]
6Marco Comini
[j9] [j6] [j5] [c11] [c10] [c9]
7Giorgio Delzanno
[c21] [c20]
8Agostino Dovier
[j10]
9Sandro Etalle
[j8] [i1] [c14]
10Massimo Fabris
[c7]
11Manuel Vilares Ferro
[e1]
12Maurizio Gabbrielli
[j15] [j14] [i6] [j13] [c25] [c24] [c23] [p1] [i5] [i4] [c22] [i3] [c21] [j12] [j11] [c20] [c19] [i2] [j8] [c18] [c17] [i1] [j7] [c16] [c14] [c13] [c12] [j4] [j3] [j2] [j1] [c5] [c4] [c3] [c2] [c1]
13Cinzia Di Giusto
[j15] [c24] [i5]
14Francesca Levi
[c8] [c6]
15Giorgio Levi
[j9] [j6] [j4] [j3] [c11] [j2] [c10] [c9] [j1] [c8] [c6] [c5] [c3] [c2] [c1]
16Jacopo Mauro
[j14] [i6] [c25]
17Andrea Omicini
[j10]
18Francesco Santini
[c23]
19Jon Sneyers
[j14] [i6]
20Paolo Tacchella
[p1] [i4] [c22]
21Giuliana Vitiello
[j6] [c11]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 07:01:32 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page