Journals

  • M. Falaschi, M. Gabbrielli, G. Levi, and M. Murakami. Nested Guarded Horn Clauses. International Journal on Foundations of Computer Science, 1(3):249--263, 1990.

    •  
  • M. Gabbrielli and G. Levi. Unfolding and Fixpoint Semantics of Concurrent Constraint Programs. Theoretical Computer Science, 105(1): 85--128, 1992.

    •  
  • A.Bossi, M.Gabbrielli, G.Levi, and M.C. Meo. A Compositional Semantics for Logic Programs. Theoretical Computer Science 122(1-2): 3--47, 1994.

    •  
  • A.Bossi, M.Gabbrielli, G.Levi, and M.Martelli. The s-semantics approach: Theory and applications. ournal of Logic Programming, 19-20: 149--197, 1994.

    •  
  • M. Gabbrielli, G. Levi, and M. C. Meo. Observable Behaviors and Equivalences of Logic Programs. Information and Computation, 122(1): 1--29, 1995

    •  
  • M. Gabbrielli, M.G. Dore and G. Levi. Observable semantics for Constraint Logic Programs. Journal of Logic and Computation, 5(2): 133-171, 1995.

    •  
  • K. Apt, M. Gabbrielli and D. Pedreschi. A Closer Look to Declarative Intepretations. Journal of Logic Programming, 28(2): 147--180, 1996.

    •  
  • S. Etalle and M. Gabbrielli. Transformations of CLP Modules. Theoretical Computer Science, 166(1): 101--146, 1996.

  • A. Bossi, M. Bugliesi, M.~Gabbrielli, G.~Levi, and M.~C. Meo. Differential Logic Programs: Programming Methodologies and Semantics.. Science of Computer Programming, 27(3): 217--262, 1996.

  • M. Gabbrielli, G. Levi, and M. C. Meo. Resultant Semantics for Prolog. Journal of Logic and Computation , 6(4): 491-522, 1996.

  • S. Etalle and M. Gabbrielli. On the Correctness of the Replacement Operation for CLP Modules. Journal of Functional and logic programming, 1996.

  • F. S. de Boer, M. Gabbrielli, E. Marchiori and C. Palamidessi. Proving Concurrent Constraint Programs Correct. . TOPLAS , 19(5): 685-725, 1997.

  • M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi. Confluence in Concurrent Constraint Programming. Theoretical Computer Science 183, 1997.

  • M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi. Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators.. Information and Computation, 137(1): 41--67, 1997.

  • S. Etalle and M. Gabbrielli. Partial Evaluation of Concurrent Constraint Languag. Position paper in Symposium on Partial Evaluation, ACM Computing Surveys. 30(3es), 1998.

  • S. Etalle and M. Gabbrielli. Layered Modes. Journal of Logic Programming. 39(1--3): 225--244, 1999.

  • F.S. de Boer, M. Gabbrielli and M.C. Meo. A Timed Concurrent Constraint Language.Information and Computation, 161, 2000.

  •  Sandro Etalle , Maurizio Gabbrielli , Maria Chiara Meo. Transformations of CCP programs. ACM Transactions on Programming Languages and Systems (TOPLAS) May 2001, Volume 23 Issue 3.

  • F.S. de Boer, M. Gabbrielli and M.C. Meo. A Timed Linda Language and its Denotational Semantics. Fundamenta Informaticae. Vol 63, n 4, 2004. Available:  pdf

  • F.S. de Boer, M. Gabbrielli and M.C. Meo. Proving Correctness of Timed Concurrent Constraint Programs. In ACM Transactions on Computational Logic (TOCL)  Vol. 5 n. 4, Octrober 2004. Available: PostScript

  • M. Gabbrielli and M.C. Meo. A compositional semantics for CHR. ACM Transactions on Computational Logic. To appear. Available pdf


    • Conferences

  • M. Gabbrielli and G. Levi. On the Semantics of Logic Programs. In Proc. of the 18th International Colloquium on Automata, Languages and Programming (ICALP 91), volume 510 of Lecture Notes in Computer Science, pages 2--19. Springer-Verlag, Berlin, 1991.

  • M. Gabbrielli and G. Levi. Modeling answer constraints in Constraint Logic Programs. In K. Furukawa, editor, Proc. Eighth Int'l Conf. on Logic Programming (ICLP 91). The MIT Press, Cambridge, Mass., 1991.

  • M. Gabbrielli and G. Levi. A solved form algorithm for ask and tell Herbrand constraints. In S. Abramsky and T. Maibaum, editors, Proc. TAPSOFT'91 , volume 493 of Lecture Notes in Computer Science, pages 320-338. Springer-Verlag, Berlin, 1991.

  • A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. Contributions to the Semantics of Open Logic Programs. In Proc. Int'l Conference on Fifth Generation Computer Systems (FGCS 91), pages 570-590. ICOT Press, Tokyo. 1991.

  • M. Gabbrielli, G. Levi, and M. C. Meo. Observational Equivalences for Logic Programs. In Proc. Joint Conference and Symposium on Logic Programming (JCSLP 92), pages 131-145. The MIT Press, Cambridge, Mass. 1992.

  • M. Gabbrielli and M. C. Meo. Fixpoint semantics for Partial answers and Call Patterns. In Proc. Third Int'l Conference on Algebraic and Logic Programming (ALP 92), volume 632 of Lecture Notes in Computer Science, pages 84-99. Springer-Verlag, Berlin, 1992.

  • M. Gabbrielli, G. Levi, and D. Turi. A Two Steps Semantics for Logic Programs with Negation. In Proc. of the Int.l Conference on Logic Programming and Automated Reasoning, St' Petersburg, volume 624 of Lecture Notes in Artificial Intelligence, pages 297-308. Springer-Verlag, Berlin, 1992.

  • M. Bugliesi, A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. Differential Logic Programming. In Proc. Twentieth Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages (POPL 93), pages 359-370. ACM Press, 1993.

  • M. Gabbrielli, G. Levi, and M. Martelli New Semantics Tools for Logic Programs. In J. de Bakker, W-P de Roever and G. Rozenberg, editor, Proc. REX Workshop ``Semantics- foundations and applications'', volume 666 of Lecture Notes in Computer Science, pages 204-235, Springer-Verlag, Berlin, 1993.

  • F. S. de Boer, M. Gabbrielli, E. Marchiori and C. Palamidessi. Proving Concurrent Constraint Programs Correct. . In Proceedings of POPL'94.

  • M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi. Compositional analysis of Concurrent Constraint Programs . . In Proceedings of LICS'93.

  • K. Apt and M. Gabbrielli. Declarative interpretations reconsidered. In Proc. Eleventh Int'l Conf. on Logic Programming (ICLP 94), pages 74-89. The MIT Press, Cambridge, Mass., 1994.

  • M. Gabbrielli and R. Giacobazzi. Goal indipendency and call patterns in the analysis of Logic Programs. In Proc. ACM Symposium on Applied Computing (SAC 94), pages 394-399. ACM Press, 1994.

  • F. S. de Boer and M. Gabbrielli. Modelling Real-Time in Concurrent Constraint Programming . In In J. Lloyd editor, Proceedings of ILPS '95 , pages 528-542, The MIT Press, 1995.

  • S. Etalle and M. Gabbrielli. The Replacement Operation for CLP modules . In Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation , PEPM '95, pages 168--177. ACM Press, 1995.

  • M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi. Confluence and concurrent constraint programming. In V.S. Alagar and M. Nivat, editors, Proc. of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95), volume 936 of Lecture Notes in Computer Science, pages 531--545. Springer-Verlag, 1995.

  • S. Etalle and M. Gabbrielli. A Transformation System for Modular CLP Programs. In L. Sterling, editor, Proc. Twelfth Int'l Conf. on Logic Programming (ICLP 95), pages 681-695. The MIT Press, Cambridge, Mass., 1995.

  • F.S. de Boer, M. Gabbrielli and C. Palamidessi. Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. In R. Cousot and D.A. Schimdt eds., Proc. Int'l Static Analysis Symposium (SAS 96), volume 1145 of Lecture Notes in Computer Science, pages 83--97. Spinger-Verlag, 1996.

  • F. S. de Boer and M. Gabbrielli. Infinite computations in Concurrent Constraint Programming. Thirteenth Conf. on Mathematical Foundations of Programming Semantics (MFPS XIII), Pittsburgh, PA, 1997 In ENTCS(Electronic Notes in Theoretical Computer Science).

  • S. Etalle, M. Gabbrielli and E. Marchiori. A Transformation System for CLP with Dynamic Scheduling and CCP. In Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation , PEPM '97. ACM Press, 1997.

  • F.S. de Boer, M. Gabbrielli, and M.C. Meo. Semantics and expressive power of a timed concurrent constraint language. In G. Smolka. editor, Proc. Third Int'l Conf. on Principles and Practice of Constraint Programming (CP 97), Lecture Notes in Computer Science. Springer-Verlag, 1997.

  • S. Etalle, M. Gabbrielli and M.C. Meo. Transformation of CCP programs. In Proc. of CONCUR '98 , LNCS 1466. Springer-Verlag, 1998.

  • F.S. de Boer,  M. Gabbrielli, and M. C. Meo. A Timed Linda  Language. In {\em Proc. 4th Conference on Coordination Models and Languages}, LNCS 1906. Springer-Verlag, 2000.

  • F.S. de Boer,  M. Gabbrielli, and M. C. Meo.  A Denotational Semantics for a Timed Linda Language. In  Proc. PPDP 01. ACM Press, 2001.

  • F.S. de Boer,  M. Gabbrielli, and M. C. Meo.  A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. In Proc. TIME 01. IEEE Press, 2001.

  • F.S. de Boer,  M. Gabbrielli, and M. C. Meo.  Proving Correctness of Timed Concurrent Constraint Programs.  In Proc. FOSSACS 02. LNCS 2303, Springer-Verlag, 2002.

  • G.Delzanno, M.Gabbrielli and M.C. Meo. Compositional verification of infinite state systems. Slides of the invited talk by M. Gabbrielli at ICLP 2003. Available:  postscript

  • N. Busi, M.Gabbrielli, G. Zavattaro. Replication vs. Recursive Definitions in Channel Based Calculi. In Proc. of Thirtieth International Colloquium on Automata, Languages and Programming (ICALP'03), 133-144 LNCS 2719, Springer-Verlag, 2003. Available:  Postscript

  • N. Busi, M.Gabbrielli, G. Zavattaro. Comparing recursion, replication, and iteration in process calculi.   In Proc. of Thirtyfirst International Colloquium on Automata, Languages and Programming (ICALP'04). LNCS 3142, Springer-Verlag, 2004 Available:  Postscript

  • G.Delzanno, M.Gabbrielli and M.C. Meo. A compositional semantics for CHR.  In  Proc. of PPDP '05, ACM Press, 2005. Available:  pdf

  • G.Delzanno, M.Gabbrielli and M.C. Meo. Compositional Verification of Asynchronous Processes via Constraint Solving. In Proc. of XV International Colloquium on Automata, Languages and Programming (ICALP'05), Springer-Verlag, LNCS 3580, 2005 Available:  pdf

  • P. Tacchella. M. Gabbrielli and M.C. Meo.  Unfolding in CHR.  In Proceedings of the 9th ACM SIGPLAN international symposium on Principles and practice of declarative programming, ACM Press, 2007. Available pdf.

  • C. Di Giusto and M. Gabbrielli. Full Abstraction for Linda. In Drossopoulou (Ed.), Proceedings of ESOP 2008, LNCS 4960, pp. 78–92, 2008. Springer-Verlag Berlin.  Available pdf.

    • Book chapters


  • M. Alpuente, M. Falaschi, M. Gabbrielli and G. Levi. The Semantics of Equational Logic Programming as an instance of CLP. In K. Apt, J. de Bakker and J. Rutten editors, Logic Programming Languages Constraints, Functions and Objects. The MIT Press, 1993.

  • A. Bossi, M. Gabbrielli, G. Levi, and M. C. Meo. An OR-compositional Semantics for Logic Programs. In Jean-Marie Jaquet, editor, Constructing Logic programs. John Wiley & Sons Ltd, 1993.<\li>
     

     
     
     
     
     
     
     
     
     

    Click here to return to my Home Page.