Fabio Gadducci

Citata da

	Tutte	Dal 2020
Citazioni	2933	651
Indice H	29	11
i10-index	79	16

180

135

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202524 34 55 73 44 32 117 40 79 87 90 111 162 123 132 128 104 108 127 142 93 78 95 99 84 96 156 162 132 20

Accesso pubblico

Visualizza tutto

31 articoli

5 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Andrea CorradiniProfessor of Computer Science, University of PisaEmail verificata su di.unipi.it
Filippo BonchiCNRS ENS-LyonEmail verificata su ens-lyon.fr
Roberto BruniUniversity of PisaEmail verificata su di.unipi.it
Alberto Lluch LafuenteTechnical University of DenmarkEmail verificata su dtu.dk
Paolo BaldanProfessor of Computer Science, University of PadovaEmail verificata su math.unipd.it
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkEmail verificata su santannapisa.it
Pawel SobocinskiTallinn University of TechnologyEmail verificata su cs.ioc.ee
Aleks KissingerAssociate Professor, University of OxfordEmail verificata su cs.ox.ac.uk
Fabio ZanasiProfessor of Computer Science, University College LondonEmail verificata su ucl.ac.uk
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterEmail verificata su mcs.le.ac.uk
Marino MiculanUniversity of Udine, ItalyEmail verificata su uniud.it
Francesco SantiniDipartimento Matematica e Informatica, PerugiaEmail verificata su dmi.unipg.it
Stefano BistarelliFull professor of Computer Science at University of PerugiaEmail verificata su unipg.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikEmail verificata su uni-due.de
Vincenzo CianciaISTI-CNREmail verificata su isti.cnr.it
Antonio BrogiUniversity of Pisa, ItalyEmail verificata su di.unipi.it
Hernán MelgrattiUniversidad de Buenos AiresEmail verificata su dc.uba.ar
Martin WirsingProfessor of Computer Science, LMU MunichEmail verificata su lmu.de
Maurice H. ter BeekISTI, CNREmail verificata su isti.cnr.it
Javier LarrosaProfessor of Computer Science, Universitat Politecnica de CatalunyaEmail verificata su cs.upc.edu

Segui

Fabio Gadducci

Professore di Informatica, Università di Pisa

Email verificata su unipi.it - Home page

formal methods programming languages semantics


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
The tile model. F Gadducci, U Montanari Proof, Language, and Interaction, 133-166, 2000	181	2000
An algebraic presentation of term graphs, via gs-monoidal categories A Corradini, F Gadducci Applied Categorical Structures 7, 299-331, 1999	126	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	111	2012
Enhancing constraints manipulation in semiring-based formalisms S Bistarelli, F Gadducci ECAI 141, 63-67, 2006	94	2006
An inductive view of graph transformation F Gadducci, R Heckel International Workshop on Algebraic Development Techniques, 223-237, 1997	90	1997
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	73	2016
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	71	2006
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
On the algebraic approach to concurrent term rewriting F Gadducci Bulletin-European Association for Theoretical Computer Science 59, 412-413, 1996	65	1996
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	56	2022
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	52	1999
Reactive systems, barbed semantics, and the mobile ambients F Bonchi, F Gadducci, GV Monreale International Conference on Foundations of Software Science and …, 2009	51	2009
Graph rewriting for the π-calculus F Gadducci Mathematical Structures in Computer Science 17 (3), 407-437, 2007	51	2007
Normal forms for algebras of connections R Bruni, F Gadducci, U Montanari Theoretical Computer Science 286 (2), 247-292, 2002	49	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	48	2003
A behavioural congruence for web services F Bonchi, A Brogi, S Corfini, F Gadducci International Symposium on Fundamentals of Software Engineering …, 2007	47	2007
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	47	2003
Term Graph Rewriting for the π-Calculus F Gadducci Asian Symposium on Programming Languages and Systems, 37-54, 2003	43	2003
A Concurrent Graph Semantics for Mobile Ambients F Gadducci, U Montanari Electronic Notes in Theoretical Computer Science 45, 88-105, 2001	40	2001
The tile model F Gadducci, U Montanari Università di Pisa, 1996	40	1996

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori