 |
Leila Ribeiro |
| Research | Publications | Students | CV |
Main research areas:
|
Leila Ribeiro |
| Research | Publications | Students | CV |
Main research areas:
| Semantics/Verification of concurrent systems |
| Graph grammars |
| Bioinformatics/DNA Computing |
| Software engineering, component-based design |
| VeriTeS - Verificação, Validação e Teste de Sistemas Computacionais |
| PLATUS |
| TGV |
Int. Cooperation CNPq/INRIA | 2012 |
2014 |
| BioSys - Modelagem e Análise Formal de Sistemas Biológicos | FAPERGS |
2011 |
2013 |
| IQ-Mobile | Int. Cooperation CNPq/CNRS | ||
| Laboratório de Bioinformática | FAPERGS | 2002 | 2003 |
| GRAPHIT | Int. Cooperation CNPq/DLR | 1994 | 2002 |
| DACHIA | FAPERGS | 2002 | 2003 |
| QaPFor | FAPERGS | 1997 | 1999 |