Fabio Gadducci 个人学术档案

引用次数

	总计	2019 年至今
引用	2815	650
h 指数	28	13
i10 指数	77	16

180

135

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202424 33 58 73 44 29 114 38 80 86 91 112 160 120 138 130 104 109 127 143 93 77 94 99 83 98 151 172 46

开放获取的出版物数量

查看全部

32 篇文章

5 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Andrea CorradiniProfessor of Computer Science, University of Pisa在 di.unipi.it 的电子邮件经过验证
Filippo BonchiCNRS ENS-Lyon在 ens-lyon.fr 的电子邮件经过验证
Roberto BruniUniversity of Pisa在 di.unipi.it 的电子邮件经过验证
Alberto Lluch LafuenteTechnical University of Denmark在 dtu.dk 的电子邮件经过验证
Paolo BaldanProfessor of Computer Science, University of Padova在 math.unipd.it 的电子邮件经过验证
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of Denmark在 santannapisa.it 的电子邮件经过验证
Pawel SobocinskiTallinn University of Technology在 cs.ioc.ee 的电子邮件经过验证
Aleks KissingerAssociate Professor, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
Fabio ZanasiProfessor of Computer Science在 ucl.ac.uk 的电子邮件经过验证
Reiko HeckelProfessor of Software Engineering, Dept. of Computer Science, University of Leicester在 mcs.le.ac.uk 的电子邮件经过验证
Marino MiculanUniversity of Udine, Italy在 uniud.it 的电子邮件经过验证
Francesco SantiniDipartimento Matematica e Informatica, Perugia在 dmi.unipg.it 的电子邮件经过验证
Stefano BistarelliFull professor of Computer Science at University of Perugia在 unipg.it 的电子邮件经过验证
Barbara KönigUniversität Duisburg-Essen, Theoretische Informatik在 uni-due.de 的电子邮件经过验证
Vincenzo CianciaISTI-CNR在 isti.cnr.it 的电子邮件经过验证
Antonio BrogiUniversity of Pisa, Italy在 di.unipi.it 的电子邮件经过验证
Hernán MelgrattiUniversidad de Buenos Aires在 dc.uba.ar 的电子邮件经过验证
Martin WirsingProfessor of Computer Science, LMU Munich在 lmu.de 的电子邮件经过验证
Maurice H. ter BeekISTI, CNR在 isti.cnr.it 的电子邮件经过验证
Javier LarrosaProfessor of Computer Science, Universitat Politecnica de Catalunya在 cs.upc.edu 的电子邮件经过验证

关注

Fabio Gadducci

Professore di Informatica, Università di Pisa

在 unipi.it 的电子邮件经过验证 - 首页

formal methods programming languages semantics


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
The tile model. F Gadducci, U Montanari Proof, Language, and Interaction, 133-166, 2000	150	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	91	2006
An inductive view of graph transformation F Gadducci, R Heckel International Workshop on Algebraic Development Techniques, 223-237, 1997	88	1997
The tile model F Gadducci, U Montanari Università di Pisa, 1996	72	1996
A 2-categorical presentation of term graph rewriting A Corradini, F Gadducci Category Theory and Computer Science: 7th International Conference, CTCS'97 …, 1997	71	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	70	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	66	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	51	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	51	1999
Graph rewriting for the π-calculus F Gadducci Mathematical Structures in Computer Science 17 (3), 407-437, 2007	50	2007
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	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
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	45	2022
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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用