Maria Chiara Meo

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

1	Stefano Bistarelli	[40]
2	Frank S. de Boer	[15] [16] [22] [23] [28] [29] [30] [31] [33] [34]
3	Annalisa Bossi	[1] [3] [6] [7] [12]
4	Paola Bruscoli	[5] [8]
5	Michele Bugliesi	[12]
6	Marco Comini	[10] [11] [14] [18] [19] [24]
7	Giorgio Delzanno	[32] [35]
8	Agostino Dovier	[25]
9	Sandro Etalle	[17] [26] [27]
10	Massimo Fabris	[7]
11	Manuel Vilares Ferro	[21]
12	Maurizio 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]
13	Cinzia Di Giusto	[39] [42]
14	Francesca Levi	[5] [8]
15	Giorgio Levi	[1] [2] [3] [5] [6] [8] [9] [10] [11] [12] [13] [14] [19] [24]
16	Andrea Omicini	[25]
17	Francesco Santini	[40]
18	Paolo Tacchella	[37] [38]
19	Giuliana Vitiello	[14] [19]

Colors in the list of coauthors