2026 Andrea Corradini: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	35	11655	11322	387	384	226	5578

Overview

Andrea Corradini is affiliated with the University of Pisa in Italy and has a research focus within the field of Computer Science. Their work predominantly covers subfields including Artificial Intelligence, Software, Computational Theory and Mathematics, Information Systems, and Mathematical Physics.

The scientist's research interests span various topics, notably:

Model-Driven Software Engineering Techniques
Service-Oriented Architecture and Web Services
Formal Methods in Verification
Semantic Web and Ontologies
Logic, programming, and type systems
Petri Nets in System Modeling
Business Process Modeling and Analysis

Andrea Corradini is an author of multiple papers, with recent publications including:

From Petri Nets to Graph Transformation Systems, 2024, Technische Universität Berlin - Universitätsbibliothek
Modeling a Service and Session Calculus with Hierarchical Graph Transformation, 2024, Technische Universität Berlin - Universitätsbibliothek
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets, 2024, Technische Universität Berlin - Universitätsbibliothek
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness, 2023, Applied Categorical Structures
Scalable machine learning approach to light induced order disorder phase transitions with ab initio accuracy, 2025, npj Computational Materials

The scientist has collaborated frequently with colleagues such as Fabio Gadducci, Paolo Baldan, Barbara König, Arend Rensink, and Ugo Montanari.

The venues where Andrea Corradini publishes frequently include:

Technische Universität Berlin - Universitätsbibliothek
arXiv (Cornell University)
npj Computational Materials
Applied Categorical Structures
Information and Computation

Additionally, Corradini has contributed to academic books with the publication of Graph Transformation by Springer Science+Business Media in 2022.

Best Publications

Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach

A. Corradini;U. Montanari;F. Rossi;H. Ehrig

746
Citations
Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach

H. Ehrig;R. Heckel;M. Korff;M. Löwe

432
Citations
Graph processes

A. Corradini;U. Montanari;F. Rossi

324
Citations
Dynamic time warping for off-line recognition of a small gesture vocabulary

A. Corradini

253
Citations
Mutual disambiguation of 3D multimodal interaction in augmented and virtual reality

Ed Kaiser;Alex Olwal;David McGee;Hrvoje Benko

248
Citations
Sesqui-pushout rewriting

Andrea Corradini;Tobias Heindel;Frank Hermann;Barbara König

165
Citations
Contextual Petri nets, asymmetric event structures, and processes

Paolo Baldan;Andrea Corradini;Ugo Montanari

162
Citations
A Static Analysis Technique for Graph Transformation Systems

Paolo Baldan;Andrea Corradini;Barbara König

122
Citations
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories

Andrea Corradini;Fabio Gadducci

112
Citations
A conceptual framework for adaptation

Roberto Bruni;Andrea Corradini;Fabio Gadducci;Alberto Lluch Lafuente

110
Citations
An algebraic semantics for structured transition systems and its application to logic programs

Andrea Corradini;Ugo Montanari

93
Citations
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach

Paolo Baldan;Andrea Corradini;Barbara König

86
Citations
Compositional semantics for open Petri nets based on deterministic processes

Paolo Baldan;Andrea Corradini;Hartmut Ehrig;Reiko Heckel

84
Citations
A framework for the verification of infinite-state graph transformation systems

Paolo Baldan;Andrea Corradini;Barbara König

77
Citations
The category of typed graph grammars and its adjunctions with categories of derivations

A. Corradini;H. Ehrig;M. Löwe;U. Montanari

76
Citations
Domain and event structure semantics for Petri nets with read and inhibitor arcs

P. Baldan;N. Busi;A. Corradini;G. M. Pinna

74
Citations
A 2-Categorical Presentation of Term Graph Rewriting

Andrea Corradini;Fabio Gadducci

73
Citations
Horizontal and Vertical Structuring of Typed Graph Transformation Systems

Reiko Heckel;Andrea Corradini;Hartmut Ehrig;Michael Löwe

72
Citations
Concurrent semantics of algebraic graph transformations

P. Baldan;A. Corradini;H. Ehrig;M. Loewe

72
Citations
Compositional SOS and beyond: a coalgebraic view of open systems

Andrea Corradini;Reiko Heckel;Ugo Montanari

59
Citations
Unfolding and Event Structure Semantics for Graph Grammars

Paolo Baldan;Andrea Corradini;Ugo Montanari

59
Citations

Frequent Co-Authors

Ugo Montanari University of Pisa

Reiko Heckel University of Leicester

Hartmut Ehrig Technical University of Berlin

Francesca Rossi IBM (United States)

Grzegorz Rozenberg Leiden University

Martin Wirsing Ludwig-Maximilians-Universität München

Hans-Jörg Kreowski University of Bremen

Paolo Ciancarini University of Bologna

Steven Feiner Columbia University

Stefania Gnesi Institute of Information Science and Technologies

External Links

Personal website of Andrea Corradini Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to diverse career opportunities, especially when combined with related online degrees. For those interested in bridging technology and environmental solutions, an environmental engineering online degree can complement computer science skills and lead to roles in sustainable innovation.

Mechanical engineering is another strong pathway. An online degree for mechanical engineering can equip students with knowledge in robotics, manufacturing systems, and automation—fields increasingly reliant on computational expertise.

If you’re interested in the theoretical foundation behind technology, a physics degree online supports careers in research, software modeling, or simulations, enhancing your scientific programming skills.

Finally, for those aiming at the intersection of technology and analytics, earning an affordable data science degree can prepare you for high-demand roles in artificial intelligence, business analytics, or data engineering.

Pairing a computer science background with these online degrees expands job prospects and enables specialization across various industries.