Fabio Gadducci

	2012
87		Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: A Conceptual Framework for Adaptation. FASE 2012: 240-254
86		Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini: Local arc consistency for non-invertible semirings, with an application to multi-objective optimization. Expert Syst. Appl. 39(2): 1708-1717 (2012)
	2011
85		Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Towards a General Theory of Barbs, Contexts and Labels. APLAS 2011: 289-304
84		Paolo Baldan, Fabio Gadducci, Pawel Sobocinski: Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS 2011: 48-59
83		Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari: Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project 2011: 349-368
82		Fabio Gadducci, Leonardo Mariani: Preface. ECEASST 41: (2011)
81		Fabio Gadducci, Giacoma Valentina Monreale: A decentralised graphical implementation of mobile ambients. J. Log. Algebr. Program. 80(2): 113-136 (2011)
	2010
80		Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438
79		Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari: On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering 2010: 59-86
78		Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari: Saturated LTSs for Adhesive Rewriting Systems. ICGT 2010: 123-138
77		Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin: Counterpart Semantics for a Second-Order µ-Calculus. ICGT 2010: 282-297
76		Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini: Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. MICAI (1) 2010: 386-398
75		Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente: An Algebra of Hierarchical Graphs. TGC 2010: 205-221
74		Andrea Corradini, Fabio Gadducci, Leila Ribeiro: An Institution for Graph Transformation. WADT 2010: 160-174
73		Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari: From Petri Nets to Graph Transformation Systems. ECEASST 26: (2010)
72		Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente: An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comp. Sci. 20: 53-96 (2010)
	2009
71		Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek: Architecting Dependable Systems VI Springer 2009
70		Paolo Baldan, Filippo Bonchi, Fabio Gadducci: Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114
69		Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Reactive Systems, Barbed Semantics, and the Mobile Ambients. FOSSACS 2009: 272-287
68		Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: On Barbs and Labels in Reactive Systems SOS 2009: 46-61
67		Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente: A Graph Syntax for Processes and Services. WS-FM 2009: 46-60
66		Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009)
65		Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). Electr. Notes Theor. Comput. Sci. 242(1): 73-98 (2009)
64		Fabio Gadducci: A Note on an Old-Fashioned Algebra for (Disconnected) Graphs. Electr. Notes Theor. Comput. Sci. 253(4): 3-15 (2009)
63		Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: A Net-based Approach to Web Services Publication and Replaceability. Fundam. Inform. 94(3-4): 305-330 (2009)
62		Filippo Bonchi, Fabio Gadducci, Barbara König: Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009)
	2008
61		Paolo Baldan, Fabio Gadducci: Petri Nets Are Dioids. AMAST 2008: 51-66
60		Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci: A Category of Explicit Fusions. Concurrency, Graphs and Models 2008: 544-562
59		Fabio Gadducci: Ugo Montanari and Friends. Concurrency, Graphs and Models 2008: 743-746
58		Fabio Gadducci, Giacoma Valentina Monreale: A Decentralized Implementation of Mobile Ambients. ICGT 2008: 115-130
57		Filippo Bonchi, Fabio Gadducci, Tobias Heindel: Parallel and Sequential Independence for Borrowed Contexts. ICGT 2008: 226-241
56		Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon: A Soft Approach to Multi-objective Optimization. ICLP 2008: 764-768
55		Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. Petri Nets 2008: 52-71
54		Fabio Gadducci: A Term-Graph Syntax for Algebras over Multisets. WADT 2008: 152-165
53		Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens: A Calculus for Team Automata. Electr. Notes Theor. Comput. Sci. 195: 41-55 (2008)
52		Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro: Towards a Notion of Transaction in Graph Rewriting. Electr. Notes Theor. Comput. Sci. 211: 39-50 (2008)
51		Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Inform. 89(4): 479-510 (2008)
	2007
50		Fabio Gadducci, Alberto Lluch-Lafuente: Graphical Encoding of a Spatial Logic for the pi -Calculus. CALCO 2007: 209-225
49		Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: A Behavioural Congruence for Web Services. FSEN 2007: 240-256
48		Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 168: 1-3 (2007)
47		Paolo Baldan, Fabio Gadducci, Ugo Montanari: Modelling Calculi with Name Mobility using Graphs with Equivalences. Electr. Notes Theor. Comput. Sci. 176(1): 85-97 (2007)
46		Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König: Inequational Deduction as Term Graph Rewriting. Electr. Notes Theor. Comput. Sci. 72(1): 31-44 (2007)
45		Fabio Gadducci: Graph rewriting for the pi-calculus. Mathematical Structures in Computer Science 17(3): 407-437 (2007)
	2006
