Leila Ribeiro Vis

Leila Ribeiro Korff

*	2009
41	EE	Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro Nunes: Model Transformation Using Graph Transactions. ICSR 2009: 95-105
40	EE	Simone André da Costa, Leila Ribeiro: Formal Verification of Graph Grammars using Mathematical Induction. Electr. Notes Theor. Comput. Sci. 240: 43-60 (2009)
	2008
39	EE	Leila Ribeiro, Fernando Luís Dotti: Linear-Ordered Graph Grammars: Applications to Distributed Systems Design. Concurrency, Graphs and Models 2008: 133-150
38	EE	Anamaria Martins Moreira, Leila Ribeiro: Preface. Electr. Notes Theor. Comput. Sci. 195: 1 (2008)
37	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
36	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)
35	EE	Odorico Machado Mendizabal, Fernando Luís Dotti, Leila Ribeiro: Stochastic Object-Based Graph Grammars. Electr. Notes Theor. Comput. Sci. 184: 151-170 (2007)
34	EE	Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Unfolding semantics of graph transformation. Inf. Comput. 205(5): 733-782 (2007)
	2006
33		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
32	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
31	EE	Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach, Leila Ribeiro: Modeling and Property Verification of Lactose Operon Regulation. BSB 2005: 95-106
30	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
29	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
28	EE	Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Leila Ribeiro: Translating Java Code to Graph Transformation Systems. ICGT 2004: 383-398
27	EE	Ana Paula Lüdtke Ferreira, Leila Ribeiro: Derivations in Object-Oriented Graph Grammars. ICGT 2004: 416-430
26		Marcelo Cezar Pinto, Leila Ribeiro: Modeling Metabolic Pathways using Graph Grammars. WOB 2004: 154-157
25	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)
24	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
23	EE	Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos: Specification and Analysis of Fault Behaviours Using Graph Grammars. AGTIVE 2003: 120-133
22	EE	Ana Paula Lüdtke Ferreira, Leila Ribeiro: Towards Object-Oriented Graphs and Grammars. FMOODS 2003: 16-31
21	EE	Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi dos Santos: Verification of Distributed Object-Based Systems. FMOODS 2003: 261-275
	2002
20	EE	Ugo Montanari, Leila Ribeiro: Linear Ordered Graph Grammars and Their Algebraic Foundations. ICGT 2002: 317-333
19		Aline Brum Loreto, Leila Ribeiro, Laira Vieira Toscani: Decidability and Tractability of Problems in Object-Based Graph Grammars. IFIP TCS 2002: 396-408
18	EE	Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro: Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. WADT 2002: 165-184
17		Leonardo Vieira Cervo, Leila Ribeiro: DNA-Based Modelling of Parallel Algorithms. WOB 2002: 16-23
	2001
16	EE	Roswitha Bardohl, Leila Ribeiro: Towards a Compositional Approach to Define Graphical Animation of Software Applications. HCC 2001: 38-
15	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
14	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-
13		Fernando Luís Dotti, Leila Ribeiro: Specification of Mobile Code Systems using Graph Grammars. FMOODS 2000: 45-64
12		Fernando Luís Dotti, Leila Ribeiro: Code Mobility in Open Systems: A Formal Approach. PDPTA 2000
11		Aline Brum Loreto, Laira Vieira Toscani, Leila Ribeiro: Complexity analysis of reactive graph grammars. RITA 7(1): 109-128 (2000)
10		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
9	EE	Leila Ribeiro, Bernardo Copstein: Compositional Construction of Simulation Models Using Graph Grammars. AGTIVE 1999: 87-94
8	EE	Leila Ribeiro: Parallel Composition of Graph Grammars. Applied Categorical Structures 7(4): 405-430 (1999)
	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	[18] [34] [37]
2	Roswitha Bardohl	[16] [30]
3	Leonardo Vieira Cervo	[17]
4	Bernardo Copstein	[9] [14]
5	Andrea Corradini	[5] [15] [18] [28] [33] [34] [37]
6	Simone André da Costa	[40]
7	David Déharbe	[10]
8	Fernando Luís Dotti	[12] [13] [15] [21] [23] [25] [28] [30] [32] [35] [37] [39]
9	Hartmut Ehrig	[1] [3] [5] [33]
10	Ana Paula Lüdtke Ferreira	[22] [27] [29] [36]
11	Luciana Foss	[21] [24] [28] [31] [36] [37] [41]
12	Fabio Gadducci	[37]
13	Reiko Heckel	[5]
14	Martin Korff	[2] [4] [5] [6]
15	Aline Brum Loreto	[11] [19]
16	Michael Löwe	[5]
17	Odorico Machado Mendizabal	[35]
18	José C. M. Mombach (José Carlos Merino Mombach)	[31]
19	Ugo Montanari	[18] [20] [33] [34]
20	Michael da Costa Móra	[14]
21	Anamaria Martins Moreira	[10] [38]
22	Daltro Nunes	[41]
23	Julia Padberg	[1] [3]
24	Fábio Pasini	[32]
25	Marcelo Cezar Pinto	[26] [31]
26	Vanderlei Moraes Rodrigues	[10]
27	Grzegorz Rozenberg	[33]
28	Osmar Marchi dos Santos	[21] [23] [25] [32]
29	Bruno Carreiro da Silva	[41]
30	Laira Vieira Toscani	[11] [19]
31	Annika Wagner	[5]

Colors in the list of coauthors