|
|
|
Instituto de Computação
Departamento de Teoria da Computação
Produções / Trabalhos Técnicos
Relatórios Técnicos
1.
|
|
FEIJÃO, Pedro Cipriano (Autor); MEIDANIS, João (Docente); "A survey on genome rearrangement problems and gene order based phylogenies. RT/IC-33/08", Relatório de Pesquisa, 12/2008
|
2.
|
|
MATRINGE, Nadir (Autor); MOURA, Arnaldo Vieira (Docente); REBIHA, Rachid (Autor); "Endomorphism for non-trivial semi-algebraic loop invariant generation. RT/IC-31/08", Relatório de Pesquisa, 11/2008
|
3.
|
|
MATRINGE, Nadir (Autor); MOURA, Arnaldo Vieira (Docente); REBIHA, Rachid (Autor); "Morphisms for non-trivial non-linear invariant generation for algebraic hybrid systems. RT/IC-32/08", Relatório de Pesquisa, 11/2008
|
4.
|
|
FREITAS, Lucas Batista (Autor); STOLFI, Jorge (Docente); "Differential formulas for simploidal Bernstein polynomials. RT-IC-18/08", Relatório de Pesquisa, 08/2008
|
5.
|
|
LUCCHESI, Cláudio Leonardo (Coordenador); "Generating simple bricks and braces. RT-IC-16/08", Relatório de Pesquisa, 07/2008
|
6.
|
|
FREITAS, Lucas Batista (Autor); STOLFI, Jorge (Docente); "Conversion formulas for simploidal Bernstein polynomials. RT-IC-12/08", Relatório de Pesquisa, 05/2008
|
7.
|
|
BONIFÁCIO, Adilson Luiz (Autor); MOURA, Arnaldo Vieira (Coordenador); SIMÃO, Adenilso da Silva (Autor); "A generalized model-based test generation method. RT-IC-14/08", Relatório de Pesquisa, 05/2008
|
8.
|
|
VOLPATO FILHO, NIlton Sérgio (Autor); MOURA, Arnaldo Vieira (Docente); "Bounds for quantum computational geometry problems. RT-IC-07/08", Relatório de Pesquisa, 04/2008
|
9.
|
|
OLIVEIRA, Igor Carboni (Autor); LEE, Orlando (Docente); "An algebraic approach to the graph reconstruction conjecture. RT-IC-06/08", Relatório de Pesquisa, 04/2008
|
10.
|
|
CÔGO, Patrícia Pilisson (Autor); MEIDANIS, João (Docente); "A rearrangement-based approach to compare whole genomes of Vibrionaceae strains. RT-IC-05/08", Relatório de Pesquisa, 02/2008
|
|
|
|
