|
|
|
Instituto de Computação
Departamento de Teoria da Computação
Produções / Participação em congressos e outros eventos
Participações em congressos especializados internacionais com trabalhos apresentados
Oralmente
1.
|
|
REBIHA, Rachid (Apresentador do artigo); International Colloquium on Theoretical Aspects of Computing (ICTAC), (01/09/2008 a 03/09/2008), Istabul, Turquia, Oral:"Endomorphism for Non-Trivial Non-Linear Loop Invariant Generation".
|
2.
|
|
COUTO, Marcelo Castilho (Outra); SOUZA, Cid Carvalho de (Outra); REZENDE, Pedro Jussieu de (Outra); Workshop on Experimental Algorithms (WEA), (30/05/2008 a 01/06/2008), Massachusetts, Estados Unidos da América, Oral:"Experimental Evaluation of an Exact Algorithm for the Orthogonal Art Gallery Problem".
|
3.
|
|
COUTO, Marcelo Castilho (Outra); SOUZA, Cid Carvalho de (Outra); REZENDE, Pedro Jussieu de (Outra); International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG), (23/06/2008 a 27/06/2008), Moscow, Rússia, Oral:"Strategies for Optimal Placement of Surveillance Cameras in Art Galleries".
|
4.
|
|
LUCCHESI, Cláudio Leonardo (Outra); LATIN'2008 - 8th Latin American Theoretical Informatics Symposium, (07/04/2008 a 09/04/2008), Rio de Janeiro, RJ, Brasil, Oral:"Invited Speaker LATIN 2008 - Pfaffian Bipartite Graphs and the Elusive Heawood Graph -".
|
|
|
|
