Fabio Gadducci

Cited by

	All	Since 2016
Citations	2366	478
h-index	28	11
i10-index	65	11

180

135

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202125 31 71 59 42 32 99 37 78 95 91 127 162 117 139 130 114 103 134 146 88 79 104 92 85 26

Public access

View all

15 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Andrea CorradiniProfessor of Computer Science, University of PisaVerified email at di.unipi.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
Paolo BaldanProfessor of Computer Science, University of PadovaVerified email at math.unipd.it
Andrea VandinSant'Anna School for Advanced Studies, ItalyVerified email at santannapisa.it
Pawel SobocinskiProfessor of Computer Science, Tallinn University of TechnologyVerified email at cs.ioc.ee
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
Stefano BistarelliFull professor of Computer Science at University of PerugiaVerified email at unipg.it
Francesco SantiniDipartimento Matematica e Informatica, PerugiaVerified email at dmi.unipg.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Marino MiculanUniversity of Udine, ItalyVerified email at uniud.it
Antonio BrogiUniversity of Pisa, ItalyVerified email at di.unipi.it
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Aleks KissingerAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Fabio ZanasiAssociate Professor at University College LondonVerified email at ucl.ac.uk
Hernán MelgrattiUniversidad de Buenos AiresVerified email at dc.uba.ar
Maurice H. ter BeekISTI, CNRVerified email at isti.cnr.it
Vincenzo CianciaISTI-CNRVerified email at isti.cnr.it
Javier LarrosaProfessor of Computer Science, Universitat Politecnica de CatalunyaVerified email at cs.upc.edu

Fabio Gadducci

Professore di Informatica, Università di Pisa

Verified email at unipi.it - Homepage

formal methods programming languages semantics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The tile model. F Gadducci, U Montanari Proof, Language, and Interaction, 133-166, 2000	161	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	100	2012
An algebraic presentation of term graphs, via gs-monoidal categories A Corradini, F Gadducci Applied Categorical Structures 7 (4), 299-331, 1999	98	1999
Enhancing constraints manipulation in semiring-based formalisms S Bistarelli, F Gadducci ECAI 141, 63-67, 2006	77	2006
An inductive view of graph transformation F Gadducci, R Heckel International Workshop on Algebraic Development Techniques, 223-237, 1997	72	1997
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	66	2006
A 2-categorical presentation of term graph rewriting A Corradini, F Gadducci International Conference on Category Theory and Computer Science, 87-105, 1997	65	1997
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	50	1999
On the algebraic approach to concurrent term rewriting F Gadducci BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 59, 412-413, 1996	49	1996
Reactive systems, barbed semantics, and the mobile ambients F Bonchi, F Gadducci, GV Monreale International Conference on Foundations of Software Science and …, 2009	48	2009
A behavioural congruence for web services F Bonchi, A Brogi, S Corfini, F Gadducci International Conference on Fundamentals of Software Engineering, 240-256, 2007	47	2007
Normal forms for algebras of connections R Bruni, F Gadducci, U Montanari Theoretical Computer Science 286 (2), 247-292, 2002	45	2002
AGILE: Software architecture for mobility L Andrade, P Baldan, H Baumeister, R Bruni, A Corradini, R De Nicola, ... International Workshop on Algebraic Development Techniques, 1-33, 2002	44	2002
Graph rewriting for the pi-calculus. F Gadducci Mathematical Structures in Computer Science 17 (3), 407-437, 2007	43	2007
Term Graph Rewriting for the π-Calculus F Gadducci Asian Symposium on Programming Languages and Systems, 37-54, 2003	43	2003
The tile model F Gadducci, U Montanari Università di Pisa, 1996	43	1996
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	41	2003
Rewriting modulo symmetric monoidal structure F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016	39	2016
A Concurrent Graph Semantics for Mobile Ambients F Gadducci, U Montanari Electronic Notes in Theoretical Computer Science 45, 88-105, 2001	38	2001
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic F Gadducci, U Montanari Theoretical Computer Science 285 (2), 319-358, 2002	37	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors