Leila Ribeiro

Leila Ribeiro Korff

2008
38	EE	Leila Ribeiro, Fernando Luís Dotti: Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models 2008: 133-150
37	EE	Anamaria Martins Moreira, Leila Ribeiro: Preface. Electr. Notes Theor. Comput. Sci. 195: 1 (2008)
36	EE	Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro: Towards a Notion of Transaction in Graph Rewriting. Electr. Notes Theor. Comput. Sci. 211: 39-50 (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

Coauthor Index

1	Paolo Baldan	[17] [33] [36]
2	Roswitha Bardohl	[15] [29]
3	Leonardo Vieira Cervo	[16]
4	Bernardo Copstein	[8] [13]
5	Andrea Corradini	[5] [14] [17] [27] [32] [33] [36]
6	David Déharbe	[9]
7	Fernando Luís Dotti	[11] [12] [14] [20] [22] [24] [27] [29] [31] [34] [36] [38]
8	Hartmut Ehrig	[1] [3] [5] [32]
9	Ana Paula Lüdtke Ferreira	[21] [26] [28] [35]
10	Luciana Foss	[20] [23] [27] [30] [35] [36]
11	Fabio Gadducci	[36]
12	Reiko Heckel	[5]
13	Martin Korff	[2] [4] [5] [6]
14	Aline Brum Loreto	[10] [18]
15	Michael Löwe	[5]
16	Odorico Machado Mendizabal	[34]
17	José C. M. Mombach (José Carlos Merino Mombach)	[30]
18	Ugo Montanari	[17] [19] [32] [33]
19	Michael da Costa Móra	[13]
20	Anamaria Martins Moreira	[9] [37]
21	Julia Padberg	[1] [3]
22	Fábio Pasini	[31]
23	Marcelo Cezar Pinto	[25] [30]
24	Vanderlei Moraes Rodrigues	[9]
25	Grzegorz Rozenberg	[32]
26	Osmar Marchi dos Santos	[20] [22] [24] [31]
27	Laira Vieira Toscani	[10] [18]
28	Annika Wagner	[5]

Colors in the list of coauthors