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 | 382 | 1997 |

Algebraic high-level net transformation systems J Padberg, H Ehrig, L Ribeiro Mathematical Structures in Computer Science 5 (2), 217-256, 1995 | 185 | 1995 |

Parallel composition and unfolding semantics of graph grammars L Ribeiro | 75 | 1996 |

Algebraic high level nets H Ehrig, J Padberg, L Ribeiro Recent Trends in Data Type Specification, 188-206, 1992 | 59 | 1992 |

Specification of mobile code systems using graph grammars FL Dotti, L Ribeiro International Conference on Formal Methods for Open Object-Based Distributed …, 2000 | 43 | 2000 |

Verification of distributed object-based systems FL Dotti, L Foss, L Ribeiro, OM dos Santos International Conference on Formal Methods for Open Object-Based Distributed …, 2003 | 39 | 2003 |

Translating Java code to graph transformation systems A Corradini, FL Dotti, L Foss, L Ribeiro International Conference on Graph Transformation, 383-398, 2004 | 34 | 2004 |

Well-formed model co-evolution with customizable model migration F Mantz, G Taentzer, Y Lamo Electronic Communications of the EASST, 2013 | 33* | 2013 |

Unfolding semantics of graph transformation P Baldan, A Corradini, U Montanari, L Ribeiro Information and Computation 205 (5), 733-782, 2007 | 29 | 2007 |

Modal systems: Specification, refinement and realisation FL Dotti, A Iliasov, L Ribeiro, A Romanovsky International Conference on Formal Engineering Methods, 601-619, 2009 | 27 | 2009 |

Verification of graph grammars using a logical approach SA da Costa, L Ribeiro Science of Computer Programming 77 (4), 480-504, 2012 | 25 | 2012 |

Verification of object-based distributed systems FL Dotti, L Foss, L Ribeiro, OM Santos Proc. 6th International Conference on Formal Methods for Open Object-based …, 2003 | 24 | 2003 |

Formal relationship between graph grammars and Petri nets M Korff, L Ribeiro International Workshop on Graph Grammars and Their Application to Computer …, 1994 | 24 | 1994 |

Verifying object-based graph grammars OM dos Santos, FL Dotti, L Ribeiro Electronic Notes in Theoretical Computer Science 109, 125-136, 2004 | 23 | 2004 |

An environment for formal modeling and simulation of control systems B Copstein, M da Costa Móra, L Ribeiro Proceedings 33rd Annual Simulation Symposium (SS 2000), 74-79, 2000 | 22 | 2000 |

AGREE–algebraic graph rewriting with controlled embedding A Corradini, D Duval, R Echahed, F Prost, L Ribeiro International Conference on Graph Transformation, 35-51, 2015 | 20 | 2015 |

Formal verification of object-oriented graph grammars specifications APL Ferreira, L Foss, L Ribeiro Electronic Notes in Theoretical Computer Science 175 (4), 101-114, 2007 | 18 | 2007 |

Modelling, property verification and behavioural equivalence of lactose operon regulation MC Pinto, L Foss, JCM Mombach, L Ribeiro Computers in Biology and Medicine 37 (2), 134-148, 2007 | 18 | 2007 |

Gene expression profile of NF-κB, Nrf2, glycolytic, and p53 pathways during the SH-SY5Y neuronal differentiation mediated by retinoic acid MA de Bittencourt Pasquali, VM de Ramos, D Ricardo, O Albanus, ... Molecular neurobiology 53 (1), 423-435, 2016 | 17 | 2016 |

Formal verification of graph grammars using mathematical induction SA da Costa, L Ribeiro Electronic Notes in Theoretical Computer Science 240, 43-60, 2009 | 16 | 2009 |