 | 2009 |
|---|
| 9 |       | Leila Ribeiro,
Luciana Foss,
Bruno Carreiro da Silva,
Daltro Nunes:
Model Transformation Using Graph Transactions.
ICSR 2009: 95-105 |
| 2008 |
|---|
| 8 | | Andrea Corradini,
Luciana Foss,
Leila Ribeiro:
Graph Transformation with Dependencies for the Specification of Interactive Systems.
WADT 2008: 102-118 |
| 7 | | 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 |
|---|
| 6 | | 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) |
| 2006 |
|---|
| 5 | | Paolo Baldan,
Andrea Corradini,
Luciana Foss,
Fabio Gadducci:
Graph Transactions as Processes.
ICGT 2006: 199-214 |
| 2005 |
|---|
| 4 | | Marcelo Cezar Pinto,
Luciana Foss,
José C. M. Mombach,
Leila Ribeiro:
Modeling and Property Verification of Lactose Operon Regulation.
BSB 2005: 95-106 |
| 2004 |
|---|
| 3 | | Andrea Corradini,
Fernando Luís Dotti,
Luciana Foss,
Leila Ribeiro:
Translating Java Code to Graph Transformation Systems.
ICGT 2004: 383-398 |
| 2 | | Luciana Foss,
Leila Ribeiro:
A Translation from Object-Based Hypergraph Grammars into pi-Calculus.
Electr. Notes Theor. Comput. Sci. 95: 245-267 (2004) |
| 2003 |
|---|
| 1 | | Fernando Luís Dotti,
Luciana Foss,
Leila Ribeiro,
Osmar Marchi dos Santos:
Verification of Distributed Object-Based Systems.
FMOODS 2003: 261-275 |
