| Luciana Foss |
Transactional Graph Transformation Systems |
2008 |
PhD |
| Aline Brum Loreto |
Análise
da Complexidade Computacional de Problemas de Estatística
Descritiva com entradas intervalares
|
2006 |
PhD |
| Ana
Paula Luedtke Ferreira |
Object-oriented
graph grammars |
2005 |
PhD |
| Leonardo Michelon |
Gramática de Grafos Baseada em Objetos com Tempo |
2006 |
MSc |
| Luciana
Foss |
Uma
tradução de gramáticas de hipergrafos
baseadas em objetos para cálculo-pi |
2003 |
MSc |
| Cristiane
Regina Y.
Mashuda |
Computação
com DNA para a resolução de problemas de
otimização |
2004 |
MSc |
| Daniela
Tereza Ascencio
Russi |
Representação
e análise de gramáticas de grafos |
2003 |
MSc |
| Leonardo
Vieira Cervo |
Modelagem
e simulação de algoritmos paralelos baseados em
operações com DNA |
2002 |
MSc |
Eduardo
Pretz
|
Uma
metodologia de modelagem de sistemas computacionais baseada em
gramáticas de grafos |
2000 |
MsC |
| Marcelo
Cunha |
Relações
formais entre redes de Petri e gramáticas de grafos. |
1999 |
MsC |
