| 2008 |
|---|
| 36 | EE | Anamaria Martins Moreira,
Leila Ribeiro:
Preface.
Electr. Notes Theor. Comput. Sci. 195: 1 (2008) |
| 2007 |
|---|
| 35 | EE | Ana Paula Lüdtke Ferreira,
Luciana Foss,
Leila Ribeiro:
Formal Verification of Object-Oriented Graph Grammars Specifications.
Electr. Notes Theor. Comput. Sci. 175(4): 101-114 (2007) |
| 34 | EE | Odorico Machado Mendizabal,
Fernando Luís Dotti,
Leila Ribeiro:
Stochastic Object-Based Graph Grammars.
Electr. Notes Theor. Comput. Sci. 184: 151-170 (2007) |
| 33 | EE | Paolo Baldan,
Andrea Corradini,
Ugo Montanari,
Leila Ribeiro:
Unfolding semantics of graph transformation.
Inf. Comput. 205(5): 733-782 (2007) |
| 2006 |
|---|
| 32 | | Andrea Corradini,
Hartmut Ehrig,
Ugo Montanari,
Leila Ribeiro,
Grzegorz Rozenberg:
Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Springer 2006 |
| 31 | EE | Fernando Luís Dotti,
Leila Ribeiro,
Osmar Marchi dos Santos,
Fábio Pasini:
Verifying Object-based Graph Grammars.
Software and System Modeling 5(3): 289-311 (2006) |
| 2005 |
|---|
| 30 | EE | Marcelo Cezar Pinto,
Luciana Foss,
José C. M. Mombach,
Leila Ribeiro:
Modeling and Property Verification of Lactose Operon Regulation.
BSB 2005: 95-106 |
| 29 | EE | Leila Ribeiro,
Fernando Luís Dotti,
Roswitha Bardohl:
A Formal Framework for the Development of Concurrent Object-Based Systems.
Formal Methods in Software and Systems Modeling 2005: 385-401 |
| 28 | EE | Ana Paula Lüdtke Ferreira,
Leila Ribeiro:
A Graph-based Semantics For Object-oriented Programming Constructs.
Electr. Notes Theor. Comput. Sci. 122: 89-104 (2005) |
| 2004 |
|---|
| 27 | EE | Andrea Corradini,
Fernando Luís Dotti,
Luciana Foss,
Leila Ribeiro:
Translating Java Code to Graph Transformation Systems.
ICGT 2004: 383-398 |
| 26 | EE | Ana Paula Lüdtke Ferreira,
Leila Ribeiro:
Derivations in Object-Oriented Graph Grammars.
ICGT 2004: 416-430 |
| 25 | | Marcelo Cezar Pinto,
Leila Ribeiro:
Modeling Metabolic Pathways using Graph Grammars.
WOB 2004: 154-157 |
| 24 | EE | Osmar Marchi dos Santos,
Fernando Luís Dotti,
Leila Ribeiro:
Verifying Object-Based Graph Grammars.
Electr. Notes Theor. Comput. Sci. 109: 125-136 (2004) |
| 23 | EE | Luciana Foss,
Leila Ribeiro:
A Translation from Object-Based Hypergraph Grammars into pi-Calculus.
Electr. Notes Theor. Comput. Sci. 95: 245-267 (2004) |
| 2003 |
|---|
| 22 | EE | Fernando Luís Dotti,
Leila Ribeiro,
Osmar Marchi dos Santos:
Specification and Analysis of Fault Behaviours Using Graph Grammars.
AGTIVE 2003: 120-133 |
| 21 | EE | Ana Paula Lüdtke Ferreira,
Leila Ribeiro:
Towards Object-Oriented Graphs and Grammars.
FMOODS 2003: 16-31 |
| 20 | EE | Fernando Luís Dotti,
Luciana Foss,
Leila Ribeiro,
Osmar Marchi dos Santos:
Verification of Distributed Object-Based Systems.
FMOODS 2003: 261-275 |
| 2002 |
|---|
| 19 | EE | Ugo Montanari,
Leila Ribeiro:
Linear Ordered Graph Grammars and Their Algebraic Foundations.
ICGT 2002: 317-333 |
| 18 | | Aline Brum Loreto,
Leila Ribeiro,
Laira Vieira Toscani:
Decidability and Tractability of Problems in Object-Based Graph Grammars.
IFIP TCS 2002: 396-408 |
| 17 | EE | Paolo Baldan,
Andrea Corradini,
Ugo Montanari,
Leila Ribeiro:
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars.
WADT 2002: 165-184 |
| 16 | | Leonardo Vieira Cervo,
Leila Ribeiro:
DNA-Based Modelling of Parallel Algorithms.
WOB 2002: 16-23 |
| 2001 |
|---|
| 15 | EE | Roswitha Bardohl,
Leila Ribeiro:
Towards a Compositional Approach to Define Graphical Animation of Software Applications.
HCC 2001: 38- |
| 14 | EE | Andrea Corradini,
Fernando Luís Dotti,
Leila Ribeiro:
A Graph Transformation View on the Specification of Applications using Mobile Code.
Electr. Notes Theor. Comput. Sci. 50(3): (2001) |
| 2000 |
|---|
| 13 | EE | Bernardo Copstein,
Michael da Costa Móra,
Leila Ribeiro:
An Environment for Formal Modeling and Simulation of Control Systems.
Annual Simulation Symposium 2000: 74- |
| 12 | | Fernando Luís Dotti,
Leila Ribeiro:
Specification of Mobile Code Systems using Graph Grammars.
FMOODS 2000: 45-64 |
| 11 | | Fernando Luís Dotti,
Leila Ribeiro:
Code Mobility in Open Systems: A Formal Approach.
PDPTA 2000 |
| 10 | | Aline Brum Loreto,
Laira Vieira Toscani,
Leila Ribeiro:
Complexity analysis of reactive graph grammars.
RITA 7(1): 109-128 (2000) |
| 9 | | 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.
RITA 7(1): 7-48 (2000) |
| 1999 |
|---|
| 8 | EE | Leila Ribeiro,
Bernardo Copstein:
Compositional Construction of Simulation Models Using Graph Grammars.
AGTIVE 1999: 87-94 |
| 1998 |
|---|
| 7 | EE | Leila Ribeiro Korff:
Compatibility Between Syntax and Semantics of Graph Grammars.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 6 | EE | Leila Ribeiro Korff,
Martin Korff:
True Concurrency = Interleaving Concurrency + Weak Conflict.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 1997 |
|---|
| 5 | | 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.
Handbook of Graph Grammars 1997: 247-312 |
| 1995 |
|---|
| 4 | EE | Martin Korff,
Leila Ribeiro:
Concurrent derivations as single pushout graph grammar processes.
Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 3 | | Julia Padberg,
Hartmut Ehrig,
Leila Ribeiro:
Algebraic High-Level Net Transformation Systems.
Mathematical Structures in Computer Science 5(2): 217-256 (1995) |
| 1994 |
|---|
| 2 | | Martin Korff,
Leila Ribeiro:
Formal Relationship between Graph Grammars and Petri Nets.
TAGT 1994: 288-303 |
| 1992 |
|---|
| 1 | | Hartmut Ehrig,
Julia Padberg,
Leila Ribeiro:
Algebraic High-Level Nets: Petri Nets Revisited.
COMPASS/ADT 1992: 188-206 |
