| 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 | 760 | 1997 |
| 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 | 442 | 1997 |
| Graph processes A Corradini, U Montanari, F Rossi Fundamenta Informaticae 26 (3-4), 241-265, 1996 | 322 | 1996 |
| Sesqui-pushout rewriting A Corradini, T Heindel, F Hermann, B König International Conference on Graph Transformation, 30-45, 2006 | 206* | 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 | 165 | 2021 |
| Contextual Petri nets, asymmetric event structures, and processes P Baldan, A Corradini, U Montanari Information and Computation 171 (1), 1-49, 2001 | 158 | 2001 |
| An algebraic presentation of term graphs, via gs-monoidal categories A Corradini, F Gadducci Applied Categorical Structures 7, 299-331, 1999 | 125 | 1999 |
| A static analysis technique for graph transformation systems P Baldan, A Corradini, B König International Conference on Concurrency Theory, 381-395, 2001 | 123 | 2001 |
| A conceptual framework for adaptation R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin Fundamental Approaches to Software Engineering: 15th International …, 2012 | 111 | 2012 |
| 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 | 95 | 1992 |
| Multimodal input fusion in human-computer interaction E Shahbazian Data fusion for situation monitoring, incident detection, alert and response …, 2005 | 94 | 2005 |
| 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 | 92 | 2005 |
| Verifying finite-state graph grammars: an unfolding-based approach P Baldan, A Corradini, B König International Conference on Concurrency Theory, 83-98, 2004 | 84 | 2004 |
| 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 | 79 | 2008 |
| 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 | 79 | 2004 |
| 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 | 79 | 1999 |
| 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 | 78 | 1996 |
| 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 | 71 | 1996 |
| A 2-categorical presentation of term graph rewriting A Corradini, F Gadducci Category Theory and Computer Science: 7th International Conference, CTCS'97 …, 1997 | 70 | 1997 |
| 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 | 62 | 2012 |
Paolo BaldanProfessor of Computer Science, University of Padova在 math.unipd.it 的電子郵件地址已通過驗證