The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maurizio Gabbrielli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Contributions to the Semantics of Open Logic Programs. [Citation Graph (2, 0)][DBLP]
    FGCS, 1992, pp:570-580 [Conf]
  2. Maurizio Gabbrielli, Giorgio Levi
    Modeling Answer Constraints in Constraint Logic Programs. [Citation Graph (1, 0)][DBLP]
    ICLP, 1991, pp:238-252 [Conf]
  3. Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi
    Observable Semantics for Constraint Logic Programs. [Citation Graph (1, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:2, pp:133-171 [Journal]
  4. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Semantics and Expressive Power of a Timed Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:235-246 [Conf]
  5. Frank S. de Boer, Maurizio Gabbrielli
    Modeling Real-Time in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:101-112 [Conf]
  6. Sandro Etalle, Maurizio Gabbrielli
    Modular Transformations of CLP Programs. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:218-233 [Conf]
  7. Sandro Etalle, Maurizio Gabbrielli
    Layered Modes. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:41-52 [Conf]
  8. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
    Confluence and Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:140-154 [Conf]
  9. Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi
    Modular Logic Programs on Finite Domains. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:663-678 [Conf]
  10. Maurizio Gabbrielli, Giorgio Levi
    Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1990, pp:204-216 [Conf]
  11. Maurizio Gabbrielli, Maria Chiara Meo
    Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:84-99 [Conf]
  12. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
    Confluence in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:531-545 [Conf]
  13. Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
    Unfold/Fold Transformations of CCP Programs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:348-365 [Conf]
  14. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Timed Linda Language. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:299-304 [Conf]
  15. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Semantics and Expressive Power of a Timed Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:47-61 [Conf]
  16. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Proving Correctness of Timed Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:37-51 [Conf]
  17. Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
    Replication vs. Recursive Definitions in Channel Based Calculi. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:133-144 [Conf]
  18. Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
    Comparing Recursion, Replication, and Iteration in Process Calculi. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:307-319 [Conf]
  19. Giorgio Delzanno, Maurizio Gabbrielli
    Compositional Verification of Asynchronous Processes via Constraint Solving. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1239-1250 [Conf]
  20. Maurizio Gabbrielli, Giorgio Levi
    On the Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:1-19 [Conf]
  21. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    An OR-Compositional Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop on Construction of Logic Programs, 1991, pp:215-240 [Conf]
  22. Krzysztof R. Apt, Maurizio Gabbrielli
    Declarative Interpretations Reconsidered. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:74-89 [Conf]
  23. Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
    Compositional Verification of Infinite State Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:47-48 [Conf]
  24. Sandro Etalle, Maurizio Gabbrielli
    A Transformation System for Modular CLP Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:681-695 [Conf]
  25. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Observational Equivalences for Logic Programs. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:131-145 [Conf]
  26. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
    Compositional Analysis for Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:210-221 [Conf]
  27. Maurizio Gabbrielli, Giorgio Levi, Daniele Turi
    A Two Steps Semantics for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:297-308 [Conf]
  28. Sandro Etalle, Maurizio Gabbrielli
    The Replacement Operation for CLP Modules. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:168-177 [Conf]
  29. Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori
    A Transformation System for CLP with Dynamic Scheduling and CCP. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:137-150 [Conf]
  30. Antonio Brogi, Maurizio Gabbrielli
    Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:407-418 [Conf]
  31. Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
    Proving Concurrent Constraint Programs Correct. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:98-108 [Conf]
  32. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Denotational Semantics for Timed Linda. [Citation Graph (0, 0)][DBLP]
    PPDP, 2001, pp:28-36 [Conf]
  33. Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
    A compositional semantics for CHR. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:209-217 [Conf]
  34. Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
    New Semantic Tools for Logic Programming. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:204-235 [Conf]
  35. Maurizio Gabbrielli, Roberto Giacobazzi
    Goal independency and call patterns in the analysis of logic programs. [Citation Graph (0, 0)][DBLP]
    SAC, 1994, pp:394-399 [Conf]
  36. Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi
    Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:83-97 [Conf]
  37. Frank S. de Boer, Maurizio Gabbrielli
    Modelling Real-Time in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:528-542 [Conf]
  38. Maurizio Gabbrielli, Giorgio Levi
    A Solved Form Algorithm for Ask and Tell Herbrand Constraints. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:320-337 [Conf]
  39. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:227-233 [Conf]
  40. Maurizio Gabbrielli, Massimo Marchiori
    Dynamic web sites. [Citation Graph (0, 0)][DBLP]
    QL, 1998, pp:- [Conf]
  41. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Proving correctness of Timed Concurrent Constraint Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  42. Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
    Transformations of CCP programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  43. Sandro Etalle, Maurizio Gabbrielli
    Partial Evaluation of Concurrent Constraint Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:11- [Journal]
  44. Frank S. de Boer, Maurizio Gabbrielli
    Infinite computations in concurrent constraint programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  45. Frank S. de Boer, Maurizio Gabbrielli
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:1, pp:- [Journal]
  46. Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
    Comparative analysis of the expressiveness of shared dataspace coordination. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  47. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Timed Linda Language and its Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:4, pp:309-330 [Journal]
  48. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    A Timed Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:161, n:1, pp:45-83 [Journal]
  49. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
    Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:137, n:1, pp:41-67 [Journal]
  50. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Observable Behaviors and Equivalences of Logic Programs [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:122, n:1, pp:1-29 [Journal]
  51. Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami
    Nested Guarded Horn Clauses. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:3, pp:249-264 [Journal]
  52. Sandro Etalle, Maurizio Gabbrielli
    On the Correctness of the Replacement Operation for CLP Modules. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1996, v:1996, n:1, pp:- [Journal]
  53. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
    The s-Semantics Approach: Theory and Applications. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:149-197 [Journal]
  54. Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi
    A Closer Look at Declarative Interpretations. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:28, n:2, pp:147-180 [Journal]
  55. Sandro Etalle, Maurizio Gabbrielli
    Layered Modes. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:39, n:1-3, pp:225-244 [Journal]
  56. Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Resultants Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:4, pp:491-521 [Journal]
  57. Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    Differential Logic Programs: Programming Methodologies and Semantics. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:27, n:3, pp:217-262 [Journal]
  58. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
    A Compositional Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:3-47 [Journal]
  59. Sandro Etalle, Maurizio Gabbrielli
    Transformations of CLP Modules. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:166, n:1&2, pp:101-146 [Journal]
  60. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
    Confluence in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:183, n:2, pp:281-315 [Journal]
  61. Maurizio Gabbrielli, Giorgio Levi
    Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:105, n:1, pp:85-128 [Journal]
  62. Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
    Proving correctness of timed concurrent constraint programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:4, pp:706-731 [Journal]
  63. Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
    Proving Concurrent Constraint Programs Correct. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:5, pp:685-725 [Journal]
  64. Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
    Transformations of CCP programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:3, pp:304-395 [Journal]
  65. Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli
    Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:3, pp:225-226 [Journal]
  66. Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo
    Unfolding in CHR. [Citation Graph (0, 0)][DBLP]
    PPDP, 2007, pp:179-186 [Conf]
  67. Maurizio Gabbrielli, Maria Chiara Meo
    A compositional Semantics for CHR [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  68. Concurrent and Reactive Constraint Programming. [Citation Graph (, )][DBLP]


  69. The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. [Citation Graph (, )][DBLP]


  70. Timed Soft Concurrent Constraint Programs. [Citation Graph (, )][DBLP]


  71. Full Abstraction for Linda. [Citation Graph (, )][DBLP]


  72. On the expressive power of priorities in CHR. [Citation Graph (, )][DBLP]


  73. Expressiveness of Multiple Heads in CHR. [Citation Graph (, )][DBLP]


  74. Expressiveness of multiple heads in CHR [Citation Graph (, )][DBLP]


  75. Unfolding in CHR [Citation Graph (, )][DBLP]


  76. Decidability properties for fragments of CHR [Citation Graph (, )][DBLP]


Search in 0.084secs, Finished in 0.087secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002