Mascos Antonio Oliveira Junior |
Especificação
e Análise de Sistemas Através de Gramáticas de Grafos |
2016
|
MSc
|
Paulo Roberto Lumertz |
Metamodelo
de interfaces do usuário baseado em grafos
|
2014
|
MSc
|
Rodrigo Machado |
Higher-Order
Graph Rewriting Systems |
2012
|
PhD
|
Simone André da Costa
|
Relational
Approach of Graph Grammars |
2010
|
PhD
|
Ramon Medrado |
Formalização
de uma Linguagem Visual para Descrição de Sistemas
Biológicos |
2009
|
MSc
|
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 |