Seguir
Leila Ribeiro
Leila Ribeiro
Professor of Computer Science, Universidade Federal do Rio Grande do Sul, Brazil
Email confirmado em inf.ufrgs.br
Título
Citado por
Citado por
Ano
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
4301997
Algebraic high-level net transformation systems
J Padberg, H Ehrig, L Ribeiro
Mathematical Structures in Computer Science 5 (2), 217-256, 1995
1971995
Sesqui-pushout rewriting
A Corradini, T Heindel, F Hermann, B König
International Conference on Graph Transformation, 30-45, 2006
185*2006
Parallel composition and unfolding semantics of graph grammars
L Ribeiro
771996
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
502017
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
402015
Entendendo o pensamento computacional
L Ribeiro, L Foss, SAC Cavalheiro
arXiv preprint arXiv:1707.00338, 2017
392017
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
372007
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
302013
Verification of graph grammars using a logical approach
SA da Costa, L Ribeiro
Science of Computer Programming 77 (4), 480-504, 2012
292012
Verifying object-based graph grammars
OM dos Santos, FL Dotti, L Ribeiro
Electronic Notes in Theoretical Computer Science 109, 125-136, 2004
292004
Modal systems: Specification, refinement and realisation
FL Dotti, A Iliasov, L Ribeiro, A Romanovsky
International Conference on Formal Engineering Methods, 601-619, 2009
282009
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
282003
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
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
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20