| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Maria Chiara Meo 23 Frank S. de Boer , Maurizio Gabbrielli , Maria Chiara Meo: Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS 2002 : 37-51 22 Frank S. de Boer , Maurizio Gabbrielli , Maria Chiara Meo: A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001 : 227-233 21 Marco Comini , Giorgio Levi , Maria Chiara Meo: A Theory of Observables for Logic Programs. Information and Computation 169 (1): 23-80 (2001) 20 Sandro Etalle , Maurizio Gabbrielli , Maria Chiara Meo: Transformations of CCP programs. TOPLAS 23 (3): 304-395 (2001) 19 Frank S. de Boer , Maurizio Gabbrielli , Maria Chiara Meo: A Timed Linda Language. COORDINATION 2000 : 299-304 18 Frank S. de Boer , Maurizio Gabbrielli , Maria Chiara Meo: A Timed Concurrent Constraint Language. Information and Computation 161 (1): 45-83 (2000) 17 Maria Chiara Meo: On the Expressiveness of Concurrent Constraint Languages. ECOOP Workshops 1999 : 261-265 16 Marco Comini , Giorgio Levi , Maria Chiara Meo, Giuliana Vitiello : Abstract Diagnosis. JLP 39 (1-3): 43-93 (1999) 15 Marco Comini , Maria Chiara Meo: Compositionality Properties of SLD -Derivations. TCS 211 (1-2): 275-309 (1999) 14 Sandro Etalle , Maurizio Gabbrielli , Maria Chiara Meo: Unfold/Fold Transformations of CCP Programs. CONCUR 1998 : 348-365 13 Frank S. de Boer , Maurizio Gabbrielli , Maria Chiara Meo: Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP 1997 : 47-61 12 Marco Comini , Giorgio Levi , Maria Chiara Meo, Giuliana Vitiello : Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS 1996 : 22-50 11 Maurizio Gabbrielli , Giorgio Levi , Maria Chiara Meo: Resultants Semantics for Prolog. Journal of Logic and Computation 6 (4): 491-521 (1996) 10 Annalisa Bossi , Michele Bugliesi , Maurizio Gabbrielli , Giorgio Levi , Maria Chiara Meo: Differential Logic Programs: Programming Methodologies and Semantics. Science of Computer Programming 27 (3): 217-262 (1996) 9 Marco Comini , Giorgio Levi , Maria Chiara Meo: Compositionality in SLD-Derivations and their Abstractions. ILPS 1995 : 561-575 8 Maurizio Gabbrielli , Giorgio Levi , Maria Chiara Meo: Observable Behaviors and Equivalences of Logic Programs. Information and Computation 122 (1): 1-29 (1995) 7 Paola Bruscoli , Francesca Levi , Giorgio Levi , Maria Chiara Meo: Compilative Constructive Negation in Constraint Logic Programs. CAAP 1994 : 52-67 6 Annalisa Bossi , Massimo Fabris , Maria Chiara Meo: A Bottom-up Semantics for Constructive Negation. ICLP 1994 : 520-534 5 Annalisa Bossi , Maurizio Gabbrielli , Giorgio Levi , Maria Chiara Meo: A Compositional Semantics for Logic Programs. TCS 122 (1&2): 3-47 (1994) 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 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  DiSC'02 © 2003 Association for Computing Machinery |
