|
|
|
Instituto de Computação
Departamento de Teoria da Computação
Produções / Trabalhos Técnicos
Relatórios Técnicos
1.
|
|
HONGO, P. F. (Autor); CAMPOS, C. N. (Autor); "Dominating sets in planar graphs", Serviços, Campinas, SP, Brasil, 01/2013
|
2.
|
|
BONIFÁCIO, A. L. (autor); MOURA, A.V. (Coordenador); "Partial fsm models and completeness with blocking test cases. RT/IC-33/13", Relatório de Pesquisa, 11/2013
|
3.
|
|
REBIHA, R. (Autor); MOURA, A.V. (Coordenador); MATRINGE, N. (Autor); "Generating asymptotically non-terminant initial variable values for linear diagonalizable programs. RT/IC-20/13", Relatório de Pesquisa, 09/2013
|
4.
|
|
BONIFÁCIO, A. L. (autor); MOURA, A.V. (Coordenador); "Necessity and sufficiency for checking m-completeness of test suites. RT/IC-21/13", Relatório de Pesquisa, 09/2013
|
5.
|
|
OLIVEIRA, A. R. (Co-autor); CAMPOS, C. N. (Docente); "Conjuntos Dominantes e Produto Direto de Ciclos. RT-IC/14-2013", Relatório de Pesquisa, 06/2013
|
6.
|
|
GALVÃO, K. K. (Co-autor); CAMPOS, C. N. (Docente); "Fulkerson's Conjecture and Loupekine Snarks. RT-IC/12-2013", Relatório de Pesquisa, 05/2013
|
7.
|
|
GRILO, A. B. (Co-autor); MOURA, A.V. (Docente); "On finite automata with quantum and classical states. RT-IC/10-2013", Relatório de Pesquisa, 04/2013
|
8.
|
|
MIRA, C. V. G. (Co-autor); FEIJÃO, P. C. (Co-autor); MEIDANIS, J. (Docente); ESTRADA, TIAGO EGGER M D (Co-autor); JOLY, C. A. (Docente); "Tradução taxonômica: o caso do sinbiota. RT-IC/ 09-2013", Relatório de Pesquisa, 03/2013
|
9.
|
|
REBIHA, R. (Co-autor); MOURA, A.V. (Docente); MATRINGE, N. (Co-autor); "Generating invariants for non-linear loops by linear algebraic methods. RT-IC/04-2013", Relatório de Pesquisa, 02/2013
|
10.
|
|
REBIHA, R. (Co-autor); MOURA, A.V. (Docente); MATRINGE, N. (Co-autor); "Generating invariants for non-linear hybrid systems. RT-IC/05-2013", Relatório de Pesquisa, 02/2013
|
11.
|
|
REBIHA, R. (Co-autor); MOURA, A.V. (Docente); MATRINGE, N. (Co-autor); "Transcendental invariants generation for non-linear hybrid systems. RT-IC/06-2013", Relatório de Pesquisa, 02/2013
|
12.
|
|
REBIHA, R. (Co-autor); MATRINGE, N. (Co-autor); MOURA, A.V. (Docente); "Necessary and sufficient condition for termination of linear programs. RT-IC/07-2013", Relatório de Pesquisa, 02/2013
|
13.
|
|
REBIHA, R. (Co-autor); MATRINGE, N. (Co-autor); MOURA, A.V. (Docente); "A complete approach for termination analysis of linear programs. RT-IC/08-2013", Relatório de Pesquisa, 02/2013
|
|
|
|
