|
Search the dblp DataBase
Maurizio Gabbrielli:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Maurizio Gabbrielli, Giorgio Levi
Modeling Answer Constraints in Constraint Logic Programs. [Citation Graph (1, 0)][DBLP] ICLP, 1991, pp:238-252 [Conf]
- 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]
- 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]
- 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]
- Sandro Etalle, Maurizio Gabbrielli
Modular Transformations of CLP Programs. [Citation Graph (0, 0)][DBLP] GULP-PRODE (1), 1994, pp:218-233 [Conf]
- Sandro Etalle, Maurizio Gabbrielli
Layered Modes. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1996, pp:41-52 [Conf]
- 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]
- Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi
Modular Logic Programs on Finite Domains. [Citation Graph (0, 0)][DBLP] GULP, 1993, pp:663-678 [Conf]
- Maurizio Gabbrielli, Giorgio Levi
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. [Citation Graph (0, 0)][DBLP] ALP, 1990, pp:204-216 [Conf]
- 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]
- Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
Confluence in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP] AMAST, 1995, pp:531-545 [Conf]
- Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
Unfold/Fold Transformations of CCP Programs. [Citation Graph (0, 0)][DBLP] CONCUR, 1998, pp:348-365 [Conf]
- Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo
A Timed Linda Language. [Citation Graph (0, 0)][DBLP] COORDINATION, 2000, pp:299-304 [Conf]
- 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]
- 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]
- 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]
- 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]
- Giorgio Delzanno, Maurizio Gabbrielli
Compositional Verification of Asynchronous Processes via Constraint Solving. [Citation Graph (0, 0)][DBLP] ICALP, 2005, pp:1239-1250 [Conf]
- Maurizio Gabbrielli, Giorgio Levi
On the Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP] ICALP, 1991, pp:1-19 [Conf]
- 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]
- Krzysztof R. Apt, Maurizio Gabbrielli
Declarative Interpretations Reconsidered. [Citation Graph (0, 0)][DBLP] ICLP, 1994, pp:74-89 [Conf]
- Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
Compositional Verification of Infinite State Systems. [Citation Graph (0, 0)][DBLP] ICLP, 2003, pp:47-48 [Conf]
- Sandro Etalle, Maurizio Gabbrielli
A Transformation System for Modular CLP Programs. [Citation Graph (0, 0)][DBLP] ICLP, 1995, pp:681-695 [Conf]
- Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
Observational Equivalences for Logic Programs. [Citation Graph (0, 0)][DBLP] JICSLP, 1992, pp:131-145 [Conf]
- 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]
- 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]
- Sandro Etalle, Maurizio Gabbrielli
The Replacement Operation for CLP Modules. [Citation Graph (0, 0)][DBLP] PEPM, 1995, pp:168-177 [Conf]
- 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]
- Antonio Brogi, Maurizio Gabbrielli
Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. [Citation Graph (0, 0)][DBLP] PLILP, 1991, pp:407-418 [Conf]
- 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]
- 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]
- Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
A compositional semantics for CHR. [Citation Graph (0, 0)][DBLP] PPDP, 2005, pp:209-217 [Conf]
- Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
New Semantic Tools for Logic Programming. [Citation Graph (0, 0)][DBLP] REX Workshop, 1992, pp:204-235 [Conf]
- 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]
- 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]
- Frank S. de Boer, Maurizio Gabbrielli
Modelling Real-Time in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP] ILPS, 1995, pp:528-542 [Conf]
- 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]
- 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]
- Maurizio Gabbrielli, Massimo Marchiori
Dynamic web sites. [Citation Graph (0, 0)][DBLP] QL, 1998, pp:- [Conf]
- 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]
- Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
Transformations of CCP programs [Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal]
- 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]
- 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]
- Frank S. de Boer, Maurizio Gabbrielli
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:16, n:1, pp:- [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Sandro Etalle, Maurizio Gabbrielli
Layered Modes. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1999, v:39, n:1-3, pp:225-244 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo
Unfolding in CHR. [Citation Graph (0, 0)][DBLP] PPDP, 2007, pp:179-186 [Conf]
- Maurizio Gabbrielli, Maria Chiara Meo
A compositional Semantics for CHR [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
Concurrent and Reactive Constraint Programming. [Citation Graph (, )][DBLP]
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. [Citation Graph (, )][DBLP]
Timed Soft Concurrent Constraint Programs. [Citation Graph (, )][DBLP]
Full Abstraction for Linda. [Citation Graph (, )][DBLP]
On the expressive power of priorities in CHR. [Citation Graph (, )][DBLP]
Expressiveness of Multiple Heads in CHR. [Citation Graph (, )][DBLP]
Expressiveness of multiple heads in CHR [Citation Graph (, )][DBLP]
Unfolding in CHR [Citation Graph (, )][DBLP]
Decidability properties for fragments of CHR [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.460secs
|