 | 2009 |
|---|
| 77 |       | Giorgio Delzanno,
Cinzia Di Giusto,
Maurizio Gabbrielli,
Cosimo Laneve,
Gianluigi Zavattaro:
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.
CMSB 2009: 158-172 |
| 76 | | Maurizio Gabbrielli,
Jacopo Mauro,
Maria Chiara Meo:
On the expressive power of priorities in CHR.
PPDP 2009: 267-276 |
| 75 | | Cinzia Di Giusto,
Maurizio Gabbrielli,
Maria Chiara Meo:
Expressiveness of Multiple Heads in CHR.
SOFSEM 2009: 205-216 |
| 74 | | Maurizio Gabbrielli,
Maria Chiara Meo:
A compositional semantics for CHR.
ACM Trans. Comput. Log. 10(2): (2009) |
| 2008 |
|---|
| 73 | | Stefano Bistarelli,
Maurizio Gabbrielli,
Maria Chiara Meo,
Francesco Santini:
Timed Soft Concurrent Constraint Programs.
COORDINATION 2008: 50-66 |
| 72 | | Cinzia Di Giusto,
Maurizio Gabbrielli:
Full Abstraction for Linda.
ESOP 2008: 78-92 |
| 71 | | Maurizio Gabbrielli,
Maria Chiara Meo,
Paolo Tacchella:
A Compositional Semantics for CHR with Propagation Rules.
Constraint Handling Rules 2008: 119-160 |
| 70 | | Cinzia Di Giusto,
Maurizio Gabbrielli,
Maria Chiara Meo:
Expressiveness of multiple heads in CHR
CoRR abs/0804.3351: (2008) |
| 69 | | Maurizio Gabbrielli,
Maria Chiara Meo,
Paolo Tacchella:
Unfolding in CHR
CoRR abs/0807.3979: (2008) |
| 2007 |
|---|
| 68 | | Paolo Tacchella,
Maurizio Gabbrielli,
Maria Chiara Meo:
Unfolding in CHR.
PPDP 2007: 179-186 |
| 2006 |
|---|
| 67 | | Maurizio Gabbrielli,
Maria Chiara Meo:
A compositional Semantics for CHR
CoRR abs/cs/0603079: (2006) |
| 66 | | Giorgio Delzanno,
Sandro Etalle,
Maurizio Gabbrielli:
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems.
TPLP 6(3): 225-226 (2006) |
| 2005 |
|---|
| 65 |  | Maurizio Gabbrielli,
Gopal Gupta:
Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
Springer 2005 |
| 64 | | Giorgio Delzanno,
Maurizio Gabbrielli:
Compositional Verification of Asynchronous Processes via Constraint Solving.
ICALP 2005: 1239-1250 |
| 63 | | Giorgio Delzanno,
Maurizio Gabbrielli,
Maria Chiara Meo:
A compositional semantics for CHR.
PPDP 2005: 209-217 |
| 2004 |
|---|
| 62 | | Nadia Busi,
Maurizio Gabbrielli,
Gianluigi Zavattaro:
Comparing Recursion, Replication, and Iteration in Process Calculi.
ICALP 2004: 307-319 |
| 61 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
Proving correctness of timed concurrent constraint programs.
ACM Trans. Comput. Log. 5(4): 706-731 (2004) |
| 60 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
A Timed Linda Language and its Denotational Semantics.
Fundam. Inform. 63(4): 309-330 (2004) |
| 2003 |
|---|
| 59 | | Nadia Busi,
Maurizio Gabbrielli,
Gianluigi Zavattaro:
Replication vs. Recursive Definitions in Channel Based Calculi.
ICALP 2003: 133-144 |
| 58 | | Giorgio Delzanno,
Maurizio Gabbrielli,
Maria Chiara Meo:
Compositional Verification of Infinite State Systems.
ICLP 2003: 47-48 |
| 2002 |
|---|
| 57 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
Proving Correctness of Timed Concurrent Constraint Programs.
FoSSaCS 2002: 37-51 |
| 56 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
Proving correctness of Timed Concurrent Constraint Programs
CoRR cs.LO/0208042: (2002) |
| 2001 |
|---|
| 55 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
A Denotational Semantics for Timed Linda.
PPDP 2001: 28-36 |
| 54 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.
TIME 2001: 227-233 |
| 53 | | Sandro Etalle,
Maurizio Gabbrielli,
Maria Chiara Meo:
Transformations of CCP programs.
ACM Trans. Program. Lang. Syst. 23(3): 304-395 (2001) |
| 52 | | Sandro Etalle,
Maurizio Gabbrielli,
Maria Chiara Meo:
Transformations of CCP programs
CoRR cs.PL/0107014: (2001) |
| 51 | | Antonio Brogi,
Nadia Busi,
Maurizio Gabbrielli,
Gianluigi Zavattaro:
Comparative analysis of the expressiveness of shared dataspace coordination.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 2000 |
|---|
| 50 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
A Timed Linda Language.
COORDINATION 2000: 299-304 |
| 49 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
A Timed Concurrent Constraint Language.
Inf. Comput. 161(1): 45-83 (2000) |
| 1999 |
|---|
| 48 | | Sandro Etalle,
Maurizio Gabbrielli:
Layered Modes.
J. Log. Program. 39(1-3): 225-244 (1999) |
| 1998 |
|---|
| 47 | | Sandro Etalle,
Maurizio Gabbrielli,
Maria Chiara Meo:
Unfold/Fold Transformations of CCP Programs.
CONCUR 1998: 348-365 |
| 46 | | Maurizio Gabbrielli,
Massimo Marchiori:
Dynamic web sites.
QL 1998 |
| 45 | | Sandro Etalle,
Maurizio Gabbrielli:
Partial Evaluation of Concurrent Constraint Languages.
ACM Comput. Surv. 30(3es): 11 (1998) |
| 44 | | Frank S. de Boer,
Maurizio Gabbrielli:
Preface.
Electr. Notes Theor. Comput. Sci. 16(1): (1998) |
| 1997 |
|---|
| 43 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
Semantics and Expressive Power of a Timed Concurrent Constraint Language.
APPIA-GULP-PRODE 1997: 235-246 |
| 42 | | Frank S. de Boer,
Maurizio Gabbrielli,
Maria Chiara Meo:
Semantics and Expressive Power of a Timed Concurrent Constraint Language.
CP 1997: 47-61 |
| 41 | | Sandro Etalle,
Maurizio Gabbrielli,
Elena Marchiori:
A Transformation System for CLP with Dynamic Scheduling and CCP.
PEPM 1997: 137-150 |
| 40 | | Frank S. de Boer,
Maurizio Gabbrielli,
Elena Marchiori,
Catuscia Palamidessi:
Proving Concurrent Constraint Programs Correct.
ACM Trans. Program. Lang. Syst. 19(5): 685-725 (1997) |
| 39 | | Frank S. de Boer,
Maurizio Gabbrielli:
Infinite computations in concurrent constraint programming.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 38 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators.
Inf. Comput. 137(1): 41-67 (1997) |
| 37 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Confluence in Concurrent Constraint Programming.
Theor. Comput. Sci. 183(2): 281-315 (1997) |
| 1996 |
|---|
| 36 | | Sandro Etalle,
Maurizio Gabbrielli:
Layered Modes.
APPIA-GULP-PRODE 1996: 41-52 |
| 35 | | Frank S. de Boer,
Maurizio Gabbrielli,
Catuscia Palamidessi:
Proving Correctness of Constraint Logic Programs with Dynamic Scheduling.
SAS 1996: 83-97 |
| 34 | | Maurizio Gabbrielli,
Giorgio Levi,
Maria Chiara Meo:
Resultants Semantics for Prolog.
J. Log. Comput. 6(4): 491-521 (1996) |
| 33 | | Krzysztof R. Apt,
Maurizio Gabbrielli,
Dino Pedreschi:
A Closer Look at Declarative Interpretations.
J. Log. Program. 28(2): 147-180 (1996) |
| 32 | | Sandro Etalle,
Maurizio Gabbrielli:
On the Correctness of the Replacement Operation for CLP Modules.
Journal of Functional and Logic Programming 1996(1): (1996) |
| 31 | | Annalisa Bossi,
Michele Bugliesi,
Maurizio Gabbrielli,
Giorgio Levi,
Maria Chiara Meo:
Differential Logic Programs: Programming Methodologies and Semantics.
Sci. Comput. Program. 27(3): 217-262 (1996) |
| 30 | | Sandro Etalle,
Maurizio Gabbrielli:
Transformations of CLP Modules.
Theor. Comput. Sci. 166(1&2): 101-146 (1996) |
| 1995 |
|---|
| 29 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Confluence in Concurrent Constraint Programming.
AMAST 1995: 531-545 |
| 28 | | Frank S. de Boer,
Maurizio Gabbrielli:
Modeling Real-Time in Concurrent Constraint Programming.
GULP-PRODE 1995: 101-112 |
| 27 | | Sandro Etalle,
Maurizio Gabbrielli:
A Transformation System for Modular CLP Programs.
ICLP 1995: 681-695 |
| 26 | | Frank S. de Boer,
Maurizio Gabbrielli:
Modelling Real-Time in Concurrent Constraint Programming.
ILPS 1995: 528-542 |
| 25 | | Sandro Etalle,
Maurizio Gabbrielli:
The Replacement Operation for CLP Modules.
PEPM 1995: 168-177 |
| 24 | | Maurizio Gabbrielli,
Giorgio Levi,
Maria Chiara Meo:
Observable Behaviors and Equivalences of Logic Programs
Inf. Comput. 122(1): 1-29 (1995) |
| 23 | | Maurizio Gabbrielli,
Giovanna M. Dore,
Giorgio Levi:
Observable Semantics for Constraint Logic Programs.
J. Log. Comput. 5(2): 133-171 (1995) |
| 1994 |
|---|
| 22 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Confluence and Concurrent Constraint Programming.
GULP-PRODE (1) 1994: 140-154 |
| 21 | | Sandro Etalle,
Maurizio Gabbrielli:
Modular Transformations of CLP Programs.
GULP-PRODE (1) 1994: 218-233 |
| 20 | | Krzysztof R. Apt,
Maurizio Gabbrielli:
Declarative Interpretations Reconsidered.
ICLP 1994: 74-89 |
| 19 | | Frank S. de Boer,
Maurizio Gabbrielli,
Elena Marchiori,
Catuscia Palamidessi:
Proving Concurrent Constraint Programs Correct.
POPL 1994: 98-108 |
| 18 | | Maurizio Gabbrielli,
Roberto Giacobazzi:
Goal independency and call patterns in the analysis of logic programs.
SAC 1994: 394-399 |
| 17 | | Annalisa Bossi,
Maurizio Gabbrielli,
Giorgio Levi,
Maurizio Martelli:
The s-Semantics Approach: Theory and Applications.
J. Log. Program. 19/20: 149-197 (1994) |
| 16 | | Annalisa Bossi,
Maurizio Gabbrielli,
Giorgio Levi,
Maria Chiara Meo:
A Compositional Semantics for Logic Programs.
Theor. Comput. Sci. 122(1&2): 3-47 (1994) |
| 1993 |
|---|
| 15 | | Maurizio Gabbrielli,
Roberto Giacobazzi,
Danilo Montesi:
Modular Logic Programs on Finite Domains.
GULP 1993: 663-678 |
| 14 | | Moreno Falaschi,
Maurizio Gabbrielli,
Kim Marriott,
Catuscia Palamidessi:
Compositional Analysis for Concurrent Constraint Programming
LICS 1993: 210-221 |
| 1992 |
|---|
| 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.
Theor. Comput. Sci. 105(1): 85-128 (1992) |
| 1991 |
|---|
| 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 |
| 1990 |
|---|
| 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.
Int. J. Found. Comput. Sci. 1(3): 249-264 (1990) |
