|
|
|
Instituto de Computação
Departamento de Teoria da Computação
Produções / Trabalhos Técnicos
Relatórios Técnicos
1.
|
|
MATRINGE, Nadir (Co-autor); MOURA, A.V. (Docente); REBIHA, Rachid (Co-autor); "Multivariate formal power series invariants generation for non linear hybrid systems. RT-IC/ 48-2009", Relatório de Pesquisa, 12/2009
|
2.
|
|
STOLFI, J. (Docente); "A Two-Phase Model for Wikipedia Growth. RT-IC/45-2009", Relatório de Pesquisa, 11/2009
|
3.
|
|
COUTO, Marcelo Castilho (Co-autor); REZENDE, P.J. de (Docente); SOUZA, C.C. de (Docente); "An exact algorithm for an art gallery problem. RT-IC/46-2009", Relatório de Pesquisa, 11/2009
|
4.
|
|
CHIQUITO, Izumi Oniki (Co-autor); CAMPOS, C. N. (Co-autor); "Conjuntos dominantes em grids. RT- IC/ 42-2009", Relatório de Pesquisa, 11/2009
|
5.
|
|
BONIFÁCIO, Adilson Luiz (Co-autor); MOURA, A.V. (Docente); "Generating test suites for timed systems with context variables. RT-IC/38-2009", Relatório de Pesquisa, 10/2009
|
6.
|
|
ZAMPIERI, Carlos Elias Arminio (Co-autor); STOLFI, J. (Docente); "Image retrieval by multi-scale interval distance estimation RT- IC/39 -2009", Relatório de Pesquisa, 10/2009
|
7.
|
|
GOMIDE, A. (Docente); PEREIRA, Danillo Roberto (Autor); STOLFI, J. (Docente); "Comparison of finite element bases for global illumination in image synthesis. RT- IC/29 -2009", Relatório de Pesquisa, 09/2009
|
8.
|
|
FEIJÃO, Pedro Cipriano (Autor); MEIDANIS, J. (Docente); "Genome rearrangement phylogeny using the single-cut-or-join operation. RT-IC/30-2009", Relatório de Pesquisa, 09/2009
|
9.
|
|
BONIFÁCIO, Adilson Luiz (Autor); MOURA, A.V. (Docente); "A new timed discretization method for automatic test generation for timed systems. RT-IC/31-2009", Relatório de Pesquisa, 09/2009
|
10.
|
|
OLIVEIRA, Igor Carboni (Autor); MOURA, A.V. (Docente); "A generalization of the time and space hierarchy theorems. RT- IC/33 -2009", Relatório de Pesquisa, 09/2009
|
11.
|
|
OLIVEIRA, Igor Carboni (Autor); MOURA, A.V. (Docente); CARNIELLI, Walter (Docente); "On an abstract theory of computational models and the converse of Rice's theorem. RT-IC/ 34 -2009", Relatório de Pesquisa, 09/2009
|
12.
|
|
MELLO, Célia Picinin de (Coordenador); "Edge-coloring of split graphs. RT- IC/35 -2009", Relatório de Pesquisa, 09/2009
|
13.
|
|
GOLDENSTEIN, Sulamita Klein (Autor); MELLO, Célia Picinin de (Docente); MORGANA, Maria Aurora (Autor); "Recognizing well covered graphs of families with special P4-components. RT-IC/ 27-2009", Relatório de Pesquisa, 08/2009
|
14.
|
|
MALHEIRO, Ana Paula Resende (Autor); STOLFI, J. (Docente); "Finding minimal bases in arbitrary spline spaces. RT-IC/21-2009", Relatório de Pesquisa, 06/2009
|
15.
|
|
PEDROTTI, Vagner (Autor); MELLO, Célia Picinin de (Docente); "Kr -packing of P4 -tidy graphs RT-IC/19 - 2009", Relatório de Pesquisa, 05/2009
|
16.
|
|
BONIFÁCIO, Adilson Luiz (Autor); MOURA, A.V. (Docente); SIMÃO, Adenilso da Silva (Autor); "Exponentially more succinct test suites. RT- IC/07- 2009", Relatório de Pesquisa, 03/2009
|
17.
|
|
CAVALCANTE, Victor Fernandes (Autor); SOUZA, C.C. de (Docente); "Hybrid Lagrangian algorithms for optimal vertex separators. RT- IC/09 - 2009", Relatório de Pesquisa, 03/2009
|
18.
|
|
MIRANDA, Alberto Alexandre Assis (Autor); LUCCHESI, Cláudio Leonardo (Docente); "Matching signatures and Pfaffian graphs. RT- IC/06-2009", Relatório de Pesquisa, 02/2009
|
19.
|
|
ALMEIDA, Sheila Morais de (Aluno Autor); MELLO, Célia Picinin de (Docente); MORGANA, Maria Aurora (Autor); "Using latin squares to color split graphs. RT-IC-01/2009", Relatório de Pesquisa, 01/2009
|
20.
|
|
CABRAL, Glauber Modolo (Autor); MOURA, A.V. (Docente); "Creating a HasCASL library. RT- IC/03-2009", Relatório de Pesquisa, 01/2009
|
|
|
|