44		Paolo Baldan, Fabio Gadducci, Ugo Montanari: Concurrent Rewriting for Graphs with Equivalences. CONCUR 2006: 279-294
43		Stefano Bistarelli, Fabio Gadducci: Enhancing Constraints Manipulation in Semiring-Based Formalisms. ECAI 2006: 63-67
42		Filippo Bonchi, Fabio Gadducci, Barbara König: Process Bisimulation Via a Graphical Encoding. ICGT 2006: 168-183
41		Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci: Graph Transactions as Processes. ICGT 2006: 199-214
40		Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 142: 1-3 (2006)
39		Fabio Gadducci, Alberto Lluch-Lafuente: Graphical Verification of a Spatial Logic for the pi-calculus. Electr. Notes Theor. Comput. Sci. 154(2): 31-46 (2006)
38		Fabio Gadducci, Marino Miculan, Ugo Montanari: About permutation algebras, (pre)sheaves and named sets. Higher-Order and Symbolic Computation 19(2-3): 283-304 (2006)
37		Michele Boreale, Fabio Gadducci: Processes as formal power series: A coinductive approach to denotational semantics. Theor. Comput. Sci. 360(1-3): 440-458 (2006)
	2005
36		Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski: Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307
35		Fabio Gadducci, Ugo Montanari: Graph Processes with Fusions: Concurrency by Colimits, Again. Formal Methods in Software and Systems Modeling 2005: 84-100
34		Fabio Gadducci, Ugo Montanari: Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. Processes, Terms and Cycles 2005: 106-126
33		Andrea Corradini, Fabio Gadducci: On Term Graphs as an Adhesive Category. Electr. Notes Theor. Comput. Sci. 127(5): 43-56 (2005)
	2004
32		Paolo Baldan, Andrea Corradini, Fabio Gadducci: Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33
31		Fabio Gadducci, Marino Miculan, Ugo Montanari: Some Characterization Results for Permutation Algebras. Electr. Notes Theor. Comput. Sci. 104: 129-147 (2004)
	2003
30		Fabio Gadducci: Term Graph Rewriting for the pi-Calculus. APLAS 2003: 37-54
29		Pierpaolo Degano, Fabio Gadducci, Corrado Priami: Causality and Replication in Concurrent Processes. Ershov Memorial Conference 2003: 307-318
28		Michele Boreale, Fabio Gadducci: Denotational Testing Semantics in Coinductive Form. MFCS 2003: 279-289
	2002
27		Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki: AGILE: Software Architecture for Mobility. WADT 2002: 1-33
26		Matteo Coccia, Fabio Gadducci, Ugo Montanari: GS.Lambda Theories: A Syntax for Higher-Order Graphs. Electr. Notes Theor. Comput. Sci. 69: 83-100 (2002)
25		Fabio Gadducci, Ugo Montanari: Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. Electr. Notes Theor. Comput. Sci. 71: 1-2 (2002)
24		Pierpaolo Degano, Fabio Gadducci, Corrado Priami: A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. 275(1-2): 259-282 (2002)
23		Fabio Gadducci, Ugo Montanari: Comparing logics for rewriting: rewriting logic, action calculi and tile logic. Theor. Comput. Sci. 285(2): 319-358 (2002)
22		Roberto Bruni, Fabio Gadducci, Ugo Montanari: Normal forms for algebras of connection. Theor. Comput. Sci. 286(2): 247-292 (2002)
21		Andrea Corradini, Fabio Gadducci: A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Theor. Comput. Sci. 286(2): 293-322 (2002)
	2001
20		Roberto Bruni, Fabio Gadducci: Some algebraic laws for spans. Electr. Notes Theor. Comput. Sci. 44(3): 175-193 (2001)
19		Fabio Gadducci, Ugo Montanari: A Concurrent Graph Semantics for Mobile Ambients. Electr. Notes Theor. Comput. Sci. 45: 88-105 (2001)
18		Andrea Corradini, Fabio Gadducci: Categorical rewriting of term-like structures. Electr. Notes Theor. Comput. Sci. 51: 108-121 (2001)
17		Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters: Comparing cospan-spans and tiles via a Hoare-style process calculus. Electr. Notes Theor. Comput. Sci. 62: 157-176 (2001)
	2000
16		Fabio Gadducci, Ugo Montanari: The tile model. Proof, Language, and Interaction 2000: 133-166
	1999
15		Andrea Corradini, Fabio Gadducci: An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. Applied Categorical Structures 7(4): 299-331 (1999)
14		Fabio Gadducci, Reiko Heckel, Mercè Llabrés: A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. Electr. Notes Theor. Comput. Sci. 29: 80-100 (1999)
13		Andrea Corradini, Fabio Gadducci: Rewriting on cyclic structures: Equivalence between the operational and the categorical description. ITA 33(4/5): 467-493 (1999)
	1998
