Maurizio Gabbrielli

	2012
87		Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: On the Expressive Power of Multiple Heads in CHR. ACM Trans. Comput. Log. 13(1): 6 (2012)
	2011
86		Jacopo Mauro, Maurizio Gabbrielli, Claudio Guidi, Fabrizio Montesi: An Efficient Management of Correlation Sets with Broadcast. COORDINATION 2011: 80-94
85		Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro: Graceful Interruption of Request-Response Service Interactions. ICSOC 2011: 590-600
84		Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli: Solving XCSP problems by using Gecode CoRR abs/1112.6096: (2011)
	2010
83		Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia: Concurrent and Reactive Constraint Programming. 25 Years GULP 2010: 231-253
82		Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers: Decidability properties for fragments of CHR CoRR abs/1007.4476: (2010)
81		Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers: Decidability properties for fragments of CHR. TPLP 10(4-6): 611-626 (2010)
	2009
80		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
79		Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo: On the expressive power of priorities in CHR. PPDP 2009: 267-276
78		Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: Expressiveness of Multiple Heads in CHR. SOFSEM 2009: 205-216
77		Maurizio Gabbrielli, Maria Chiara Meo: A compositional semantics for CHR. ACM Trans. Comput. Log. 10(2): (2009)
76		Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: On the expressive power of recursion, replication and iteration in process calculi. Mathematical Structures in Computer Science 19(6): 1191-1222 (2009)
75		Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi: Foreword. Theor. Comput. Sci. 410(46): 4601-4602 (2009)
	2008
74		Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini: Timed Soft Concurrent Constraint Programs. COORDINATION 2008: 50-66
73		Cinzia Di Giusto, Maurizio Gabbrielli: Full Abstraction for Linda. ESOP 2008: 78-92
72		Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella: A Compositional Semantics for CHR with Propagation Rules. Constraint Handling Rules 2008: 119-160
71		Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: Expressiveness of multiple heads in CHR CoRR abs/0804.3351: (2008)
70		Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella: Unfolding in CHR CoRR abs/0807.3979: (2008)
	2007
69		Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo: Unfolding in CHR. PPDP 2007: 179-186
	2006
68		Maurizio Gabbrielli, Maria Chiara Meo: A compositional Semantics for CHR CoRR abs/cs/0603079: (2006)
67		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
66		Maurizio Gabbrielli, Gopal Gupta: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings Springer 2005
65		Giorgio Delzanno, Maurizio Gabbrielli: Compositional Verification of Asynchronous Processes via Constraint Solving. ICALP 2005: 1239-1250
64		Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo: A compositional semantics for CHR. PPDP 2005: 209-217
	2004
63		Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP 2004: 307-319
62		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)
61		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
60		Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Replication vs. Recursive Definitions in Channel Based Calculi. ICALP 2003: 133-144
59		Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo: Compositional Verification of Infinite State Systems. ICLP 2003: 47-48
	2002
58		Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS 2002: 37-51
57		Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of Timed Concurrent Constraint Programs CoRR cs.LO/0208042: (2002)
	2001
56		Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Denotational Semantics for Timed Linda. PPDP 2001: 28-36
55		Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001: 227-233
54		Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs. ACM Trans. Program. Lang. Syst. 23(3): 304-395 (2001)
53		Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs CoRR cs.PL/0107014: (2001)
52		Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparative analysis of the expressiveness of shared dataspace coordination. Electr. Notes Theor. Comput. Sci. 62: 102-115 (2001)
	2000
51		Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Linda Language. COORDINATION 2000: 299-304
50		Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Concurrent Constraint Language. Inf. Comput. 161(1): 45-83 (2000)
	1999
49		Sandro Etalle, Maurizio Gabbrielli: Layered Modes. J. Log. Program. 39(1-3): 225-244 (1999)
	1998
48		Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Unfold/Fold Transformations of CCP Programs. CONCUR 1998: 348-365
47		Maurizio Gabbrielli, Massimo Marchiori: Dynamic web sites. QL 1998
46		Sandro Etalle, Maurizio Gabbrielli: Partial Evaluation of Concurrent Constraint Languages. ACM Comput. Surv. 30(3es): 11 (1998)
45		Frank S. de Boer, Maurizio Gabbrielli: Preface. Electr. Notes Theor. Comput. Sci. 16(1): 60 (1998)
	1997
44		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
43		Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Semantics and Expressive Power of a Timed Concurrent Constraint Language. CP 1997: 47-61
42		Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori: A Transformation System for CLP with Dynamic Scheduling and CCP. PEPM 1997: 137-150
41		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)
40		Frank S. de Boer, Maurizio Gabbrielli: Infinite computations in concurrent constraint programming. Electr. Notes Theor. Comput. Sci. 6: 103-118 (1997)
39		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)
38		Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Confluence in Concurrent Constraint Programming. Theor. Comput. Sci. 183(2): 281-315 (1997)
	1996
