עקוב אחר
Andrea Corradini
Andrea Corradini
Professor of Computer Science, University of Pisa
כתובת אימייל מאומתת בדומיין di.unipi.it - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
7641997
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‏
4481997
Graph processes‏
A Corradini, U Montanari, F Rossi‏
Fundamenta Informaticae 26 (3-4), 241-265, 1996‏
3221996
Dynamic time warping for off-line recognition of a small gesture vocabulary‏
A Corradini‏
Proceedings IEEE ICCV workshop on recognition, analysis, and tracking of …, 2001‏
2772001
Sesqui-pushout rewriting‏
A Corradini, T Heindel, F Hermann, B König‏
International Conference on Graph Transformation, 30-45, 2006‏
222*2006
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‏
1722021
Contextual Petri nets, asymmetric event structures, and processes‏
P Baldan, A Corradini, U Montanari‏
Information and Computation 171 (1), 1-49, 2001‏
1612001
An algebraic presentation of term graphs, via gs-monoidal categories‏
A Corradini, F Gadducci‏
Applied Categorical Structures 7, 299-331, 1999‏
1261999
A static analysis technique for graph transformation systems‏
P Baldan, A Corradini, B König‏
International Conference on Concurrency Theory, 381-395, 2001‏
1232001
A conceptual framework for adaptation‏
R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin‏
Fundamental Approaches to Software Engineering: 15th International …, 2012‏
1142012
Multimodal input fusion in human-computer interaction‏
E Shahbazian‏
Data fusion for situation monitoring, incident detection, alert and response …, 2005‏
952005
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‏
941992
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‏
922005
Verifying finite-state graph grammars: an unfolding-based approach‏
P Baldan, A Corradini, B König‏
International Conference on Concurrency Theory, 83-98, 2004‏
852004
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‏
812008
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‏
792004
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‏
791999
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‏
781996
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
A 2-categorical presentation of term graph rewriting‏
A Corradini, F Gadducci‏
Category Theory and Computer Science: 7th International Conference, CTCS'97 …, 1997‏
701997
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20