Leila Ribeiro
Leila Ribeiro
Professor of Computer Science, Universidade Federal do Rio Grande do Sul, Brazil
Verified email at inf.ufrgs.br
TitleCited byYear
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
3821997
Algebraic high-level net transformation systems
J Padberg, H Ehrig, L Ribeiro
Mathematical Structures in Computer Science 5 (2), 217-256, 1995
1851995
Parallel composition and unfolding semantics of graph grammars
L Ribeiro
751996
Algebraic high level nets
H Ehrig, J Padberg, L Ribeiro
Recent Trends in Data Type Specification, 188-206, 1992
591992
Specification of mobile code systems using graph grammars
FL Dotti, L Ribeiro
International Conference on Formal Methods for Open Object-Based Distributed …, 2000
432000
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
392003
Translating Java code to graph transformation systems
A Corradini, FL Dotti, L Foss, L Ribeiro
International Conference on Graph Transformation, 383-398, 2004
342004
Well-formed model co-evolution with customizable model migration
F Mantz, G Taentzer, Y Lamo
Electronic Communications of the EASST, 2013
33*2013
Unfolding semantics of graph transformation
P Baldan, A Corradini, U Montanari, L Ribeiro
Information and Computation 205 (5), 733-782, 2007
292007
Modal systems: Specification, refinement and realisation
FL Dotti, A Iliasov, L Ribeiro, A Romanovsky
International Conference on Formal Engineering Methods, 601-619, 2009
272009
Verification of graph grammars using a logical approach
SA da Costa, L Ribeiro
Science of Computer Programming 77 (4), 480-504, 2012
252012
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
242003
Formal relationship between graph grammars and Petri nets
M Korff, L Ribeiro
International Workshop on Graph Grammars and Their Application to Computer …, 1994
241994
Verifying object-based graph grammars
OM dos Santos, FL Dotti, L Ribeiro
Electronic Notes in Theoretical Computer Science 109, 125-136, 2004
232004
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
222000
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
202015
Formal verification of object-oriented graph grammars specifications
APL Ferreira, L Foss, L Ribeiro
Electronic Notes in Theoretical Computer Science 175 (4), 101-114, 2007
182007
Modelling, property verification and behavioural equivalence of lactose operon regulation
MC Pinto, L Foss, JCM Mombach, L Ribeiro
Computers in Biology and Medicine 37 (2), 134-148, 2007
182007
Gene expression profile of NF-κB, Nrf2, glycolytic, and p53 pathways during the SH-SY5Y neuronal differentiation mediated by retinoic acid
MA de Bittencourt Pasquali, VM de Ramos, D Ricardo, O Albanus, ...
Molecular neurobiology 53 (1), 423-435, 2016
172016
Formal verification of graph grammars using mathematical induction
SA da Costa, L Ribeiro
Electronic Notes in Theoretical Computer Science 240, 43-60, 2009
162009
The system can't perform the operation now. Try again later.
Articles 1–20