Fabio Gadducci

Hivatkozott rá

	Összes	2019 óta
Hivatkozások	2857	690
h-index	28	13
i10-index	78	19

180

135

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202424 34 55 70 47 32 117 40 79 86 91 110 161 119 138 127 104 108 127 142 93 78 95 99 84 96 154 162 94

Nyilvános hozzáférés

Összes megtekintése

31 cikk

5 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Andrea CorradiniProfessor of Computer Science, University of PisaE-mail megerősítve itt: di.unipi.it
Filippo BonchiCNRS ENS-LyonE-mail megerősítve itt: ens-lyon.fr
Roberto BruniUniversity of PisaE-mail megerősítve itt: di.unipi.it
Alberto Lluch LafuenteTechnical University of DenmarkE-mail megerősítve itt: dtu.dk
Paolo BaldanProfessor of Computer Science, University of PadovaE-mail megerősítve itt: math.unipd.it
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkE-mail megerősítve itt: santannapisa.it
Pawel SobocinskiTallinn University of TechnologyE-mail megerősítve itt: cs.ioc.ee
Aleks KissingerAssociate Professor, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk
Fabio ZanasiProfessor of Computer ScienceE-mail megerősítve itt: ucl.ac.uk
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of LeicesterE-mail megerősítve itt: mcs.le.ac.uk
Marino MiculanUniversity of Udine, ItalyE-mail megerősítve itt: uniud.it
Francesco SantiniDipartimento Matematica e Informatica, PerugiaE-mail megerősítve itt: dmi.unipg.it
Stefano BistarelliFull professor of Computer Science at University of PerugiaE-mail megerősítve itt: unipg.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikE-mail megerősítve itt: uni-due.de
Vincenzo CianciaISTI-CNRE-mail megerősítve itt: isti.cnr.it
Antonio BrogiUniversity of Pisa, ItalyE-mail megerősítve itt: di.unipi.it
Hernán MelgrattiUniversidad de Buenos AiresE-mail megerősítve itt: dc.uba.ar
Martin WirsingProfessor of Computer Science, LMU MunichE-mail megerősítve itt: lmu.de
Maurice H. ter BeekISTI, CNRE-mail megerősítve itt: isti.cnr.it
Javier LarrosaProfessor of Computer Science, Universitat Politecnica de CatalunyaE-mail megerősítve itt: cs.upc.edu

Követés

Fabio Gadducci

Professore di Informatica, Università di Pisa

E-mail megerősítve itt: unipi.it - Kezdőlap

formal methods programming languages semantics


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
The tile model. F Gadducci, U Montanari Proof, Language, and Interaction, 133-166, 2000	179	2000
An algebraic presentation of term graphs, via gs-monoidal categories A Corradini, F Gadducci Applied Categorical Structures 7, 299-331, 1999	121	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	93	2006
An inductive view of graph transformation F Gadducci, R Heckel International Workshop on Algebraic Development Techniques, 223-237, 1997	89	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	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
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	68	2016
On the algebraic approach to concurrent term rewriting F Gadducci Bulletin-European Association for Theoretical Computer Science 59, 412-413, 1996	65	1996
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
Graph rewriting for the π-calculus F Gadducci Mathematical Structures in Computer Science 17 (3), 407-437, 2007	50	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	50	1999
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	49	2022
Normal forms for algebras of connections R Bruni, F Gadducci, U Montanari Theoretical Computer Science 286 (2), 247-292, 2002	48	2002
A behavioural congruence for web services F Bonchi, A Brogi, S Corfini, F Gadducci International Symposium on Fundamentals of Software Engineering …, 2007	47	2007
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	47	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	46	2003
Term Graph Rewriting for the π-Calculus F Gadducci Asian Symposium on Programming Languages and Systems, 37-54, 2003	42	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

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők