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
4441997
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
1832006
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
592017
Specification of mobile code systems using graph grammars
FL Dotti, L Ribeiro
International Conference on Formal Methods for Open Object-Based Distributed …, 2000
482000
Entendendo o pensamento computacional
L Ribeiro, L Foss, SAC Cavalheiro
arXiv preprint arXiv:1707.00338, 2017
462017
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
462015
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
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
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
372013
Unfolding semantics of graph transformation
P Baldan, A Corradini, U Montanari, L Ribeiro
Information and Computation 205 (5), 733-782, 2007
362007
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
312019
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
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
Diretrizes da sociedade brasileira de computaçao para o ensino de computaçao na educaçao básica
L Ribeiro, AN Castro Junior, AA Fröhlich, CAG Ferraz, CE Ferreira, ...
262019
Formal relationship between graph grammars and Petri nets
M Korff, L Ribeiro
International Workshop on Graph Grammars and Their Application to Computer …, 1994
261994
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20