Fabio Gadducci
Fabio Gadducci
Professore di scienze informatiche, Universitŕ di Pisa
Verified email at unipi.it - Homepage
TitleCited byYear
The tile model.
F Gadducci, U Montanari
Proof, Language, and Interaction, 133-166, 2000
157*2000
A conceptual framework for adaptation
R Bruni, A Corradini, F Gadducci, AL Lafuente, A Vandin
International Conference on Fundamental Approaches to Software Engineering …, 2012
972012
An algebraic presentation of term graphs, via gs-monoidal categories
A Corradini, F Gadducci
Applied Categorical Structures 7 (4), 299-331, 1999
941999
Enhancing constraints manipulation in semiring-based formalisms
S Bistarelli, F Gadducci
ECAI 141, 63-67, 2006
692006
An inductive view of graph transformation
F Gadducci, R Heckel
International Workshop on Algebraic Development Techniques, 223-237, 1997
691997
A 2-categorical presentation of term graph rewriting
A Corradini, F Gadducci
International Conference on Category Theory and Computer Science, 87-105, 1997
631997
About permutation algebras, (pre)sheaves and named sets
F Gadducci, M Miculan, U Montanari
Higher-Order and Symbolic Computation 19 (2-3), 283-304, 2006
612006
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
F Gadducci, R Heckel, M Llabrés
Electronic Notes in Theoretical Computer Science 29, 80-100, 1999
491999
Reactive systems, barbed semantics, and the mobile ambients
F Bonchi, F Gadducci, GV Monreale
International Conference on Foundations of Software Science and …, 2009
482009
On the algebraic approach to concurrent term rewriting
F Gadducci
BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 59, 412-413, 1996
481996
Normal forms for algebras of connections
R Bruni, F Gadducci, U Montanari
Theoretical Computer Science 286 (2), 247-292, 2002
442002
A behavioural congruence for web services
F Bonchi, A Brogi, S Corfini, F Gadducci
International Conference on Fundamentals of Software Engineering, 240-256, 2007
412007
Graph rewriting for the π-calculus
F Gadducci
Mathematical Structures in Computer Science 17 (3), 407-437, 2007
402007
The tile model
F Gadducci, U Montanari
Universitŕ di Pisa, 1996
401996
Term Graph Rewriting for the π-Calculus
F Gadducci
Asian Symposium on Programming Languages and Systems, 37-54, 2003
392003
A Concurrent Graph Semantics for Mobile Ambients
F Gadducci, U Montanari
Electronic Notes in Theoretical Computer Science 45, 88-105, 2001
392001
Some algebraic laws for spans (and their connections with multirelations)
R Bruni, F Gadducci
Electronic Notes in Theoretical Computer Science 44 (3), 175-193, 2003
362003
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
F Gadducci, U Montanari
Theoretical Computer Science 285 (2), 319-358, 2002
362002
Relating two categorical models of term rewriting
A Corradini, F Gadducci, U Montanari
International Conference on Rewriting Techniques and Applications, 225-240, 1995
361995
Rewriting on cyclic structures: Equivalence between the operational and the categorical description
A Corradini, F Gadducci
RAIRO-Theoretical Informatics and Applications 33 (4-5), 467-493, 1999
351999
The system can't perform the operation now. Try again later.
Articles 1–20