 | 2010 |
| 5 |  | Lucio Mauro Duarte,
Luciana Foss,
Flávio Rech Wagner,
Tales Heimfarth:
Model Checking the Ant Colony Optimisation.
DIPES/BICC 2010: 221-232 |
| 2008 |
| 4 |  | Lucio Mauro Duarte,
Jeff Kramer,
Sebastián Uchitel:
Towards Faithful Model Extraction Based on Contexts.
FASE 2008: 101-115 |
| 2006 |
| 3 |  | Lucio Mauro Duarte,
Jeff Kramer,
Sebastián Uchitel:
Model Extraction Using Context Information.
MoDELS 2006: 380-394 |
| 2005 |
| 2 |  | Fernando Luís Dotti,
Lucio Mauro Duarte,
Luciana Foss,
Leila Ribeiro,
Daniela Russi,
Osmar Marchi dos Santos:
An Environment for the Development of Concurrent Object-Based Applications.
Electr. Notes Theor. Comput. Sci. 127(1): 3-13 (2005) |
| 2000 |
| 1 |  | Fernando Luís Dotti,
Lucio Mauro Duarte:
Monitoring Mobile Code.
PDPTA 2000 |