37		Sandro Etalle, Maurizio Gabbrielli: Layered Modes. APPIA-GULP-PRODE 1996: 41-52
36		Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi: Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. SAS 1996: 83-97
35		Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Resultants Semantics for Prolog. J. Log. Comput. 6(4): 491-521 (1996)
34		Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi: A Closer Look at Declarative Interpretations. J. Log. Program. 28(2): 147-180 (1996)
33		Sandro Etalle, Maurizio Gabbrielli: On the Correctness of the Replacement Operation for CLP Modules. Journal of Functional and Logic Programming 1996(1): (1996)
32		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)
31		Sandro Etalle, Maurizio Gabbrielli: Transformations of CLP Modules. Theor. Comput. Sci. 166(1&2): 101-146 (1996)
	1995
30		Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Confluence in Concurrent Constraint Programming. AMAST 1995: 531-545
29		Frank S. de Boer, Maurizio Gabbrielli: Modeling Real-Time in Concurrent Constraint Programming. GULP-PRODE 1995: 101-112
28		Sandro Etalle, Maurizio Gabbrielli: A Transformation System for Modular CLP Programs. ICLP 1995: 681-695
27		Frank S. de Boer, Maurizio Gabbrielli: Modelling Real-Time in Concurrent Constraint Programming. ILPS 1995: 528-542
26		Sandro Etalle, Maurizio Gabbrielli: The Replacement Operation for CLP Modules. PEPM 1995: 168-177
25		Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Observable Behaviors and Equivalences of Logic Programs Inf. Comput. 122(1): 1-29 (1995)
24		Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi: Observable Semantics for Constraint Logic Programs. J. Log. Comput. 5(2): 133-171 (1995)
	1994
23		Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Confluence and Concurrent Constraint Programming. GULP-PRODE (1) 1994: 140-154
22		Sandro Etalle, Maurizio Gabbrielli: Modular Transformations of CLP Programs. GULP-PRODE (1) 1994: 218-233
21		Krzysztof R. Apt, Maurizio Gabbrielli: Declarative Interpretations Reconsidered. ICLP 1994: 74-89
20		Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi: Proving Concurrent Constraint Programs Correct. POPL 1994: 98-108
19		Maurizio Gabbrielli, Roberto Giacobazzi: Goal independency and call patterns in the analysis of logic programs. SAC 1994: 394-399
18		Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli: The s-Semantics Approach: Theory and Applications. J. Log. Program. 19/20: 149-197 (1994)
17		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
16		Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi: Modular Logic Programs on Finite Domains. GULP 1993: 663-678
15		Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Compositional Analysis for Concurrent Constraint Programming LICS 1993: 210-221
14		Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Differential Logic Programming. POPL 1993: 359-370
	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)

Coauthor Index

1	Krzysztof R. Apt	[21] [34]
2	Stefano Bistarelli	[74]
3	Frank S. de Boer	[20] [27] [29] [36] [40] [41] [43] [44] [45] [50] [51] [55] [56] [57] [58] [61] [62]
4	Annalisa Bossi	[5] [12] [14] [17] [18] [32]
5	Antonio Brogi	[4] [52]
6	Michele Bugliesi	[14] [32]
7	Nadia Busi	[52] [60] [63] [76]
8	Giorgio Delzanno	[59] [64] [65] [67] [80]
9	Giovanna M. Dore	[24]
10	Sandro Etalle	[22] [26] [28] [31] [33] [37] [42] [46] [48] [49] [53] [54] [67]
11	Moreno Falaschi	[1] [15] [23] [30] [38] [39] [75]
12	Roberto Giacobazzi	[16] [19]
13	Cinzia Di Giusto	[71] [73] [78] [80] [87]
14	Claudio Guidi	[86]
15	Gopal Gupta	[66]
16	Ivan Lanese	[85]
17	Cosimo Laneve	[80]
18	Giorgio Levi	[1] [2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [14] [17] [18] [24] [25] [32] [35]
19	Elena Marchiori	[20] [41] [42]
20	Massimo Marchiori	[47]
21	Kim Marriott	[15] [23] [30] [38] [39]
22	Maurizio Martelli	[9] [18]
23	Jacopo Mauro	[79] [81] [82] [84] [85] [86]
24	Maria Chiara Meo	[5] [11] [12] [13] [14] [17] [25] [32] [35] [43] [44] [48] [50] [51] [53] [54] [55] [56] [57] [58] [59] [61] [62] [64] [68] [69] [70] [71] [72] [74] [77] [78] [79] [81] [82] [87]
25	Danilo Montesi	[16]
26	Fabrizio Montesi	[86]
27	Massimo Morara	[84]
28	Masaki Murakami	[1]
29	Catuscia Palamidessi	[15] [20] [23] [30] [36] [38] [39] [41] [75] [83]
30	Dino Pedreschi	[34]
31	Mila Dalla Preda	[85]
32	Francesco Santini	[74]
33	Jon Sneyers	[81] [82]
34	Paolo Tacchella	[69] [70] [72]
35	Daniele Turi	[10]
36	Frank D. Valencia (Frank Valencia)	[83]
37	Gianluigi Zavattaro	[52] [60] [63] [76] [80] [85]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page