フォロー
Leila Ribeiro
Leila Ribeiro
Professor of Computer Science, Universidade Federal do Rio Grande do Sul, Brazil
確認したメール アドレス: inf.ufrgs.br
タイトル
引用先
引用先
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
4481997
Sesqui-pushout rewriting
A Corradini, T Heindel, F Hermann, B König
International Conference on Graph Transformation, 30-45, 2006
206*2006
Algebraic high-level net transformation systems
J Padberg, H Ehrig, L Ribeiro
Mathematical Structures in Computer Science 5 (2), 217-256, 1995
1971995
Parallel composition and unfolding semantics of graph grammars
L Ribeiro
801996
Algebraic high level nets: Petri nets revisited
H Ehrig, J Padberg, L Ribeiro
Workshop on the Specification of Abstract Data Types, 188-206, 1992
651992
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
582017
Specification of mobile code systems using graph grammars
FL Dotti, L Ribeiro
International Conference on Formal Methods for Open Object-Based Distributed …, 2000
492000
Entendendo o pensamento computacional
L Ribeiro, L Foss, SAC Cavalheiro
arXiv preprint arXiv:1707.00338, 2017
482017
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
472015
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
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
392013
Translating Java code to graph transformation systems
A Corradini, FL Dotti, L Foss, L Ribeiro
Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004
392004
Unfolding semantics of graph transformation
P Baldan, A Corradini, U Montanari, L Ribeiro
Information and Computation 205 (5), 733-782, 2007
372007
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
342019
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
6th International Conference on Formal Methods for Open Object-Based …, 2003
272003
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
262000
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, ...
252019
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20