Fabio Gadducci

Citat de

	Toate	Din 2020
Referințe bibliografice	2932	648
h-index	28	11
i10-index	79	15

180

135

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202519 26 58 78 38 31 114 38 72 87 89 113 172 123 133 128 114 105 130 146 97 77 94 96 81 97 146 159 123 41

Acces public

Afișați-le pe toate

32 de articole

5 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Andrea CorradiniProfessor of Computer Science, University of PisaAdresă de e-mail confirmată pe di.unipi.it
Filippo BonchiCNRS ENS-LyonAdresă de e-mail confirmată pe ens-lyon.fr
Roberto BruniUniversity of PisaAdresă de e-mail confirmată pe di.unipi.it
Alberto Lluch LafuenteTechnical University of DenmarkAdresă de e-mail confirmată pe dtu.dk
Paolo BaldanProfessor of Computer Science, University of PadovaAdresă de e-mail confirmată pe math.unipd.it
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkAdresă de e-mail confirmată pe santannapisa.it
Pawel SobocinskiTallinn University of TechnologyAdresă de e-mail confirmată pe cs.ioc.ee
Fabio ZanasiProfessor of Computer Science, University College LondonAdresă de e-mail confirmată pe ucl.ac.uk
Aleks KissingerAssociate Professor, University of OxfordAdresă de e-mail confirmată pe cs.ox.ac.uk
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterAdresă de e-mail confirmată pe mcs.le.ac.uk
Marino MiculanUniversity of Udine, ItalyAdresă de e-mail confirmată pe uniud.it
Francesco SantiniDipartimento Matematica e Informatica, PerugiaAdresă de e-mail confirmată pe dmi.unipg.it
Stefano BistarelliFull professor of Computer Science at University of PerugiaAdresă de e-mail confirmată pe unipg.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikAdresă de e-mail confirmată pe uni-due.de
Vincenzo CianciaISTI-CNRAdresă de e-mail confirmată pe isti.cnr.it
Antonio BrogiUniversity of Pisa, ItalyAdresă de e-mail confirmată pe di.unipi.it
Hernán MelgrattiUniversidad de Buenos AiresAdresă de e-mail confirmată pe dc.uba.ar
Martin WirsingProfessor of Computer Science, LMU MunichAdresă de e-mail confirmată pe lmu.de
Maurice H. ter BeekISTI, CNRAdresă de e-mail confirmată pe isti.cnr.it
Javier LarrosaProfessor of Computer Science, Universitat Politecnica de CatalunyaAdresă de e-mail confirmată pe cs.upc.edu

Urmăriți

Fabio Gadducci

Professore di Informatica, Università di Pisa

Adresă de e-mail confirmată pe unipi.it - Pagina de pornire

formal methods programming languages semantics


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
The tile model F Gadducci, U Montanari Università di Pisa, 1996	215	1996
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	114	2012
Enhancing constraints manipulation in semiring-based formalisms S Bistarelli, F Gadducci ECAI 141, 63-67, 2006	97	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	71	2016
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	69	2006
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	57	2022
Reactive systems, barbed semantics, and the mobile ambients F Bonchi, F Gadducci, GV Monreale International Conference on Foundations of Software Science and …, 2009	53	2009
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	53	1999
Graph rewriting for the π-calculus F Gadducci Mathematical Structures in Computer Science 17 (3), 407-437, 2007	52	2007
Normal forms for algebras of connections R Bruni, F Gadducci, U Montanari Theoretical Computer Science 286 (2), 247-292, 2002	50	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	49	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	47	2003
A behavioural congruence for web services F Bonchi, A Brogi, S Corfini, F Gadducci International Symposium on Fundamentals of Software Engineering …, 2007	46	2007
Term Graph Rewriting for the π-Calculus F Gadducci Asian Symposium on Programming Languages and Systems, 37-54, 2003	45	2003
A Concurrent Graph Semantics for Mobile Ambients F Gadducci, U Montanari Electronic Notes in Theoretical Computer Science 45, 88-105, 2001	40	2001
Relating two categorical models of term rewriting A Corradini, F Gadducci, U Montanari Rewriting Techniques and Applications: 6th International Conference, RTA-95 …, 1995	40	1995

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori