|
Search the dblp DataBase
Leila Ribeiro:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos
Specification and Analysis of Fault Behaviours Using Graph Grammars. [Citation Graph (0, 0)][DBLP] AGTIVE, 2003, pp:120-133 [Conf]
- Leila Ribeiro, Bernardo Copstein
Compositional Construction of Simulation Models Using Graph Grammars. [Citation Graph (0, 0)][DBLP] AGTIVE, 1999, pp:87-94 [Conf]
- Bernardo Copstein, Michael da Costa Móra, Leila Ribeiro
An Environment for Formal Modeling and Simulation of Control Systems. [Citation Graph (0, 0)][DBLP] Annual Simulation Symposium, 2000, pp:74-0 [Conf]
- Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl
A Formal Framework for the Development of Concurrent Object-Based Systems. [Citation Graph (0, 0)][DBLP] Formal Methods in Software and Systems Modeling, 2005, pp:385-401 [Conf]
- Hartmut Ehrig, Julia Padberg, Leila Ribeiro
Algebraic High-Level Nets: Petri Nets Revisited. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:188-206 [Conf]
- Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos
Verification of Distributed Object-Based Systems. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:261-275 [Conf]
- Fernando Luís Dotti, Leila Ribeiro
Specification of Mobile Code Systems using Graph Grammars. [Citation Graph (0, 0)][DBLP] FMOODS, 2000, pp:45-64 [Conf]
- Ana Paula Lüdtke Ferreira, Leila Ribeiro
Towards Object-Oriented Graphs and Grammars. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:16-31 [Conf]
- Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini
Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. [Citation Graph (0, 0)][DBLP] Handbook of Graph Grammars, 1997, pp:247-312 [Conf]
- Ana Paula Lüdtke Ferreira, Leila Ribeiro
Derivations in Object-Oriented Graph Grammars. [Citation Graph (0, 0)][DBLP] ICGT, 2004, pp:416-430 [Conf]
- Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro
Translating Java Code to Graph Transformation Systems. [Citation Graph (0, 0)][DBLP] ICGT, 2004, pp:383-398 [Conf]
- Ugo Montanari, Leila Ribeiro
Linear Ordered Graph Grammars and Their Algebraic Foundations. [Citation Graph (0, 0)][DBLP] ICGT, 2002, pp:317-333 [Conf]
- Aline Brum Loreto, Leila Ribeiro, Laira Vieira Toscani
Decidability and Tractability of Problems in Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP] IFIP TCS, 2002, pp:396-408 [Conf]
- Fernando Luís Dotti, Leila Ribeiro
Code Mobility in Open Systems: A Formal Approach. [Citation Graph (0, 0)][DBLP] PDPTA, 2000, pp:- [Conf]
- Martin Korff, Leila Ribeiro
Formal Relationship between Graph Grammars and Petri Nets. [Citation Graph (0, 0)][DBLP] TAGT, 1994, pp:288-303 [Conf]
- Roswitha Bardohl, Leila Ribeiro
Towards a Compositional Approach to Define Graphical Animation of Software Applications. [Citation Graph (0, 0)][DBLP] HCC, 2001, pp:38-0 [Conf]
- Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. [Citation Graph (0, 0)][DBLP] WADT, 2002, pp:165-184 [Conf]
- Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro
Modeling and Property Verification of Lactose Operon Regulation. [Citation Graph (0, 0)][DBLP] BSB, 2005, pp:95-106 [Conf]
- Marcelo Cezar Pinto, Leila Ribeiro
Modeling Metabolic Pathways using Graph Grammars. [Citation Graph (0, 0)][DBLP] WOB, 2004, pp:154-157 [Conf]
- Leonardo Vieira Cervo, Leila Ribeiro
DNA-Based Modelling of Parallel Algorithms. [Citation Graph (0, 0)][DBLP] WOB, 2002, pp:16-23 [Conf]
- Andrea Corradini, Fernando Luís Dotti, Leila Ribeiro
A Graph Transformation View on the Specification of Applications using Mobile Code. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:50, n:3, pp:- [Journal]
- Ana Paula Lüdtke Ferreira, Leila Ribeiro
A Graph-based Semantics For Object-oriented Programming Constructs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:122, n:, pp:89-104 [Journal]
- Luciana Foss, Leila Ribeiro
A Translation from Object-Based Hypergraph Grammars into pi-Calculus. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:245-267 [Journal]
- Martin Korff, Leila Ribeiro
Concurrent derivations as single pushout graph grammar processes. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
- Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro
Verifying Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:109, n:, pp:125-136 [Journal]
- Julia Padberg, Hartmut Ehrig, Leila Ribeiro
Algebraic High-Level Net Transformation Systems. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:217-256 [Journal]
- Aline Brum Loreto, Laira Vieira Toscani, Leila Ribeiro
Complexity analysis of reactive graph grammars. [Citation Graph (0, 0)][DBLP] RITA, 2000, v:7, n:1, pp:109-128 [Journal]
- David Déharbe, Anamaria Martins Moreira, Leila Ribeiro, Vanderlei Moraes Rodrigues
Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. [Citation Graph (0, 0)][DBLP] RITA, 2000, v:7, n:1, pp:7-48 [Journal]
- Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro
Formal Verification of Object-Oriented Graph Grammars Specifications. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:101-114 [Journal]
- Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro
Stochastic Object-Based Graph Grammars. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:184, n:, pp:151-170 [Journal]
- Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro
Unfolding semantics of graph transformation. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:5, pp:733-782 [Journal]
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. [Citation Graph (, )][DBLP]
Modal Systems: Specification, Refinement and Realisation. [Citation Graph (, )][DBLP]
Model Transformation Using Graph Transactions. [Citation Graph (, )][DBLP]
Graph Transformation with Dependencies for the Specification of Interactive Systems. [Citation Graph (, )][DBLP]
Parallel Composition of Graph Grammars. [Citation Graph (, )][DBLP]
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Towards a Notion of Transaction in Graph Rewriting. [Citation Graph (, )][DBLP]
Formal Verification of Graph Grammars using Mathematical Induction. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.451secs
|