dblp.uni-trier.dewww.uni-trier.de

Maurizio Gabbrielli Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
77EEGiorgio 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
76EEMaurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo: On the expressive power of priorities in CHR. PPDP 2009: 267-276
75EECinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: Expressiveness of Multiple Heads in CHR. SOFSEM 2009: 205-216
74EEMaurizio Gabbrielli, Maria Chiara Meo: A compositional semantics for CHR. ACM Trans. Comput. Log. 10(2): (2009)
2008
73EEStefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini: Timed Soft Concurrent Constraint Programs. COORDINATION 2008: 50-66
72EECinzia Di Giusto, Maurizio Gabbrielli: Full Abstraction for Linda. ESOP 2008: 78-92
71EEMaurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella: A Compositional Semantics for CHR with Propagation Rules. Constraint Handling Rules 2008: 119-160
70EECinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo: Expressiveness of multiple heads in CHR CoRR abs/0804.3351: (2008)
69EEMaurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella: Unfolding in CHR CoRR abs/0807.3979: (2008)
2007
68EEPaolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo: Unfolding in CHR. PPDP 2007: 179-186
2006
67EEMaurizio Gabbrielli, Maria Chiara Meo: A compositional Semantics for CHR CoRR abs/cs/0603079: (2006)
66EEGiorgio 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
64EEGiorgio Delzanno, Maurizio Gabbrielli: Compositional Verification of Asynchronous Processes via Constraint Solving. ICALP 2005: 1239-1250
63EEGiorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo: A compositional semantics for CHR. PPDP 2005: 209-217
2004
62EENadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP 2004: 307-319
61EEFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving correctness of timed concurrent constraint programs. ACM Trans. Comput. Log. 5(4): 706-731 (2004)
60EEFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Timed Linda Language and its Denotational Semantics. Fundam. Inform. 63(4): 309-330 (2004)
2003
59EENadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Replication vs. Recursive Definitions in Channel Based Calculi. ICALP 2003: 133-144
58EEGiorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo: Compositional Verification of Infinite State Systems. ICLP 2003: 47-48
2002
57EEFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: Proving Correctness of Timed Concurrent Constraint Programs. FoSSaCS 2002: 37-51
56EEFrank 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
54EEFrank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo: A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. TIME 2001: 227-233
53EESandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs. ACM Trans. Program. Lang. Syst. 23(3): 304-395 (2001)
52EESandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Transformations of CCP programs CoRR cs.PL/0107014: (2001)
51EEAntonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparative analysis of the expressiveness of shared dataspace coordination. Electr. Notes Theor. Comput. Sci. 62: (2001)
2000
50EEFrank 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
47EESandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo: Unfold/Fold Transformations of CCP Programs. CONCUR 1998: 348-365
46EEMaurizio Gabbrielli, Massimo Marchiori: Dynamic web sites. QL 1998
45EESandro Etalle, Maurizio Gabbrielli: Partial Evaluation of Concurrent Constraint Languages. ACM Comput. Surv. 30(3es): 11 (1998)
44EEFrank 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
41EESandro Etalle, Maurizio Gabbrielli, Elena Marchiori: A Transformation System for CLP with Dynamic Scheduling and CCP. PEPM 1997: 137-150
40EEFrank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi: Proving Concurrent Constraint Programs Correct. ACM Trans. Program. Lang. Syst. 19(5): 685-725 (1997)
39EEFrank 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)
37EEMoreno 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)
30EESandro 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
18EEMaurizio 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
13EEMaurizio 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
10EEMaurizio Gabbrielli, Giorgio Levi, Daniele Turi: A Two Steps Semantics for Logic Programs with Negation. LPAR 1992: 297-308
9EEMaurizio 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
7EEMaurizio 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
4EEAntonio Brogi, Maurizio Gabbrielli: Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes. PLILP 1991: 407-418
3EEMaurizio Gabbrielli, Giorgio Levi: A Solved Form Algorithm for Ask and Tell Herbrand Constraints. TAPSOFT, Vol.1 1991: 320-337
1990
2EEMaurizio 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)