Folgen
Andrea Corradini
Andrea Corradini
Professor of Computer Science, University of Pisa
Bestätigte E-Mail-Adresse bei di.unipi.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Algebraic approaches to graph transformation–part i: Basic concepts and double pushout approach
A Corradini, U Montanari, F Rossi, H Ehrig, R Heckel, M Löwe
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997
7531997
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, L Ribeiro, A Wagner, A Corradini
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1 …, 1997
4331997
Graph processes
A Corradini, U Montanari, F Rossi
Fundamenta Informaticae 26 (3-4), 241-265, 1996
3221996
Sesqui-pushout rewriting
A Corradini, T Heindel, F Hermann, B König
International Conference on Graph Transformation, 30-45, 2006
212*2006
Contextual Petri nets, asymmetric event structures, and processes
P Baldan, A Corradini, U Montanari
Information and Computation 171 (1), 1-49, 2001
1572001
Global COVID-19 lockdown highlights humans as both threats and custodians of the environment
AE Bates, RB Primack, BS Biggar, TJ Bird, ME Clinton, RJ Command, ...
Biological conservation 263, 109175, 2021
1432021
A static analysis technique for graph transformation systems
P Baldan, A Corradini, B König
International Conference on Concurrency Theory, 381-395, 2001
1222001
An algebraic presentation of term graphs, via gs-monoidal categories
A Corradini, F Gadducci
Applied Categorical Structures 7, 299-331, 1999
1211999
A conceptual framework for adaptation
R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin
Fundamental Approaches to Software Engineering: 15th International …, 2012
1112012
An algebraic semantics for structured transition systems and its application to logic programs
A Corradini, U Montanari
Theoretical Computer Science 103 (1), 51-106, 1992
961992
Multimodal input fusion in human-computer interaction
A Corradini, M Mehta, NO Bernsen, J Martin, S Abrilian
NATO Science Series Sub Series III Computer and Systems Sciences 198, 223, 2005
932005
Compositional semantics for open Petri nets based on deterministic processes
P Baldan, A Corradini, H Ehrig, R Heckel
Mathematical Structures in Computer Science 15 (1), 1-35, 2005
902005
Verifying finite-state graph grammars: an unfolding-based approach
P Baldan, A Corradini, B König
International Conference on Concurrency Theory, 83-98, 2004
842004
A framework for the verification of infinite-state graph transformation systems
P Baldan, A Corradini, B König
Information and Computation 206 (7), 869-907, 2008
782008
Concurrent semantics of algebraic graph transformation
P Baldan, A Corradini, H Ehrig, M Löwe, U Montanari, F Rossi
Handbook of Graph Grammars and Computing by Graph Transformation 3, 107-187, 1999
781999
The category of typed graph grammars and its adjunctions with categories of derivations
A Corradini, H Ehrig, M Löwe, U Montanari, J Padberg
Graph Grammars and Their Application to Computer Science: 5th International …, 1996
771996
Domain and event structure semantics for Petri nets with read and inhibitor arcs
P Baldan, N Busi, A Corradini, GM Pinna
Theoretical Computer Science 323 (1-3), 129-189, 2004
752004
A 2-categorical presentation of term graph rewriting
A Corradini, F Gadducci
Category Theory and Computer Science: 7th International Conference, CTCS'97 …, 1997
711997
Horizontal and vertical structuring of typed graph transformation systems
R Heckel, A Corradini, H Ehrig, M Löwe
Mathematical Structures in Computer Science 6 (6), 613-648, 1996
711996
Efficient unfolding of contextual Petri nets
P Baldan, A Bruni, A Corradini, B König, C Rodríguez, S Schwoon
Theoretical Computer Science 449, 2-22, 2012
602012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20