Seguir
Leila Ribeiro
Leila Ribeiro
Professor of Computer Science, Universidade Federal do Rio Grande do Sul, Brazil
Dirección de correo verificada de inf.ufrgs.br
Título
Citado por
Citado por
Año
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
4401997
Algebraic high-level net transformation systems
J Padberg, H Ehrig, L Ribeiro
Mathematical Structures in Computer Science 5 (2), 217-256, 1995
1961995
Sesqui-pushout rewriting
A Corradini, T Heindel, F Hermann, B König
International Conference on Graph Transformation, 30-45, 2006
1782006
Parallel composition and unfolding semantics of graph grammars
L Ribeiro
781996
Algebraic high level nets: Petri nets revisited
H Ehrig, J Padberg, L Ribeiro
Workshop on the Specification of Abstract Data Types, 188-206, 1992
641992
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
562017
Specification of mobile code systems using graph grammars
FL Dotti, L Ribeiro
International Conference on Formal Methods for Open Object-Based Distributed …, 2000
482000
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
452003
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
432015
Entendendo o pensamento computacional
L Ribeiro, L Foss, SAC Cavalheiro
arXiv preprint arXiv:1707.00338, 2017
402017
Translating Java code to graph transformation systems
A Corradini, FL Dotti, L Foss, L Ribeiro
Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004
382004
Unfolding semantics of graph transformation
P Baldan, A Corradini, U Montanari, L Ribeiro
Information and Computation 205 (5), 733-782, 2007
362007
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
332013
Verification of graph grammars using a logical approach
SA da Costa, L Ribeiro
Science of Computer Programming 77 (4), 480-504, 2012
312012
Modal systems: Specification, refinement and realisation
FL Dotti, A Iliasov, L Ribeiro, A Romanovsky
International Conference on Formal Engineering Methods, 601-619, 2009
282009
Verifying object-based graph grammars
OM dos Santos, FL Dotti, L Ribeiro
Electronic Notes in Theoretical Computer Science 109, 125-136, 2004
282004
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
272019
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
272003
Formal relationship between graph grammars and Petri nets
M Korff, L Ribeiro
International Workshop on Graph Grammars and Their Application to Computer …, 1994
261994
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
252000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20