 |
Leila Ribeiro |
| Research |
Main research areas:
|
Leila Ribeiro |
| Research |
Main research areas:
| Software engineering, Model-Driven Engineering |
| Semantics/Verification of concurrent systems |
| Graph grammars |
| Bioinformatics/DNA Computing |
| PLATUS |
| IQ-Mobile | Int. Cooperation CNPq/CNR | 2001 | 2004 |
| Laboratório de Bioinformática | FAPERGS | 2002 | 2003 |
| GRAPHIT | Int. Cooperation CNPq/DLR | 1994 | 2002 |
| DACHIA | FAPERGS | 2002 | 2003 |
| QaPFor | FAPERGS | 1997 | 1999 |