|
|
|
Instituto de Computação
Departamento de Teoria da Computação
Produções / Participação em congressos e outros eventos
Participações em congressos especializados nacionais com trabalhos apresentados
Oralmente
1.
|
|
DANTAS, Simone (Autor); MELLO, Célia Picinin de (Autor); MENEGUETI, Luis F.A.B. (Autor); Workgraph 2006 - Workshop on graph theory and applications, (20/11/2006 a 21/11/2006), Porto Alegre, RS, Brasil, Oral:"Coloring the clique-hypergraphs of power of cycles".
|
2.
|
|
MOURA, Arnaldo Vieira (Docente); SBMF 2006 - Simpósio Brasileiro de Métodos Formais, (17/09/2006 a 23/09/2006), Natal, RN, Brasil, Oral:"Conformance Testing by Model Checking Time Extended Finite State Machines".
|
3.
|
|
DAHAB, Ricardo (Docente); SBSeg 2006 - VI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, (28/08/2006 a 01/09/2006), Santos, SP, Brasil, Oral:"SOS: Sensoriamento Overlay Seguro em Redes de Sensores Sem Fio Hierárquicas".
|
4.
|
|
DAHAB, Ricardo (Docente); SBSeg 2006 - VI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, (28/08/2006 a 01/09/2006), Santos, SP, Brasil, Oral:"Applying Strand Spaces to Certified Delivery Proofs".
|
5.
|
|
ANDRADE, Carlos Eduardo de (Autor); MIYAZAWA, Flávio Keidi (Autor); XAVIER, E. C. (Autor); XXXVIII SBPO - Simpósio Brasileiro de Pesquisa Operacional, (12/09/2006 a 15/09/2006), Goiania, GO, Brasil, Oral:"Um algoritmo exato para o Problema de Empacotamento Bidimensional em Faixas".
|
6.
|
|
ALMEIDA, Sheila Morais de (Autor); MELLO, Célia Picinin de (Autor); GOMIDE, Anamaria (Autor); XXIX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, (18/09/2006 a 21/09/2006), Campinas, SP, Brasil, Oral:"On the representation of PI-graph".
|
7.
|
|
MOURA, Arnaldo Vieira (Autor); SILVA, T. S. A. (Autor); XXXVIII SBPO - Simpósio Brasileiro de Pesquisa Operacional, (12/09/2006 a 15/09/2006), Goiania, GO, Brasil, Oral:"Escalonamento Integrado para o Transporte Coletivo Utilizando GRASP, Path-relinking e Paralelismo".
|
8.
|
|
MOURA, Arnaldo Vieira (Autor); BONIFÁCIO, Adilson L. (Autor); SIMÕES, Adenilso (Autor); MALDONADO, Jose Carlos (Autor); SBMF 2006 - Simpósio Brasileiro de Métodos Formais, (17/09/2006 a 23/09/2006), Natal, RN, Brasil, Oral:"Conformance Testing Using Timed Extended Finite State Machines and Model Checking".
|
9.
|
|
OLIVEIRA, L. B. (Autor); LOUREIRO, Antonio Alfredo Ferreira (Autor); DAHAB, Ricardo (Autor); CHI, Wong (Autor); SBSeg 2006 - VI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, (28/08/2006 a 01/09/2006), Santos, SP, Brasil, Oral:"SOS: Sensoriamento Overlay Seguro".
|
10.
|
|
PIVA, Fabio Rogério (Autor); DEVEGILI, Augusto Jun (Autor); DAHAB, Ricardo (Autor); MONTEIRO, José Roberto M. (Autor); SBSeg 2006 - VI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, (28/08/2006 a 01/09/2006), Santos, SP, Brasil, Oral:"Applying Strand Spaces to Certified Delivery Proofs".
|
|
|
|
