| 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 | 421 | 1997 |
| Algebraic high-level net transformation systems J Padberg, H Ehrig, L Ribeiro Mathematical Structures in Computer Science 5 (2), 217-256, 1995 | 194 | 1995 |
| Sesqui-pushout rewriting A Corradini, T Heindel, F Hermann, B König Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006 | 193* | 2006 |
| Parallel composition and unfolding semantics of graph grammars L Ribeiro | 79 | 1996 |
| Algebraic high level nets: Petri nets revisited H Ehrig, J Padberg, L Ribeiro Recent Trends in Data Type Specification: 9th Workshop on Specification of …, 2005 | 66 | 2005 |
| Specification of mobile code systems using graph grammars FL Dotti, L Ribeiro Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1 …, 2000 | 48 | 2000 |
| Verification of distributed object-based systems FL Dotti, L Foss, L Ribeiro, OM dos Santos Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 2003 | 46 | 2003 |
| Referenciais de formação em computação: Educação básica ALA Raabe, AF Zorzo, I Frango, L Ribeiro, LZ Granville, L Salgado, ... Sociedade Brasileira de Computação, 2017 | 44 | 2017 |
| AGREE–algebraic graph rewriting with controlled embedding A Corradini, D Duval, R Echahed, F Prost, L Ribeiro Graph Transformation: 8th International Conference, ICGT 2015, Held as Part …, 2015 | 39 | 2015 |
| Translating Java code to graph transformation systems A Corradini, FL Dotti, L Foss, L Ribeiro Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004 | 38 | 2004 |
| Unfolding semantics of graph transformation P Baldan, A Corradini, U Montanari, L Ribeiro Information and Computation 205 (5), 733-782, 2007 | 35 | 2007 |
| Verification of graph grammars using a logical approach SA da Costa, L Ribeiro Science of Computer Programming 77 (4), 480-504, 2012 | 29 | 2012 |
| Entendendo o pensamento computacional L Ribeiro, L Foss, SAC Cavalheiro arXiv preprint arXiv:1707.00338, 2017 | 28 | 2017 |
| Modal systems: Specification, refinement and realisation FL Dotti, A Iliasov, L Ribeiro, A Romanovsky Formal Methods and Software Engineering: 11th International Conference on …, 2009 | 28 | 2009 |
| Verifying object-based graph grammars OM dos Santos, FL Dotti, L Ribeiro Electronic Notes in Theoretical Computer Science 109, 125-136, 2004 | 28 | 2004 |
| 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 | 28 | 2003 |
| Computational thinking: Possibilities and challenges L Ribeiro, DJ Nunes, MK da Cruz, E de Souza Matos 2013 2nd Workshop-School on Theoretical Computer Science, 22-25, 2013 | 27 | 2013 |
| Formal relationship between graph grammars and Petri nets M Korff, L Ribeiro Graph Grammars and Their Application to Computer Science: 5th International …, 1996 | 27 | 1996 |
| 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 | 26 | 2000 |
| The PBPO graph transformation approach A Corradini, D Duval, R Echahed, F Prost, L Ribeiro Journal of Logical and Algebraic Methods in Programming 103, 213-231, 2019 | 23 | 2019 |
