| |
DTC - Relatórios Técnicos
|
|
Instituto de Computação
Departamento de Teoria da Computação
Produções / Trabalhos Técnicos
Relatórios Técnicos
1.
|
|
MOURA, A.V. (Coordenador); BONIFÁCIO, A. L. (autor); "Generating test suites for input/output labeled transition systems", Relatório de Pesquisa, 11/2017
|
2.
|
|
LUIZ, A. G. (autor); CAMPOS, C. N. (Coordenador); RICHTER, R. B. (autor); "On $\alpha$-labellings of lobsters and trees with a perfect matching", Relatório de Pesquisa, 08/2017
|
3.
|
|
LUIZ, A. G. (autor); CAMPOS, C. N. (Coordenador); RICHTER, R. B. (autor); "On 0-rotatable caterpillars with diameter at least 7", Relatório de Pesquisa, 08/2017
|
4.
|
|
CAMPOS, C. N. (Coordenador); "Some families of 0-rotatable graceful caterpillars", Relatório de Pesquisa, 08/2017
|
5.
|
|
MEIDANIS, J. (Coordenador); BILLER, P. N. (autor); ZANETTI, J. P. P. (autor); "A Matrix-Based Theory for Genome Rearrangements", Relatório de Pesquisa, 08/2017
|
6.
|
|
MOURA, A.V. (Coordenador); BONIFÁCIO, A. L. (autor); "Generating complete test suites for reactive systems", Relatório de Pesquisa, 07/2017
|
7.
|
|
STOLFI, J. (Coordenador); REGIÂNE DE SOUZA, Gilcélia (autor); "Adaptive multiscale function approximation - II: General discrete bases", Relatório de Pesquisa, 01/2017
|
|
|
|
| |
|
