| 2008 |
|---|
| 48 | EE | Maurice H. ter Beek,
Fabio Gadducci,
Dirk Janssens:
A Calculus for Team Automata.
Electr. Notes Theor. Comput. Sci. 195: 41-55 (2008) |
| 2007 |
|---|
| 47 | EE | Fabio Gadducci,
Alberto Lluch-Lafuente:
Graphical Encoding of a Spatial Logic for the pi -Calculus.
CALCO 2007: 209-225 |
| 46 | EE | Filippo Bonchi,
Antonio Brogi,
Sara Corfini,
Fabio Gadducci:
A Behavioural Congruence for Web Services.
FSEN 2007: 240-256 |
| 45 | EE | Maurice H. ter Beek,
Fabio Gadducci:
Preface.
Electr. Notes Theor. Comput. Sci. 168: 1-3 (2007) |
| 44 | EE | 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) |
| 43 | EE | 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) |
| 2006 |
|---|
| 42 | EE | Paolo Baldan,
Fabio Gadducci,
Ugo Montanari:
Concurrent Rewriting for Graphs with Equivalences.
CONCUR 2006: 279-294 |
| 41 | | Stefano Bistarelli,
Fabio Gadducci:
Enhancing Constraints Manipulation in Semiring-Based Formalisms.
ECAI 2006: 63-67 |
| 40 | EE | Filippo Bonchi,
Fabio Gadducci,
Barbara König:
Process Bisimulation Via a Graphical Encoding.
ICGT 2006: 168-183 |
| 39 | EE | Paolo Baldan,
Andrea Corradini,
Luciana Foss,
Fabio Gadducci:
Graph Transactions as Processes.
ICGT 2006: 199-214 |
| 38 | EE | Maurice H. ter Beek,
Fabio Gadducci:
Preface.
Electr. Notes Theor. Comput. Sci. 142: 1-3 (2006) |
| 37 | EE | 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) |
| 36 | EE | 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) |
| 35 | EE | 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 |
|---|
| 34 | EE | Roberto Bruni,
Fabio Gadducci,
Ugo Montanari,
Pawel Sobocinski:
Deriving Weak Bisimulation Congruences from Reduction Systems.
CONCUR 2005: 293-307 |
| 33 | EE | Fabio Gadducci,
Ugo Montanari:
Graph Processes with Fusions: Concurrency by Colimits, Again.
Formal Methods in Software and Systems Modeling 2005: 84-100 |
| 32 | EE | Fabio Gadducci,
Ugo Montanari:
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes.
Processes, Terms and Cycles 2005: 106-126 |
| 31 | EE | Andrea Corradini,
Fabio Gadducci:
On Term Graphs as an Adhesive Category.
Electr. Notes Theor. Comput. Sci. 127(5): 43-56 (2005) |
| 2004 |
|---|
| 30 | EE | Paolo Baldan,
Andrea Corradini,
Fabio Gadducci:
Specifying and Verifying UML Activity Diagrams Via Graph Transformation.
Global Computing 2004: 18-33 |
| 29 | EE | Fabio Gadducci,
Marino Miculan,
Ugo Montanari:
Some Characterization Results for Permutation Algebras.
Electr. Notes Theor. Comput. Sci. 104: 129-147 (2004) |
| 2003 |
|---|
| 28 | EE | Fabio Gadducci:
Term Graph Rewriting for the phi-Calculus.
APLAS 2003: 37-54 |
| 27 | EE | Pierpaolo Degano,
Fabio Gadducci,
Corrado Priami:
Causality and Replication in Concurrent Processes.
Ershov Memorial Conference 2003: 307-318 |
| 26 | EE | Michele Boreale,
Fabio Gadducci:
Denotational Testing Semantics in Coinductive Form.
MFCS 2003: 279-289 |
| 2002 |
|---|
| 25 | EE | 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 |
| 24 | EE | Matteo Coccia,
Fabio Gadducci,
Ugo Montanari:
GS.Lambda Theories: A Syntax for Higher-Order Graphs.
Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 23 | EE | 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) |
| 22 | EE | Pierpaolo Degano,
Fabio Gadducci,
Corrado Priami:
A causal semantics for CCS via rewriting logic.
Theor. Comput. Sci. 275(1-2): 259-282 (2002) |
| 21 | EE | Fabio Gadducci,
Ugo Montanari:
Comparing logics for rewriting: rewriting logic, action calculi and tile logic.
Theor. Comput. Sci. 285(2): 319-358 (2002) |
| 20 | | Roberto Bruni,
Fabio Gadducci,
Ugo Montanari:
Normal forms for algebras of connection.
Theor. Comput. Sci. 286(2): 247-292 (2002) |
| 19 | | 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 |
|---|
| 18 | EE | Roberto Bruni,
Fabio Gadducci:
Some algebraic laws for spans.
Electr. Notes Theor. Comput. Sci. 44(3): (2001) |
| 17 | EE | Fabio Gadducci,
Ugo Montanari:
A Concurrent Graph Semantics for Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 16 | EE | Andrea Corradini,
Fabio Gadducci:
Categorical rewriting of term-like structures.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 15 | EE | 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: (2001) |
| 1999 |
|---|
| 14 | EE | Fabio 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 |
|---|
| 12 | EE | Andrea Corradini,
Fabio Gadducci:
Rational Term Rewriting.
FoSSaCS 1998: 156-171 |
| 11 | EE | 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 | EE | Roberto Bruni,
Fabio Gadducci,
Ugo Montanari:
Normal Forms for Partitions and Relations.
WADT 1998: 31-47 |
| 8 | EE | Andrea Corradini,
Fabio Gadducci:
Functorial Semantics for Multi-algebras.
WADT 1998: 79-91 |
| 7 | EE | Georgia 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 |
|---|
| 4 | EE | Fabio 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 |
| 1 | | Andrea Corradini,
Fabio Gadducci,
Ugo Montanari:
Relating Two Categorial Models of Term Rewriting.
RTA 1995: 225-240 |
