Maria Chiara Meo Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo: On the expressive power of priorities in CHR. PPDP 2009: 267-276
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: Expressiveness of Multiple Heads in CHR. SOFSEM 2009: 205-216
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Maria Chiara Meo: A compositional semantics for CHR. ACM Trans. Comput. Log. 10(2): (2009)
2008
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini: Timed Soft Concurrent Constraint Programs. COORDINATION 2008: 50-66
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella: A Compositional Semantics for CHR with Propagation Rules. Constraint Handling Rules 2008: 119-160
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: Expressiveness of multiple heads in CHR CoRR abs/0804.3351: (2008)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella: Unfolding in CHR CoRR abs/0807.3979: (2008)
2007
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo: Unfolding in CHR. PPDP 2007: 179-186
2006
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Maria Chiara Meo: A compositional Semantics for CHR CoRR abs/cs/0603079: (2006)
2005
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo: A compositional semantics for CHR. PPDP 2005: 209-217
2004
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. 5(4): 706-731 (2004)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Linda Language and its Denotational Semantics. Fundam. Inform. 63(4): 309-330 (2004)
2003
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo: Compositional Verification of Infinite State Systems. ICLP 2003: 47-48
2002
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS 2002: 37-51
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of Timed Concurrent Constraint Programs CoRR cs.LO/0208042: (2002)
2001
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Denotational Semantics for Timed Linda. PPDP 2001: 28-36
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001: 227-233
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs. ACM Trans. Program. Lang. Syst. 23(3): 304-395 (2001)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs CoRR cs.PL/0107014: (2001)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Dovier, Maria Chiara Meo, Andrea Omicini: Preface. Electr. Notes Theor. Comput. Sci. 48: (2001)
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Comini, Giorgio Levi, Maria Chiara Meo: A Theory of Observables for Logic Programs. Inf. Comput. 169(1): 23-80 (2001)
2000
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Linda Language. COORDINATION 2000: 299-304
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Concurrent Constraint Language. Inf. Comput. 161(1): 45-83 (2000)
1999
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Chiara Meo, Manuel Vilares Ferro: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999 APPIA-GULP-PRODE 1999
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Chiara Meo: On the Expressiveness of Concurrent Constraint Languages. ECOOP Workshops 1999: 261-265
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Abstract Diagnosis. J. Log. Program. 39(1-3): 43-93 (1999)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Comini, Maria Chiara Meo: Compositionality Properties of SLD-Derivations. Theor. Comput. Sci. 211(1-2): 275-309 (1999)
1998
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Unfold/Fold Transformations of CCP Programs. CONCUR 1998: 348-365
1997
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Semantics and Expressive Power of a Timed Concurrent Constraint Language. APPIA-GULP-PRODE 1997: 235-246
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP 1997: 47-61
1996
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS 1996: 22-50
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Resultants Semantics for Prolog. J. Log. Comput. 6(4): 491-521 (1996)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa 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)
1995
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-derivations and their Abstractions. GULP-PRODE 1995: 533-544
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Comini, Giorgio Levi, Maria Chiara Meo: Compositionality in SLD-Derivations and their Abstractions. ILPS 1995: 561-575
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Observable Behaviors and Equivalences of Logic Programs Inf. Comput. 122(1): 1-29 (1995)
1994
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Compilative Constructive Negation in Constraint Logic Programs. CAAP 1994: 52-67
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Massimo Fabris, Maria Chiara Meo: A Bottom-up Semantics for Constructive Negation. ICLP 1994: 520-534
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: A Compositional Semantics for Logic Programs. Theor. Comput. Sci. 122(1&2): 3-47 (1994)
1993
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Intensional Negation in Constraint Logic Programs. GULP 1993: 359-374
1992
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Maria Chiara Meo: Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns. ALP 1992: 84-99
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Contributions to the Semantics of Open Logic Programs. FGCS 1992: 570-580
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Observational Equivalences for Logic Programs. JICSLP 1992: 131-145
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa 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 [41]
2Frank S. de Boer [15] [16] [22] [23] [28] [29] [30] [31] [33] [34]
3Annalisa Bossi [1] [3] [6] [7] [12]
4Paola Bruscoli [5] [8]
5Michele Bugliesi [12]
6Marco Comini [10] [11] [14] [18] [19] [24]
7Giorgio Delzanno [32] [35]
8Agostino Dovier [25]
9Sandro Etalle [17] [26] [27]
10Massimo Fabris [7]
11Manuel Vilares Ferro [21]
12Maurizio Gabbrielli [1] [2] [3] [4] [6] [9] [12] [13] [15] [16] [17] [22] [23] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44]
13Cinzia Di Giusto [39] [43]
14Francesca Levi [5] [8]
15Giorgio Levi [1] [2] [3] [5] [6] [8] [9] [10] [11] [12] [13] [14] [19] [24]
16Jacopo Mauro [44]
17Andrea Omicini [25]
18Francesco Santini [41]
19Paolo Tacchella [37] [38] [40]
20Giuliana Vitiello [14] [19]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Mon Nov 23 18:13:59 2009 by Michael Ley (ley@uni-trier.de)