Fabio Gadducci - Google Scholar Citations

Cited by

	All	Since 2015
Citations	2190	501
h-index	26	12
i10-index	61	14

180

135

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202024 27 60 58 44 32 102 36 77 92 88 116 163 111 140 129 116 98 125 145 78 80 98 98 2

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 BaldanAssociate Professor of Computer Science, University of PadovaVerified email at math.unipd.it
Andrea VandinTenure-track Assistant Professor, Sant'Anna School for Advanced Studies, ItalyVerified email at santannapisa.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Stefano BistarelliUniversity of PerugiaVerified email at dmi.unipg.it
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
Marino MiculanUniversity of Udine, ItalyVerified email at uniud.it
Pawel SobocinskiProfessor of Computer Science, Tallinn University of TechnologyVerified email at cs.ioc.ee
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Vincenzo CianciaISTI-CNRVerified email at isti.cnr.it
Javier LarrosaProfessor of Computer Science, Universitat Politecnica de CatalunyaVerified email at lsi.upc.edu
Leila RibeiroProfessor of Computer Science, Universidade Federal do Rio Grande do Sul, BrazilVerified email at inf.ufrgs.br
Mercè LlabrésUniversitat de les Illes BalearsVerified email at uib.es
Tobias HeindelTU BerlinVerified email at tu-berlin.de
Fernando DottiProfessor of Computer Science at PUCRS BrazilVerified email at pucrs.br

Fabio Gadducci

Professore di scienze informatiche, Università di Pisa

Verified email at unipi.it - Homepage

formal methods programming languages semantics


Title	Cited by	Year
The tile model. F Gadducci, U Montanari Proof, Language, and Interaction, 133-166, 2000	160*	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	98	2012
An algebraic presentation of term graphs, via gs-monoidal categories A Corradini, F Gadducci Applied Categorical Structures 7 (4), 299-331, 1999	96	1999
Enhancing constraints manipulation in semiring-based formalisms S Bistarelli, F Gadducci ECAI 141, 63-67, 2006	70	2006
An inductive view of graph transformation F Gadducci, R Heckel International Workshop on Algebraic Development Techniques, 223-237, 1997	69	1997
A 2-categorical presentation of term graph rewriting A Corradini, F Gadducci International Conference on Category Theory and Computer Science, 87-105, 1997	63	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	62	2006
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
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
On the algebraic approach to concurrent term rewriting F Gadducci BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 59, 412-413, 1996	48	1996
Normal forms for algebras of connections R Bruni, F Gadducci, U Montanari Theoretical Computer Science 286 (2), 247-292, 2002	44	2002
Graph rewriting for the π-calculus F Gadducci Mathematical Structures in Computer Science 17 (3), 407-437, 2007	41	2007
A behavioural congruence for web services F Bonchi, A Brogi, S Corfini, F Gadducci International Conference on Fundamentals of Software Engineering, 240-256, 2007	41	2007
The tile model F Gadducci, U Montanari Università di Pisa, 1996	40	1996
Term Graph Rewriting for the π-Calculus F Gadducci Asian Symposium on Programming Languages and Systems, 37-54, 2003	39	2003
A Concurrent Graph Semantics for Mobile Ambients F Gadducci, U Montanari Electronic Notes in Theoretical Computer Science 45, 88-105, 2001	39	2001
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	36	2003
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	36	2002
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic F Gadducci, U Montanari Theoretical Computer Science 285 (2), 319-358, 2002	36	2002
Relating two categorical models of term rewriting A Corradini, F Gadducci, U Montanari International Conference on Rewriting Techniques and Applications, 225-240, 1995	36	1995

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