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

Fabio Gadducci 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
65EEPaolo Baldan, Filippo Bonchi, Fabio Gadducci: Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114
64EEFilippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale: Reactive Systems, Barbed Semantics, and the Mobile Ambients. FOSSACS 2009: 272-287
63EEAlessandro Aldini, Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009)
62EEFilippo 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)
61EEFilippo Bonchi, Fabio Gadducci, Barbara König: Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009)
2008
60EEPaolo Baldan, Fabio Gadducci: Petri Nets Are Dioids. AMAST 2008: 51-66
59EEFilippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci: A Category of Explicit Fusions. Concurrency, Graphs and Models 2008: 544-562
58EEFabio Gadducci: Ugo Montanari and Friends. Concurrency, Graphs and Models 2008: 743-746
57EEFabio Gadducci, Giacoma Valentina Monreale: A Decentralized Implementation of Mobile Ambients. ICGT 2008: 115-130
56EEFilippo Bonchi, Fabio Gadducci, Tobias Heindel: Parallel and Sequential Independence for Borrowed Contexts. ICGT 2008: 226-241
55EEStefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon: A Soft Approach to Multi-objective Optimization. ICLP 2008: 764-768
54EEFilippo 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
53EEMaurice H. ter Beek, Fabio Gadducci, Dirk Janssens: A Calculus for Team Automata. Electr. Notes Theor. Comput. Sci. 195: 41-55 (2008)
52EEPaolo 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)
51EEFilippo 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
50EEFabio Gadducci, Alberto Lluch-Lafuente: Graphical Encoding of a Spatial Logic for the pi -Calculus. CALCO 2007: 209-225
49EEFilippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci: A Behavioural Congruence for Web Services. FSEN 2007: 240-256
48EEMaurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 168: 1-3 (2007)
47EEPaolo Baldan, Fabio Gadducci, Ugo Montanari: Modelling Calculi with Name Mobility using Graphs with Equivalences. Electr. Notes Theor. Comput. Sci. 176(1): 85-97 (2007)
46EEAndrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König: Inequational Deduction as Term Graph Rewriting. Electr. Notes Theor. Comput. Sci. 72(1): 31-44 (2007)
45EEFabio Gadducci: Graph rewriting for the pi-calculus. Mathematical Structures in Computer Science 17(3): 407-437 (2007)
2006
44EEPaolo 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
42EEFilippo Bonchi, Fabio Gadducci, Barbara König: Process Bisimulation Via a Graphical Encoding. ICGT 2006: 168-183
41EEPaolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci: Graph Transactions as Processes. ICGT 2006: 199-214
40EEMaurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 142: 1-3 (2006)
39EEFabio Gadducci, Alberto Lluch-Lafuente: Graphical Verification of a Spatial Logic for the pi-calculus. Electr. Notes Theor. Comput. Sci. 154(2): 31-46 (2006)
38EEFabio Gadducci, Marino Miculan, Ugo Montanari: About permutation algebras, (pre)sheaves and named sets. Higher-Order and Symbolic Computation 19(2-3): 283-304 (2006)
37EEMichele Boreale, Fabio Gadducci: Processes as formal power series: A coinductive approach to denotational semantics. Theor. Comput. Sci. 360(1-3): 440-458 (2006)
2005
36EERoberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski: Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307
35EEFabio Gadducci, Ugo Montanari: Graph Processes with Fusions: Concurrency by Colimits, Again. Formal Methods in Software and Systems Modeling 2005: 84-100
34EEFabio Gadducci, Ugo Montanari: Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. Processes, Terms and Cycles 2005: 106-126
33EEAndrea Corradini, Fabio Gadducci: On Term Graphs as an Adhesive Category. Electr. Notes Theor. Comput. Sci. 127(5): 43-56 (2005)
2004
32EEPaolo Baldan, Andrea Corradini, Fabio Gadducci: Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33
31EEFabio Gadducci, Marino Miculan, Ugo Montanari: Some Characterization Results for Permutation Algebras. Electr. Notes Theor. Comput. Sci. 104: 129-147 (2004)
2003
30EEFabio Gadducci: Term Graph Rewriting for the pi-Calculus. APLAS 2003: 37-54
29EEPierpaolo Degano, Fabio Gadducci, Corrado Priami: Causality and Replication in Concurrent Processes. Ershov Memorial Conference 2003: 307-318
28EEMichele Boreale, Fabio Gadducci: Denotational Testing Semantics in Coinductive Form. MFCS 2003: 279-289
2002
27EELuis 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
26EEMatteo Coccia, Fabio Gadducci, Ugo Montanari: GS.Lambda Theories: A Syntax for Higher-Order Graphs. Electr. Notes Theor. Comput. Sci. 69: (2002)
25EEFabio 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)
24EEPierpaolo Degano, Fabio Gadducci, Corrado Priami: A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. 275(1-2): 259-282 (2002)
23EEFabio 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
20EERoberto Bruni, Fabio Gadducci: Some algebraic laws for spans. Electr. Notes Theor. Comput. Sci. 44(3): (2001)
19EEFabio Gadducci, Ugo Montanari: A Concurrent Graph Semantics for Mobile Ambients. Electr. Notes Theor. Comput. Sci. 45: (2001)
18EEAndrea Corradini, Fabio Gadducci: Categorical rewriting of term-like structures. Electr. Notes Theor. Comput. Sci. 51: (2001)
17EEFabio 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: (2001)
2000
16 Fabio Gadducci, Ugo Montanari: The tile model. Proof, Language, and Interaction 2000: 133-166
1999
15EEAndrea Corradini, Fabio Gadducci: An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. Applied Categorical Structures 7(4): 299-331 (1999)
14EEFabio Gadducci, Reiko Heckel, Mercè Llabrés: A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. Electr. Notes Theor. Comput. Sci. 29: (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
12EEAndrea Corradini, Fabio Gadducci: Rational Term Rewriting. FoSSaCS 1998: 156-171
11EEFabio 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
9EERoberto Bruni, Fabio Gadducci, Ugo Montanari: Normal Forms for Partitions and Relations. WADT 1998: 31-47
8EEAndrea Corradini, Fabio Gadducci: Functorial Semantics for Multi-algebras. WADT 1998: 79-91
7EEGeorgia Carabetta, Pierpaolo Degano, Fabio Gadducci: CCS semantics via proved transition systems and rewriting logic. Electr. Notes Theor. Comput. Sci. 15: (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
4EEFabio Gadducci, Ugo Montanari: Tiles, rewriting rules and CCS. Electr. Notes Theor. Comput. Sci. 4: (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
1EEAndrea Corradini, Fabio Gadducci, Ugo Montanari: Relating Two Categorial Models of Term Rewriting. RTA 1995: 225-240

Coauthor Index

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

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