Fabio Gadducci

1.9k total citations
65 papers, 453 citations indexed

About

Fabio Gadducci is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Fabio Gadducci has authored 65 papers receiving a total of 453 indexed citations (citations by other indexed papers that have themselves been cited), including 47 papers in Artificial Intelligence, 28 papers in Computational Theory and Mathematics and 14 papers in Software. Recurrent topics in Fabio Gadducci's work include Logic, programming, and type systems (41 papers), Formal Methods in Verification (20 papers) and Logic, Reasoning, and Knowledge (19 papers). Fabio Gadducci is often cited by papers focused on Logic, programming, and type systems (41 papers), Formal Methods in Verification (20 papers) and Logic, Reasoning, and Knowledge (19 papers). Fabio Gadducci collaborates with scholars based in Italy, United Kingdom and France. Fabio Gadducci's co-authors include Ugo Montanari, Andrea Corradini, Filippo Bonchi, Stefano Bistarelli, Roberto Bruni, Reiko Heckel, Marino Miculan, Mercè Llabrés, Antonio Brogi and Alberto Lluch Lafuente and has published in prestigious journals such as SHILAP Revista de lepidopterología, Expert Systems with Applications and Journal of the ACM.

In The Last Decade

Fabio Gadducci

56 papers receiving 423 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Fabio Gadducci Italy	12	335	230	109	82	60	65	453
R. D. Tennent Canada	12	656 2.0×	367 1.6×	146 1.3×	80 1.0×	92 1.5×	37	745
Ernst–Erich Doberkat Germany	9	200 0.6×	163 0.7×	55 0.5×	22 0.3×	43 0.7×	59	282
Paolo Baldan Italy	10	132 0.4×	183 0.8×	70 0.6×	65 0.8×	70 1.2×	54	373
Grant Malcolm United Kingdom	13	472 1.4×	366 1.6×	111 1.0×	101 1.2×	89 1.5×	29	595
Roberto Di Cosmo France	13	240 0.7×	144 0.6×	125 1.1×	48 0.6×	179 3.0×	41	412
Luı́s Caires Portugal	13	518 1.5×	344 1.5×	221 2.0×	39 0.5×	92 1.5×	34	603
Bard Bloom United States	12	615 1.8×	512 2.2×	79 0.7×	123 1.5×	83 1.4×	27	713
Hans Hüttel Denmark	10	240 0.7×	216 0.9×	108 1.0×	23 0.3×	55 0.9×	51	356
Thomas Wiben Jensen France	13	309 0.9×	170 0.7×	81 0.7×	66 0.8×	77 1.3×	48	386
Antoni Mazurkiewicz Poland	7	209 0.6×	329 1.4×	109 1.0×	30 0.4×	15 0.3×	18	412

Countries citing papers authored by Fabio Gadducci

Since Specialization

Citations

This map shows the geographic impact of Fabio Gadducci's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Fabio Gadducci with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Fabio Gadducci more than expected).

Fields of papers citing papers by Fabio Gadducci

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Fabio Gadducci. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Fabio Gadducci. The network helps show where Fabio Gadducci may publish in the future.

Co-authorship network of co-authors of Fabio Gadducci

This figure shows the co-authorship network connecting the top 25 collaborators of Fabio Gadducci. A scholar is included among the top collaborators of Fabio Gadducci based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Fabio Gadducci. Fabio Gadducci is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Gadducci, Fabio, et al.. (2025). Counterpart-based Quantified Temporal Logics. Journal of Logical and Algebraic Methods in Programming. 148. 101082–101082.

2.

Gadducci, Fabio, et al.. (2024). Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers. Proceedings of the ACM on Programming Languages. 8(POPL). 1269–1297. 2 indexed citations

3.

Baldan, Paolo, Roberto Bruni, Andrea Corradini, et al.. (2018). Event structures for Petri nets with persistence. SHILAP Revista de lepidopterología. 1 indexed citations

4.

Baldan, Paolo, Andrea Corradini, & Fabio Gadducci. (2017). Domains and event structures for fusions. arXiv (Cornell University). 1–12. 1 indexed citations

5.

Bruni, Roberto, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, & Andrea Vandin. (2013). Modelling and analyzing adaptive self-assembly strategies with Maude. Science of Computer Programming. 99. 75–94. 9 indexed citations

6.

Bruni, Roberto, Fabio Gadducci, & Alberto Lluch Lafuente. (2010). An Algebra of Hierarchical Graphs and its Application to Structural Encoding. SHILAP Revista de lepidopterología. 4 indexed citations

7.

Bonchi, Filippo, et al.. (2009). On the Use of Behavioural Equivalences for Web Services' Development. 89(4). 479–510. 4 indexed citations

8.

Bonchi, Filippo, Fabio Gadducci, & Barbara König. (2008). Synthesising CCS bisimulation using graph rewriting. Information and Computation. 207(1). 14–40. 5 indexed citations

9.

Bonchi, Filippo, et al.. (2007). A behavioural congruence for web services. 4767. 240–256. 13 indexed citations

10.

Bistarelli, Stefano & Fabio Gadducci. (2006). Enhancing constraints manipulation in semiring-based formalisms. CINECA IRIS Institutial research information system (University of Pisa). 141. 63–67. 27 indexed citations

11.

Boreale, Michele & Fabio Gadducci. (2006). Processes as formal power series: A coinductive approach to denotational semantics. Theoretical Computer Science. 360(1-3). 440–458. 5 indexed citations

12.

Baldan, Paolo, Andrea Corradini, & Fabio Gadducci. (2005). Specifying and verifying UML activity diagrams via graph transformation.

13.

Degano, Pierpaolo, Fabio Gadducci, & Corrado Priami. (2002). A causal semantics for CCS via rewriting logic. Theoretical Computer Science. 275(1-2). 259–282. 6 indexed citations

14.

Corradini, Andrea, Fabio Gadducci, & Wolfram Kahl. (2000). Term Graph Syntax for Multi-Algebras. UnipiEprints Open Archive (Università di Pisa). 1 indexed citations

15.

Gadducci, Fabio & Ugo Montanari. (2000). The tile model. MIT Press eBooks. 133–166. 54 indexed citations

16.

Bruni, Roberto, Fabio Gadducci, & Ugo Montanari. (1999). Normal Forms for Partitions and Relations.

17.

Corradini, Andrea & Fabio Gadducci. (1998). Functorial Semantics for Multi-algebras.

18.

Gadducci, Fabio & Reiko Heckel. (1998). An Inductive View of Graph Transformation. 4 indexed citations

19.

Corradini, Andrea & Fabio Gadducci. (1998). Rewriting on cyclic structures. UnipiEprints Open Archive (Università di Pisa). 2 indexed citations

20.

Gadducci, Fabio & Ugo Montanari. (1996). Enriched Categories as Models of Computation.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact