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
7311997
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
4211997
Graph processes
A Corradini, U Montanari, F Rossi
Fundamenta Informaticae 26 (3-4), 241-265, 1996
3171996
Sesqui-pushout rewriting
A Corradini, T Heindel, F Hermann, B König
Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006
191*2006
Contextual Petri nets, asymmetric event structures, and processes
P Baldan, A Corradini, U Montanari
Information and Computation 171 (1), 1-49, 2001
1532001
A static analysis technique for graph transformation systems
P Baldan, A Corradini, B König
CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001
1212001
An algebraic presentation of term graphs, via gs-monoidal categories
A Corradini, F Gadducci
Applied Categorical Structures 7, 299-331, 1999
1131999
A conceptual framework for adaptation
R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin
Fundamental Approaches to Software Engineering: 15th International …, 2012
1092012
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
911992
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
902005
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
882021
Verifying finite-state graph grammars: an unfolding-based approach
P Baldan, A Corradini, B König
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
832004
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
802005
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
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
731999
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
722008
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
702004
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
691996
A 2-categorical presentation of term graph rewriting
A Corradini, F Gadducci
Category Theory and Computer Science: 7th International Conference, CTCS'97 …, 1997
681997
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
572012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20