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 | 675 | 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 | 397 | 1997 |

Graph processes A Corradini, U Montanari, F Rossi Fundamenta Informaticae 26 (3, 4), 241-265, 1996 | 300 | 1996 |

Contextual Petri nets, asymmetric event structures, and processes P Baldan, A Corradini, U Montanari Information and Computation 171 (1), 1-49, 2001 | 141 | 2001 |

Sesqui-pushout rewriting A Corradini, T Heindel, F Hermann, B König International Conference on Graph Transformation, 30-45, 2006 | 121 | 2006 |

A static analysis technique for graph transformation systems P Baldan, A Corradini, B König International Conference on Concurrency Theory, 381-395, 2001 | 115 | 2001 |

A conceptual framework for adaptation R Bruni, A Corradini, F Gadducci, AL Lafuente, A Vandin International Conference on Fundamental Approaches to Software Engineering …, 2012 | 100 | 2012 |

An algebraic presentation of term graphs, via gs-monoidal categories A Corradini, F Gadducci Applied Categorical Structures 7 (4), 299-331, 1999 | 98 | 1999 |

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 | 90 | 1992 |

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 | 80 | 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 | 79 | 2004 |

Compositional semantics of open petri nets based on deterministic processes P Baldan, A Corradini, H Ehrig, R Heckel Università di Pisa, 2001 | 77 | 2001 |

The category of typed graph grammars and its adjunctions with categories of derivations A Corradini, H Ehrig, M Löwe, U Montanari, J Padberg International Workshop on Graph Grammars and Their Application to Computer …, 1994 | 70 | 1994 |

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 | 68 | 2008 |

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 | 68 | 1999 |

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 | 65 | 1996 |

A 2-categorical presentation of term graph rewriting A Corradini, F Gadducci International Conference on Category Theory and Computer Science, 87-105, 1997 | 64 | 1997 |

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 | 62 | 2004 |

Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming A Corradini, F Rossi Theoretical Computer Science 109 (1-2), 7-48, 1993 | 56 | 1993 |

Unfolding and event structure semantics for graph grammars P Baldan, A Corradini, U Montanari International Conference on Foundations of Software Science and Computation …, 1999 | 55 | 1999 |