Paolo Baldan

1.5k total citations
54 papers, 373 citations indexed

About

Paolo Baldan is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Paolo Baldan has authored 54 papers receiving a total of 373 indexed citations (citations by other indexed papers that have themselves been cited), including 31 papers in Computational Theory and Mathematics, 29 papers in Artificial Intelligence and 14 papers in Software. Recurrent topics in Paolo Baldan's work include Formal Methods in Verification (21 papers), Logic, programming, and type systems (20 papers) and Model-Driven Software Engineering Techniques (14 papers). Paolo Baldan is often cited by papers focused on Formal Methods in Verification (21 papers), Logic, programming, and type systems (20 papers) and Model-Driven Software Engineering Techniques (14 papers). Paolo Baldan collaborates with scholars based in Italy, Germany and France. Paolo Baldan's co-authors include Andrea Corradini, Marta Simeoni, Nicoletta Cocco, Ugo Montanari, Luciano García‐Bañuelos, Abel Armas-Cervantes, Nadia Busi, G. Pinna, Marlon Dumas and Silvia Crafà and has published in prestigious journals such as SHILAP Revista de lepidopterología, Journal of the ACM and Theoretical Computer Science.

In The Last Decade

Paolo Baldan

44 papers receiving 344 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Paolo Baldan Italy	10	183	132	75	75	70	54	373
Fabio Gadducci Italy	12	230 1.3×	335 2.5×	16 0.2×	31 0.4×	60 0.9×	65	453
Andrea Vandin Italy	11	92 0.5×	116 0.9×	65 0.9×	45 0.6×	77 1.1×	39	280
Andrea Maggiolo–Schettini Italy	12	277 1.5×	161 1.2×	192 2.6×	29 0.4×	43 0.6×	74	507
Jetty Kleijn Netherlands	9	135 0.7×	73 0.6×	102 1.4×	48 0.6×	50 0.7×	56	264
Cosimo Laneve Italy	13	271 1.5×	298 2.3×	260 3.5×	22 0.3×	65 0.9×	59	624
Roberto Zunino Italy	11	48 0.3×	131 1.0×	115 1.5×	54 0.7×	120 1.7×	40	342
Angelo Troina Italy	9	122 0.7×	96 0.7×	132 1.8×	7 0.1×	23 0.3×	32	302
G. Rozenberg United States	12	403 2.2×	283 2.1×	187 2.5×	22 0.3×	11 0.2×	52	485
Chiara Bodei Italy	11	88 0.5×	205 1.6×	74 1.0×	19 0.3×	186 2.7×	59	418
Anna-Lena Lamprecht Germany	8	14 0.1×	84 0.6×	57 0.8×	21 0.3×	80 1.1×	35	217

Countries citing papers authored by Paolo Baldan

Since Specialization

Citations

This map shows the geographic impact of Paolo Baldan'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 Paolo Baldan with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Paolo Baldan more than expected).

Fields of papers citing papers by Paolo Baldan

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Paolo Baldan. 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 Paolo Baldan. The network helps show where Paolo Baldan may publish in the future.

Co-authorship network of co-authors of Paolo Baldan

This figure shows the co-authorship network connecting the top 25 collaborators of Paolo Baldan. A scholar is included among the top collaborators of Paolo Baldan 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 Paolo Baldan. Paolo Baldan 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

Baldan, Paolo, et al.. (2022). Behavioural logics for configuration structures. Theoretical Computer Science. 913. 94–112.

Baldan, Paolo, et al.. (2021). Intensional Kleene and Rice Theorems for Abstract Program Semantics. arXiv (Cornell University). 2 indexed citations

Baldan, Paolo, et al.. (2020). Exploratory study of the glassy landscape near jamming. Physical review. E. 101(5). 52605–52605. 9 indexed citations

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

Baldan, Paolo, et al.. (2018). Coalgebraic Behavioral Metrics. SHILAP Revista de lepidopterología. 5 indexed citations

Baldan, Paolo, Martina Bocci, Daniele Brigolin, et al.. (2018). Petri Nets for Modelling and Analysing Trophic Networks. ARCA (Università Ca' Foscari Venezia). 4 indexed citations

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

Baldan, Paolo & Daniele Gorla. (2014). CONCUR 2014 - concurrency theory : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 : proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)).

Armas-Cervantes, Abel, Paolo Baldan, Marlon Dumas, & Luciano García‐Bañuelos. (2014). BP-Diff: A Tool for Behavioral Comparison of Business Process Models.. Research Padua Archive (University of Padua). 1. 5 indexed citations

10.

Baldan, Paolo, et al.. (2012). Efficient unfolding of contextual Petri nets. Theoretical Computer Science. 449. 2–22. 13 indexed citations

11.

Baldan, Paolo, Andrea Bracciali, & Roberto Bruni. (2007). A semantic framework for open processes. Theoretical Computer Science. 389(3). 446–483. 6 indexed citations

12.

Baldan, Paolo, et al.. (2005). Graph Grammar Verification through Abstraction. ARCA (Università Ca' Foscari Venezia). 6 indexed citations

13.

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

14.

Baldan, Paolo. (2004). Domain and event structure semantics for Petri nets with read and inhibitor arcs*1. Theoretical Computer Science. 2 indexed citations

15.

Baldan, Paolo, et al.. (2004). A rewriting calculus for cyclic higher-order term graphs. HAL (Le Centre pour la Communication Scientifique Directe).

16.

Baldan, Paolo, Andrea Corradini, & Ugo Montanari. (2001). Contextual Petri Nets, Asymmetric Event Structures, and Processes. Information and Computation. 171(1). 1–49. 51 indexed citations

17.

Baldan, Paolo, Andrea Corradini, & Ugo Montanari. (1999). Unfolding of Double-Pushout Graph Grammars is a Coreflection. Lecture notes in computer science. 1764. 145–163. 4 indexed citations

18.

Baldan, Paolo, Giorgio Ghelli, & Alessandra Raffaetà. (1999). Basic Theory of F-Bounded Quantification. Information and Computation. 153(2). 173–237. 8 indexed citations

19.

Baldan, Paolo, et al.. (1997). Partializing Stone Spaces Using SFP Domains. Lecture notes in computer science. 1214. 478–489. 3 indexed citations

20.

Baldan, Paolo, et al.. (1995). Solutions of Functorial and Non-Functorial Metric Domain Equations. Electronic Notes in Theoretical Computer Science. 1. 1–12. 12 indexed citations

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