Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Selected papers of Maurizio Gabbrielli
[go: Go Back, main page]

Selected papers of Maurizio Gabbrielli

The abstracts of the papers can be retrieved by clicking on their title. 

2004

2003

2002

  • F.S. de Boer, M. Gabbrielli and M.C. Meo. Proving Correctness of Timed Concurrent Constraint Programs. In Proc. FOSSACS 02, LNCS, Springer-Verlag. Available: PostScript
  • 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. Available: PostScript

    • 2001

  • F.S. de Boer, M. Gabbrielli and M.C. Meo. A denotation Semantics for Timed Linda. In Proc. PPDP 01, ACM Press.  Available: PostScript
  • S. Etalle, M. Gabbrielli and C. M. Meo.  Transformations of ccp Programs (pdf). ACM Transactions on Programming Languages and Systems (TOPLAS). Vol. 23 n. 3, May, 2001. Also available at CoRR.
  • A. Brogi, N. Busi, M. Gabbrielli, G. Zavattaro. Comparative Analysis of the Expressivenes of Shared Dataspace Coordination. In Proc. of Workshop in Theory of Concurrency, Higher Order Languages and Types (TOSCA'01) Electronic Notes in Theoretical Computer Science 62, Elsevier, 2001. Available: .ps

    • 2000

  • F.S. de Boer, M. Gabbrielli and M.C. Meo. A Timed Concurrent constraint language. Information and Computation, 161. Available: PostScript

    • 1999

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

    • 1998

  • S. Etalle and M. Gabbrielli. Partial Evaluation of Concurrent Constraint Languag. Position paper in Symposium on Partial Evaluation, ACM Computing Surveys. 30(3es), 1998. Available: PostScript
  • S. Etalle, M. Gabbrielli and M.C. Meo. Transformation of CCP programs. In Proc. of CONCUR '98 , LNCS 1466. Springer-Verlag, 1998.

    • Available: PostScript

    1997

  • 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).

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

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

    • Available: PostScript
  • 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.

    • Available: PostScript
  • 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.

    • Available: PostScript

    1996

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

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

    • Available: DVIPostScript
  • 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.

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

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

    • Available: Postscript, DVI and Latex


    1995

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

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

    • Available: DVIPostScript
  • 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.

    • Available: PostScript
  • 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.

    • Available: PostScript


    1994 and older

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

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

    • Available: PostScript
    Click here to return to my Home Page.