12		Andrea Corradini, Fabio Gadducci: Rational Term Rewriting. FoSSaCS 1998: 156-171
11		Fabio Gadducci, Ugo Montanari: Axioms for Contextual Net Processes. ICALP 1998: 296-308
10		Fabio Gadducci, Reiko Heckel, Manuel Koch: A Fully Abstract Model for Graph-Interpreted Temporal Logic. TAGT 1998: 310-322
9		Roberto Bruni, Fabio Gadducci, Ugo Montanari: Normal Forms for Partitions and Relations. WADT 1998: 31-47
8		Andrea Corradini, Fabio Gadducci: Functorial Semantics for Multi-algebras. WADT 1998: 79-91
7		Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci: CCS semantics via proved transition systems and rewriting logic. Electr. Notes Theor. Comput. Sci. 15: 369-387 (1998)
	1997
6		Andrea Corradini, Fabio Gadducci: A 2-Categorical Presentation of Term Graph Rewriting. Category Theory and Computer Science 1997: 87-105
5		Fabio Gadducci, Reiko Heckel: An inductive view of graph transformation. WADT 1997: 223-237
	1996
4		Fabio Gadducci, Ugo Montanari: Tiles, rewriting rules and CCS. Electr. Notes Theor. Comput. Sci. 4: 1-19 (1996)
	1995
3		Andrea Corradini, Fabio Gadducci: CPO Models for Infinite Term Rewriting. AMAST 1995: 368-384
2		Marino Miculan, Fabio Gadducci: Modal mu-Types for Processes LICS 1995: 221-231
1		Andrea Corradini, Fabio Gadducci, Ugo Montanari: Relating Two Categorial Models of Term Rewriting. RTA 1995: 225-240

Coauthor Index

1	Alessandro Aldini	[66]
2	Luis Filipe Andrade	[27]
3	Paolo Baldan	[27] [32] [41] [44] [47] [52] [61] [70] [73] [80] [84]
4	Hubert Baumeister	[27]
5	Maurice H. ter Beek	[40] [48] [53] [66] [71]
6	Stefano Bistarelli	[43] [56] [76] [86]
7	Filippo Bonchi	[42] [49] [51] [55] [57] [60] [62] [63] [65] [68] [69] [70] [78] [80] [85]
8	Michele Boreale	[28] [37]
9	Antonio Brogi	[49] [51] [55] [63]
10	Roberto Bruni	[9] [20] [22] [27] [36] [67] [72] [75] [79] [83] [87]
11	Maria Grazia Buscemi	[60]
12	Georgia Carabetta	[7]
13	Vincenzo Ciancia	[60]
14	Matteo Coccia	[26]
15	Sara Corfini	[49] [51] [55] [63]
16	Andrea Corradini	[1] [3] [6] [8] [12] [13] [15] [18] [21] [27] [32] [33] [41] [46] [52] [73] [74] [79] [83] [87]
17	Pierpaolo Degano	[7] [24] [29]
18	Fernando Luís Dotti	[52]
19	Jean-Charles Fabre	[71]
20	José Luiz Fiadeiro	[27]
21	Luciana Foss	[41] [52]
22	Cristina Gacek	[71]
23	Stefania Gnesi	[27]
24	Reiko Heckel	[5] [10] [14]
25	Tobias Heindel	[57]
26	Piotr Hoffman	[27]
27	Dirk Janssens	[53]
28	Wolfram Kahl	[46]
29	Piergiulio Katis	[17]
30	Manuel Koch	[10]
31	Nora Koch	[27]
32	Barbara König	[42] [46] [62]
33	Piotr Kosiuczenko	[27]
34	Alessandro Lapadula	[27]
35	Javier Larrosa	[56] [76] [86]
36	Diego Latella	[27]
37	Rogério de Lemos	[71]
38	Mercè Llabrés	[14]
39	Alberto Lluch-Lafuente	[39] [50] [67] [72] [75] [77] [79] [83] [87]
40	Antónia Lopes	[27]
41	Michele Loreti	[27]
42	Leonardo Mariani	[82]
43	Mieke Massink	[27]
44	Franco Mazzanti	[27]
45	Marino Miculan	[2] [31] [38]
46	Giacoma Valentina Monreale	[58] [65] [68] [69] [78] [80] [81] [85]
47	Ugo Montanari	[1] [4] [9] [11] [16] [17] [19] [22] [23] [25] [26] [27] [31] [34] [35] [36] [38] [44] [47] [73] [78] [79] [83]
48	Rocco De Nicola	[27]
49	Cristóvão Oliveira	[27]
50	Corrado Priami	[24] [29]
51	Rosario Pugliese	[27]
52	Leila Ribeiro (Leila Ribeiro Korff)	[52] [74]
53	Emma Rollon	[56] [76] [86]
54	Nicoletta Sabadini	[17]
55	Francesco Santini	[76] [86]
56	Pawel Sobocinski	[36] [84]
57	Andrzej Tarlecki	[27]
58	Andrea Vandin	[77] [87]
59	Robert F. C. Walters	[17]
60	Michel Wermelinger	[27]
61	Martin Wirsing	[27]
62	Artur Zawlocki	[27]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page