Maurizio Gabbrielli Papers on DiSC'02 A Temporal Logic for reasoning about Timed Concurrent Constraint Programs Publications Note: Links lead to the DBLP on the Web. Maurizio Gabbrielli 44 Frank S. de Boer , Maurizio Gabbrielli, Maria Chiara Meo : Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS 2002 : 37-51 43 Frank S. de Boer , Maurizio Gabbrielli, Maria Chiara Meo : A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001 : 227-233 42 Sandro Etalle , Maurizio Gabbrielli, Maria Chiara Meo : Transformations of CCP programs. TOPLAS 23 (3): 304-395 (2001) 41 Frank S. de Boer , Maurizio Gabbrielli, Maria Chiara Meo : A Timed Linda Language. COORDINATION 2000 : 299-304 40 Frank S. de Boer , Maurizio Gabbrielli, Maria Chiara Meo : A Timed Concurrent Constraint Language. Information and Computation 161 (1): 45-83 (2000) 39 Sandro Etalle , Maurizio Gabbrielli: Layered Modes. JLP 39 (1-3): 225-244 (1999) 38 Sandro Etalle , Maurizio Gabbrielli, Maria Chiara Meo : Unfold/Fold Transformations of CCP Programs. CONCUR 1998 : 348-365 37 Maurizio Gabbrielli, Massimo Marchiori : Dynamic web sites. QL 1998 36 Frank S. de Boer , Maurizio Gabbrielli, Maria Chiara Meo : Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP 1997 : 47-61 35 Sandro Etalle , Maurizio Gabbrielli, Elena Marchiori : A Transformation System for CLP with Dynamic Scheduling and CCP. PEPM 1997 : 137-150 34 Moreno Falaschi , Maurizio Gabbrielli, Kim Marriott , Catuscia Palamidessi : Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. Information and Computation 137 (1): 41-67 (1997) 33 Moreno Falaschi , Maurizio Gabbrielli, Kim Marriott , Catuscia Palamidessi : Confluence in Concurrent Constraint Programming. TCS 183 (2): 281-315 (1997) 32 Frank S. de Boer , Maurizio Gabbrielli, Elena Marchiori , Catuscia Palamidessi : Proving Concurrent Constraint Programs Correct. TOPLAS 19 (5): 685-725 (1997) 31 Frank S. de Boer , Maurizio Gabbrielli, Catuscia Palamidessi : Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. SAS 1996 : 83-97 30 Krzysztof R. Apt , Maurizio Gabbrielli, Dino Pedreschi : A Closer Look at Declarative Interpretations. JLP 28 (2): 147-180 (1996) 29 Sandro Etalle , Maurizio Gabbrielli: On the Correctness of the Replacement Operation for CLP Modules. Journal of Functional and Logic Programming 1996 (1): (1996) 28 Maurizio Gabbrielli, Giorgio Levi , Maria Chiara Meo : Resultants Semantics for Prolog. Journal of Logic and Computation 6 (4): 491-521 (1996) 27 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) 26 Sandro Etalle , Maurizio Gabbrielli: Transformations of CLP Modules. TCS 166 (1&2): 101-146 (1996) 25 Moreno Falaschi , Maurizio Gabbrielli, Kim Marriott , Catuscia Palamidessi : Confluence in Concurrent Constraint Programming. AMAST 1995 : 531-545 24 Sandro Etalle , Maurizio Gabbrielli: A Transformation System for Modular CLP Programs. ICLP 1995 : 681-695 23 Frank S. de Boer , Maurizio Gabbrielli: Modelling Real-Time in Concurrent Constraint Programming. ILPS 1995 : 528-542 22 Sandro Etalle , Maurizio Gabbrielli: The Replacement Operation for CLP Modules. PEPM 1995 : 168-177 21 Maurizio Gabbrielli, Giorgio Levi , Maria Chiara Meo : Observable Behaviors and Equivalences of Logic Programs. Information and Computation 122 (1): 1-29 (1995) 20 Maurizio Gabbrielli, Giovanna M. Dore , Giorgio Levi : Observable Semantics for Constraint Logic Programs. Journal of Logic and Computation 5 (2): 133-171 (1995) 19 Krzysztof R. Apt , Maurizio Gabbrielli: Declarative Interpretations Reconsidered. ICLP 1994 : 74-89 18 Frank S. de Boer , Maurizio Gabbrielli, Elena Marchiori , Catuscia Palamidessi : Proving Concurrent Constraint Programs Correct. POPL 1994 : 98-108 17 Maurizio Gabbrielli, Roberto Giacobazzi : Goal independency and call patterns in the analysis of logic programs. SAC 1994 : 394-399 16 Annalisa Bossi , Maurizio Gabbrielli, Giorgio Levi , Maurizio Martelli : The s-Semantics Approach: Theory and Applications. JLP 19/20 : 149-197 (1994) 15 Annalisa Bossi , Maurizio Gabbrielli, Giorgio Levi , Maria Chiara Meo : A Compositional Semantics for Logic Programs. TCS 122 (1&2): 3-47 (1994) 14 Moreno Falaschi , Maurizio Gabbrielli, Kim Marriott , Catuscia Palamidessi : Compositional Analysis for Concurrent Constraint Programming. LICS 1993 : 210-221 13 Maurizio Gabbrielli, Maria Chiara Meo : Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns. ALP 1992 : 84-99 12 Annalisa Bossi , Maurizio Gabbrielli, Giorgio Levi , Maria Chiara Meo : Contributions to the Semantics of Open Logic Programs. FGCS 1992 : 570-580 11 Maurizio Gabbrielli, Giorgio Levi , Maria Chiara Meo : Observational Equivalences for Logic Programs. JICSLP 1992 : 131-145 10 Maurizio Gabbrielli, Giorgio Levi , Daniele Turi : A Two Steps Semantics for Logic Programs with Negation. LPAR 1992 : 297-308 9 Maurizio Gabbrielli, Giorgio Levi , Maurizio Martelli : New Semantic Tools for Logic Programming. REX Workshop 1992 : 204-235 8 Maurizio Gabbrielli, Giorgio Levi : Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. TCS 105 (1): 85-128 (1992) 7 Maurizio Gabbrielli, Giorgio Levi : On the Semantics of Logic Programs. ICALP 1991 : 1-19 6 Maurizio Gabbrielli, Giorgio Levi : Modeling Answer Constraints in Constraint Logic Programs. ICLP 1991 : 238-252 5 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 4 Antonio Brogi , Maurizio Gabbrielli: Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. PLILP 1991 : 407-418 3 Maurizio Gabbrielli, Giorgio Levi : A Solved Form Algorithm for Ask and Tell Herbrand Constraints. TAPSOFT, Vol.1 1991 : 320-337 2 Maurizio Gabbrielli, Giorgio Levi : Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. ALP 1990 : 204-216 1 Moreno Falaschi , Maurizio Gabbrielli, Giorgio Levi , Masaki Murakami : Nested Guarded Horn Clauses. International Journal of Foundations of Computer Science 1 (3): 249-264 (1990) DiSC'02 © 2003 Association for Computing Machinery