Fabio Gadducci

Cited by

	All	Since 2018
Citations	2747	689
h-index	28	13
i10-index	77	20

180

135

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202324 33 58 73 44 35 115 38 79 86 92 113 158 119 140 131 102 108 128 143 93 76 95 98 83 101 141 163

Public access

View all

31 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Andrea CorradiniProfessor of Computer Science, University of PisaVerified email at di.unipi.it
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Roberto BruniUniversity of PisaVerified email at di.unipi.it
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, Italy - DTU Technical University of DenmarkVerified email at santannapisa.it
Pawel SobocinskiTallinn University of TechnologyVerified email at cs.ioc.ee
Aleks KissingerAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Fabio ZanasiProfessor of Computer ScienceVerified email at ucl.ac.uk
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
Francesco SantiniDipartimento Matematica e Informatica, PerugiaVerified email at dmi.unipg.it
Marino MiculanUniversity of Udine, ItalyVerified email at uniud.it
Stefano BistarelliFull professor of Computer Science at University of PerugiaVerified email at unipg.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Vincenzo CianciaISTI-CNRVerified email at isti.cnr.it
Antonio BrogiUniversity of Pisa, ItalyVerified email at di.unipi.it
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Hernán MelgrattiUniversidad de Buenos AiresVerified email at dc.uba.ar
Maurice H. ter BeekISTI, 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	146	2000
An algebraic presentation of term graphs, via gs-monoidal categories A Corradini, F Gadducci Applied Categorical Structures 7, 299-331, 1999	117	1999
A conceptual framework for adaptation R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin Fundamental Approaches to Software Engineering: 15th International …, 2012	112	2012
Enhancing constraints manipulation in semiring-based formalisms S Bistarelli, F Gadducci ECAI 141, 63-67, 2006	89	2006
An inductive view of graph transformation F Gadducci, R Heckel International Workshop on Algebraic Development Techniques, 223-237, 1997	83	1997
The tile model F Gadducci, U Montanari Università di Pisa, 1996	71	1996
A 2-categorical presentation of term graph rewriting A Corradini, F Gadducci Category Theory and Computer Science: 7th International Conference, CTCS'97 …, 1997	70	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	68	2006
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	62	2016
On the algebraic approach to concurrent term rewriting F Gadducci BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 59, 412-413, 1996	62	1996
Graph rewriting for the π-calculus F Gadducci Mathematical Structures in Computer Science 17 (3), 407-437, 2007	52	2007
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	51	1999
Reactive systems, barbed semantics, and the mobile ambients F Bonchi, F Gadducci, GV Monreale International Conference on Foundations of Software Science and …, 2009	50	2009
A behavioural congruence for web services F Bonchi, A Brogi, S Corfini, F Gadducci International Symposium on Fundamentals of Software Engineering …, 2007	48	2007
Normal forms for algebras of connections R Bruni, F Gadducci, U Montanari Theoretical Computer Science 286 (2), 247-292, 2002	48	2002
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	46	2003
AGILE: Software architecture for mobility L Andrade, P Baldan, H Baumeister, R Bruni, A Corradini, R De Nicola, ... Recent Trends in Algebraic Development Techniques: 16th International …, 2003	43	2003
Term Graph Rewriting for the π-Calculus F Gadducci Asian Symposium on Programming Languages and Systems, 37-54, 2003	41	2003
String diagram rewrite theory I: rewriting with frobenius structure F Bonchi, F Gadducci, A Kissinger, P Sobocinski, F Zanasi Journal of the ACM (JACM) 69 (2), 1-58, 2022	40	2022
A Concurrent Graph Semantics for Mobile Ambients F Gadducci, U Montanari Electronic Notes in Theoretical Computer Science 45, 88-105, 2001	40	2001

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

Follow

Cited by

Co-authors