Oswaldo Vernet de Souza Pires

  • Endereço para acessar este CV: http://lattes.cnpq.br/3602228236232788
  • Última atualização do currículo em 12/12/2012


Possui graduação em Matemática Aplicada Modalidade Informática pela Universidade Federal do Rio de Janeiro (1986), mestrado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1990) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1997). Atualmente é pesquisador no Instituto Tércio Pacitti de Pesquisas e Aplicações Computacionais da UFRJ (NCE/UFRJ). (Texto informado pelo autor)


Identificação


Nome
Oswaldo Vernet de Souza Pires
Nome em citações bibliográficas
VERNET, Oswaldo

Endereço


Endereço Profissional
Universidade Federal do Rio de Janeiro, Núcleo de Computação Eletrônica, Área de Ensino e Pesquisa.
Ilha do Fundão
Cidade Universitária
20001-970 - Rio de Janeiro, RJ - Brasil - Caixa-postal: 2324
Telefone: (21) 25983158
URL da Homepage: http://equipe.nce.ufrj.br/oswaldo


Formação acadêmica/titulação


1993 - 1997
Doutorado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Maximalidade em Grafos de Fluxo Redutíveis, Ano de obtenção: 1997.
Orientador: Lilian Markenzon.
Palavras-chave: Teoria de Grafos; Complexidade de Algoritmos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
1987 - 1990
Mestrado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Coleções de Conjuntos Disjuntos: Operações e Algoritmos,Ano de Obtenção: 1990.
Orientador: Lilian Markenzon.
Palavras-chave: Complexidade de Algoritmos.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
1982 - 1986
Graduação em Matemática Aplicada Modalidade Informática.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: BASIX - Um Compilador Basic para UNIX.
Orientador: Antônio Anibal de Souza Teles.


Pós-doutorado


2007 - 2007
Pós-Doutorado.
Bielefeld University.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Geometria e Topologia.


Atuação Profissional



Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

1997 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Pesquisador, Carga horária: 20

Vínculo institucional

1985 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40

Atividades

05/2005 - Atual
Ensino, MSI - Segurança da Informação, Nível: Especialização

Disciplinas ministradas
Sistemas Operacionais
01/2008 - 07/2011
Ensino, Ensino de Matemática, Nível: Pós-Graduação

Disciplinas ministradas
Algebra Linear
Geometria I
4/1997 - 06/2009
Pesquisa e desenvolvimento , Núcleo de Computação Eletrônica, Área de Ensino e Pesquisa.

4/1997 - 12/2006
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
Laboratório em Sistemas Operacionais I
Laboratório em Sistemas Operacionais II
Sistemas Operacionais I

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

1997 - 2007
Vínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 20

Atividades

03/1997 - 07/2007
Ensino, Bacharelado Em Informática, Nível: Graduação

Disciplinas ministradas
Estruturas de Dados
Programação em UNIX
Sistemas Operacionais


Linhas de pesquisa


1.
Sistemas de Computação

Objetivo: Arquitetura de Sistemas Operacionais..
2.
Ensino de Matemática

Objetivo: Tradução comentada e anotada de obras de relevo histórico em matemática, visando à produção de textos digitais multilíngües disponíveis eletronicamente..


Projetos de pesquisa


2011 - Atual
AtenaME
Descrição: Geração e Correção Automática de Testes de Múltipla Escolha.
Situação: Em andamento; Natureza: Pesquisa.
2008 - 2010
LAB in a BOX
Descrição: O objetivo do projeto LAB in a BOX é definir e avaliar uma infra-estrutura móvel, flexível, de baixo custo e de fácil manutenção. O seu funcionamento é o de um mini-laboratório portátil que vai à sala de aula, ao encontro dos alunos, a qualquer tempo, em vez de fazer com que a turma se desloque em horários específicos para um laboratório de microcomputadores..
Situação: Concluído; Natureza: Pesquisa.
2006 - 2007
Geração de Grafos com Restrições Estruturais
Descrição: A pesquisa em geração aleatória de grafos desdobra-se, naturalmente, em duas vertentes. Primeiramente, o estudo teórico das famílias geradas pelas restrições estruturais deve ser empreendido no sentido de obterem-se propriedades ou caracterizações adicionais que facultem a geração eficiente. Estão também aí compreendidos os problemas combinatórios relativos à contagem, enumeração e determinação de assinaturas para os membros das famílias em estudo. Dentre as famílias de interesse, destacam-se os hipergrafos direcionados, os grafos cordais e algumas de duas sub-famílias, como os grafos periplanares maximais e as k-árvores, estas com reconhecidas aplicações em projetos de redes de computadores imunes a falhas e inteligência artificial. O desenvolvimento de ambientes computacionais que disponibilizem aos usuários ferramentas para geração automática e manual de grafos constitui a segunda vertente deste estudo. Tais programas devem ser capazes de produzir exemplares de elevadas dimensões em formatos compatíveis com os disponíveis nas bibliotecas de instâncias atualmente difundidas. Nestes ambientes, permitir ao usuário a visualização dos grafos gerados é primordial, o que enfatiza novamente a necessidade do estudo de algoritmos de traçado automático ..
Situação: Concluído; Natureza: Pesquisa.
1990 - 2007
KINEGRAPH
Descrição: Pesquisa sobre ambientes para desenvolvimento e implementação de algoritmos em grafos..
Situação: Concluído; Natureza: Pesquisa.


Projetos de desenvolvimento


1985 - 2009
TROPIX
Descrição: Desenvolvimento de um sistema operacional multiprocessado de filosofia UNIX..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Oswaldo Vernet de Souza Pires - Integrante / Pedro Salenbauch - Coordenador.
Número de produções C, T & A: 3 / Número de orientações: 3


Áreas de atuação


1.
Grande área: Ciências Humanas / Área: Educação / Subárea: Tópicos Específicos de Educação.
2.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Geometria e Topologia.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.


Idiomas


Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Alemão
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
MARKENZON, Lilian2009MARKENZON, Lilian ; PEREIRA, P. R. C. ; VERNET, Oswaldo . A Compact Code for k-Trees. Pesquisa Operacional (Impresso), v. 29, p. 493-502, 2009.

2.
MARKENZON, Lilian2008MARKENZON, Lilian ; VERNET, Oswaldo ; ARAÚJO, L. H. C. . Two Methods for the Generation of Chordal Graphs. Annals of Operations Research, v. 157, p. 47-60, 2008.

3.
PEREIRA, P. R. C.2008PEREIRA, P. R. C. ; MARKENZON, Lilian ; VERNET, Oswaldo . A Clique-Difference Encoding Scheme for Labelled k-Path Graphs. Discrete Applied Mathematics, v. 156, p. 3216-3222, 2008.

4.
VERNET, Oswaldo2005VERNET, Oswaldo; MARKENZON, Lilian ; PEREIRA, P. R. C. . The Reduced Prüfer Code for Rooted Labelled k-Trees. Electronic Notes in Discrete Mathematics, v. 22, p. 135-139, 2005.

5.
VERNET, Oswaldo2004 VERNET, Oswaldo; MARKENZON, Lilian . Solving Problems for Maximal Reducible Flowgraphs. Discrete Applied Mathematics, v. 136, p. 341-348, 2004.

6.
VERNET, Oswaldo2001VERNET, Oswaldo; MARKENZON, Lilian . Solving Problems for Maximal Reducible Flowgraphs. Electronic Notes in Discrete Mathematics, v. 8, p. 111-114, 2001.

7.
VERNET, Oswaldo1999 VERNET, Oswaldo; MARKENZON, Lilian . Characterizations and Properties of Maximal Reducible Flowgraphs. Congressus Numerantium, v. 139, p. 9-20, 1999.

8.
VERNET, Oswaldo1992VERNET, Oswaldo; MARKENZON, Lilian . Um Ambiente para Implementação de Algoritmos de Traçado Automático de Grafos. Investigación Operativa, v. 2, n.2, p. 147-158, 1992.

Livros publicados/organizados ou edições
1.
VERNET, Oswaldo. A Geometria Absoluta. 1. ed. São Carlos: SBMAC, 2011. v. 1. 122p .

2.
MARKENZON, Lilian ; VERNET, Oswaldo . Representações Computacionais de Grafos. 1. ed. São Carlos: SBMAC, 2006. v. 1. 78p .

Capítulos de livros publicados
1.
VERNET, Oswaldo; MARKENZON, Lilian . Codificação de Árvores: Conceitos e Algoritmos. In: ERMAC 2005. (Org.). Encontro Regional de Matemática Aplicada e Computacional. : , 2005, v. , p. -.

2.
VERNET, Oswaldo; MARKENZON, Lilian . Percursos em Grafos e suas Aplicações. In: Sociedade Brasileira de Pesquisa Operacional. (Org.). XXXIV Simpósio Brasileiro em Pesquisa Operacional. : , 2002, v. , p. -.

Trabalhos completos publicados em anais de congressos
1.
MARKENZON, Lilian ; PEREIRA, P. R. C. ; VERNET, Oswaldo . A Compact Code for k-Trees. In: Simpósio Brasileiro de Pesquisa Operacional, 2008, João Pessoa. Anais do XL Simpósio Brasileiro de Pesquisa Operacional, 2008, 2008.

2.
MARKENZON, Lilian ; VERNET, Oswaldo ; PEREIRA, P. R. C. . L,U-Bounded Priority Queues. In: Congreso Latino-Iberoamericano de Investigación Operativa, 2006, Montevideo. Anais Eletrônicos do XIII CLAIO, 2006. v. 123.

3.
MARKENZON, Lilian ; VERNET, Oswaldo . Weighted Perfect Elimination Orderings and the Generation of Chordal Graphs. In: GASCOM - Géneration Aléatoire de Structures Combinatoires, 2006, Dijon. Proceedings of the GASCOM 2006, 2006. p. 32-39.

4.
MARKENZON, Lilian ; VERNET, Oswaldo ; PEREIRA, P. R. C. . Determinação Eficiente de Vértices Simpliciais em Grafos Cordais. In: Simpósio Brasileiro de Pesquisa Operacional, 2006, Goiânia. Anais Eletrônicos do XXXVIII SBPO, 2006. p. 2254-2260.

5.
MARKENZON, Lilian ; VERNET, Oswaldo . A Clique-Tree Based Algorithm for Generating Chordal Graphs. In: International Network Optimization Conference, 2005, Lisboa. Proceedings of the INOC2005, 2005. v. 2. p. 332-339.

6.
PEREIRA, P. R. C. ; MARKENZON, Lilian ; VERNET, Oswaldo . A Compact Representation for Labelled k-Path Graphs. In: Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2005, Köln. Proceedings of the CTW2005, 2005. p. 68-71.

7.
PEREIRA, P. R. C. ; MARKENZON, Lilian ; VERNET, Oswaldo . Código Reduzido de Prüfer para k-Árvores Rotuladas. In: Simpósio Brasileiro de Pesquisa Operacional, 2005, Gramado. Anais Eletrônicos do XXXVII SBPO, 2005.

8.
VERNET, Oswaldo; MARKENZON, Lilian ; PACIORNIK, N. . Sobre a Geração Aleatória de Grafos Não-Orientados. In: Simpósio Brasileiro de Pesquisa Operacional, 2004, São João del Rei. Anais eletrônicos do XXXVI SBPO, 2004. v. TC121. p. 2251-2256.

9.
VERNET, Oswaldo; MARKENZON, Lilian ; ARAÚJO, L. H. C. . Generation of Chordal Graphs through Successive Edge Insertions. In: Congreso Latino-Iberoamericano de Investigación de Operaciones y Sistemas, 2004, Ciudad de la Habana. Anais eletrônicos do XII CLAIO, 2004. v. 84.

10.
VERNET, Oswaldo; MARKENZON, Lilian ; MANO, Fabio Rimola da Cruz . GeraGrafo: Um Ambiente para Geração Manual e Automática de Grafos. In: Simpósio Brasileiro de Pesquisa Operacional, 2003, Natal - RN. Anais eletrônicos do XXXV SBPO, 2003. v. TC019. p. 2429-2435.

11.
VERNET, Oswaldo; MARKENZON, Lilian . Percursos em Grafos e Suas Aplicações. In: Simpósio Brasileiro de Pesquisa Operacional, 2002, Rio de Janeiro, 2002.

12.
VERNET, Oswaldo; AZEVEDO, J. M. ; PIRMEZ, L. ; CARMO, L. F. R. C. . Quality of Services for Internet Multicast Application Traffic. In: International Conference on Communications in Computing, 2000, Las Vegas. Proceedings of the 1. CIC, 2000. p. 251-254.

13.
VERNET, Oswaldo; AZEVEDO, J. M. ; PIRMEZ, L. ; CARMO, L. F. R. C. . Uma Arquitetura para Tráfego Multicast no Modelo de Serviços Diferenciados. In: Simpósio Brasileiro de Redes de Computadores, 2000, Belo Horizonte. Anais do 18. SBRC, 2000. p. 407-410.

14.
VERNET, Oswaldo; MARKENZON, Lilian . Teaching Graphs with Real-Life Examples. In: International Conference on Engineering and Computer Education, 1999, Rio de Janeiro. Proceedings of the ICECE'99, 1999. p. 104-107.

15.
VERNET, Oswaldo; MARKENZON, Lilian . The Desing and Implementation of Graph Algorithms. In: Joint Conference on Information Sciences, 1998, Research Triangle Park. Proceedings of the IV JCIS'98, 1998. p. 138-141.

16.
VERNET, Oswaldo; MARKENZON, Lilian . Hamiltonian Problems for Reducible Flowgraphs. In: International Conference of the Chilean Computer Science Society, 1997, Valparaíso. Proceedings of the XVII International Conference of the Chilean Computer Science Society, 1997. p. 264-267.

17.
VERNET, Oswaldo; ABREU, N. M. M. ; RODRIGUES, R. M. N. D. . Reticulados de Permutações. In: Congresso Nacional de Matemática Aplicada e Computacional, 1995, Curitiba. Anais do CNMAC95, 1995. v. 1. p. 334-337.

18.
VERNET, Oswaldo; OLIVEIRA, P. R. . O Algoritmo Afim-Escala Aplicado à Fase 1 em Programação Linear. In: Simpósio Brasileiro de Pesquisa Operacional, 1994, Florianópolis. Anais do XXVI SBPO, 1994. p. 620-625.

19.
VERNET, Oswaldo; MARKENZON, Lilian ; NOWOSAD, M. G. . Traçado Automático de Árvores: Critérios Estéticos e Algoritmos. In: Simpósio Brasileiro de Pesquisa Operacional, 1994, Florianópolis. Anais do XXVI SBPO, 1994. p. 461-466.

20.
VERNET, Oswaldo; MARKENZON, Lilian . Um Ambiente para Animar Algoritmos em Grafos. In: Simpósio Brasileiro de Pesquisa Operacional, 1993, Campinas. Anais do XXV SBPO, 1993. p. 391-395.

21.
VERNET, Oswaldo; MARKENZON, Lilian . O Uso de um Ambiente no Ensino de Grafos. In: Congresso da Sociedade Brasileira de Computaçao, 1992, Rio de Janeiro. Anais do II EDUC, 1992. p. 69-78.

22.
VERNET, Oswaldo. Visão de um Sistema de Terminal Virtual. In: Simpósio Brasileiro de Redes de Computadores, 1989, Porto Alegre. Anais do 7. SBRC, 1989. p. 66-80.

23.
VERNET, Oswaldo; SALENBAUCH, P. . Um Montador para o Microprocessador MC-68020. In: Seminário de Microcomputadores, 1986, Rio de Janeiro. Anais do 6. SEMICRO, 1986. p. 23-33.

24.
VERNET, Oswaldo; BORGES, J. A. S. . Estruturas de Dados e Algoritmos de um Editor Hierárquico para Circuitos Integrados VLSI. In: Simpósio Brasileiro em Concepção de Circuitos Integrados, 1985, Porto Alegre. Anais do 2. SBCCI, 1985. p. 134-144.

Resumos publicados em anais de congressos
1.
VERNET, Oswaldo; MARKENZON, Lilian . A Computer System for Graph Algorithm Animation. In: Journées de l'Optimisation, 1993, Montréal. Journées de l'Optimisation 1993, 1993.

2.
VERNET, Oswaldo; MARKENZON, Lilian . Um Tipo Abstrato para a Estrutura de Dados Grafo. In: Congresso Nacional de Matemática Aplicada e Computacional, 1992, São Carlos. Anais do XV CNMAC, 1992. p. 39-39.

3.
VERNET, Oswaldo; MARKENZON, Lilian . Some Methods for the Generation of Reducible Flow Digraphs. In: Journées de l'Optimisation, 1991, Montréal. Journées de l'Optimisation 1991, 1991.

Apresentações de Trabalho
1.
VERNET, Oswaldo; MARKENZON, Lilian . Weighted Perfect Elimination Ordering and the Generation of Chordal Graphs. 2006. (Apresentação de Trabalho/Congresso).

2.
VERNET, Oswaldo; MARKENZON, Lilian . Solving Problems for Reducible Flowgraphs. 2001. (Apresentação de Trabalho/Congresso).

3.
VERNET, Oswaldo; MARKENZON, Lilian . Teaching Graphs with Real-Life Examples. 1999. (Apresentação de Trabalho/Congresso).

4.
VERNET, Oswaldo; ABREU, N. M. M. . Permutation Lattices. 1995. (Apresentação de Trabalho/Congresso).

Outras produções bibliográficas
1.
VERNET, Oswaldo; SILVA, M. J. M. . Os Teoremas de Legendre sobre a Soma dos Ângulos no Triângulo, 2009. (Tradução/Artigo).


Produção técnica
Programas de computador sem registro
1.
VERNET, Oswaldo; Guimarães, L. C. . AtenaME. 2011.

2.
VERNET, Oswaldo; SALENBAUCH, P. . TROPIX. 1994.

3.
VERNET, Oswaldo; MARKENZON, Lilian . Kinegraph. 1989.

Trabalhos técnicos
1.
MARKENZON, Lilian ; VERNET, Oswaldo ; PEREIRA, P. R. C. . L,U-Bounded Priority Queues and The Codification of Rényi k-Trees. 2005.

2.
VERNET, Oswaldo; MARKENZON, Lilian ; ARAÚJO, L. H. C. . Two Methods for the Generation of Chordal Graphs. 2004.

3.
VERNET, Oswaldo; MARKENZON, Lilian . Maximal Reducible Flowgraphs. 1998.

4.
VERNET, Oswaldo; MARKENZON, Lilian . Hamiltonian Problems for Reducible Flowgraphs. 1997.

5.
VERNET, Oswaldo; ABREU, N. M. M. ; RODRIGUES, R. M. N. D. . Permutation Lattices and the Quadratic Assignment Problem. 1995.


Demais tipos de produção técnica
1.
VERNET, Oswaldo. A Geometria Neutra. 2012. (Curso de curta duração ministrado/Especialização).

2.
VERNET, Oswaldo. A Geometria Absoluta. 2011. (Curso de curta duração ministrado/Especialização).

3.
MARKENZON, Lilian ; VERNET, Oswaldo ; PEREIRA, P. R. C. . Codificação de Ärvores: Conceitos e Algoritmos. 2005. (Desenvolvimento de material didático ou instrucional - Texto para Minicurso).

4.
VERNET, Oswaldo. Programação no Kernel do TROPIX. 2002. .

5.
VERNET, Oswaldo; MARKENZON, Lilian . Percursos em Grafos e Suas Aplicações. 2002. (Desenvolvimento de material didático ou instrucional - Texto para Minicurso).

6.
VERNET, Oswaldo; SALENBAUCH, P. . TROPIX - Um Sistema Operacional Aberto. 2000. .

7.
VERNET, Oswaldo; MARKENZON, Lilian . Ambientes para Programação em Grafos. 1992. .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
BARROSO, M. F.; VERNET, Oswaldo; CAPAZ, R. B.. Participação em banca de Fausto Lima Custódio. A Utilização de Testes Conceituais em Física Básica. 2012. Dissertação (Mestrado em Física) - Universidade Federal do Rio de Janeiro.

2.
BARBASTEFANO, R. G.; MATTOS, F. R. P.; VERNET, Oswaldo; Guimarães, L. C.. Participação em banca de Ulisses Dias da Silva. MathMoodle Estude de Caso sobre um CMS Munido de Ferramentas de Computação Simbólica e de Comunicação de Conteúdo Matemático. 2009. Dissertação (Mestrado em Ensino de Matemática) - Universidade Federal do Rio de Janeiro.

3.
Guimarães, L. C.; GRIMBERG, G. E.; PITOMBEIRA, João Bosco; VERNET, Oswaldo; ROQUE, Tatiana. Participação em banca de Francisco Quaranta Neto. Tradução Comentada da Obra Novos Elementos das seções Cônicas (Philippe de La Hire - 1679) e sua Relevância para o Ensino da Matemática.... 2008. Dissertação (Mestrado em Ensino de Matemática) - Universidade Federal do Rio de Janeiro.

4.
ABREU, N. M. M.; VERNET, Oswaldo; BOAVENTURA NETTO, P. O.; OLIVEIRA, C. S.. Participação em banca de Braulino de Mattos Reis Neto. Parâmetros de Grafos em Vulnerabilidade de Redes. 2005. Dissertação (Mestrado em Engenharia de Produção) - Universidade Federal do Rio de Janeiro.

5.
VERNET, Oswaldo; JUSTEL, Claudia Marcela; MARKENZON, Lilian. Participação em banca de Iuri Locatelli Vieira. Grafos Periplanares Biconexos e Dual Geométrico Fraco. 2003. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

6.
VERNET, Oswaldo; PIRMEZ, L.; CARMO, L. F. R. C.. Participação em banca de Reinaldo de Barros Correia. Rerroteamento de Fluxos Utilizando Redes MPLS e Tecnologia Ativa. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

7.
VERNET, Oswaldo; PIRMEZ, L.. Participação em banca de Werner Priess. Mecanismos de Escalonamento com Qualidade de Serviço em Redes com Tecnologia Bluetooth. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

8.
VERNET, Oswaldo; PIRMEZ, L.. Participação em banca de José Coelho de Melo Filho. Mecanismos de Controle de Qualidade de Serviço em Redes IEEE 802.11. 2003. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

9.
VERNET, Oswaldo; PIRMEZ, L.. Participação em banca de Edmundo Lopes Cecílio. Uma Arquitetura de Gerenciamento de Desempenho Pró-Ativo Distribuído Usando Tecnologia Ativa. 2002. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

10.
VERNET, Oswaldo; PIRMEZ, L.; CARMO, L. F. R. C.. Participação em banca de Renata Falcão Corrêa. Geração Automática de Conteúdo Adaptável para Educação à Distância. 2002. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

11.
VERNET, Oswaldo; De OLIVEIRA, M. J. F.; ABREU, N. M. M.. Participação em banca de Fernando José da Silva Assumpção. O Problema da Patrulha Linear. 2002. Dissertação (Mestrado em Engenharia de Produção) - Universidade Federal do Rio de Janeiro.

12.
VERNET, Oswaldo; MARKENZON, Lilian; JUSTEL, Claudia Marcela. Participação em banca de Wagner Antonio Arbex. Aspectos de Visualização em Redes. 2002. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

13.
VERNET, Oswaldo; PIRMEZ, L.; CARMO, L. F. R. C.. Participação em banca de Roberta Lima Gomes. Autoria e Apresentação de Documentos Multimídia Adaptativos em Redes. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

14.
VERNET, Oswaldo; PIRMEZ, L.; CARMO, L. F. R. C.. Participação em banca de José Duarte Queiroz. MICAEL: Uma Arquitetura para Detecção de Atividades Intrusas Baseada em Agendes Móveis de Software. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

15.
VERNET, Oswaldo; JUSTEL, Claudia Marcela; MARKENZON, Lilian. Participação em banca de Thiago de Souza Rodrigues. A ST-Numeração e Suas Aplicações. 2001. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

16.
VERNET, Oswaldo; PACHECO JUNIOR, A. C.. Participação em banca de Luiz Paulo Maia. SOsim: Simulador para o Ensino de Sistemas Operacionais. 2001. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

17.
VERNET, Oswaldo; ABREU, N. M. M.. Participação em banca de Adriana Louriçal de Mesquita Firmo. Geradores de Instâncias do Problema Quadrático de Alocação. 1999. Dissertação (Mestrado em Engenharia de Produção) - Universidade Federal do Rio de Janeiro.

18.
VERNET, Oswaldo; MARKENZON, Lilian; ABREU, N. M. M.. Participação em banca de Eugênio Rangel Marins. Traçado Automático de Grafos Hierárquicos. 1997. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Teses de doutorado
1.
VERNET, Oswaldo; MARKENZON, Lilian; ABREU, N. M. M.; JUSTEL, Claudia Marcela; JURKIEWICZ, S.. Participação em banca de Luiz Henrique da Costa Araújo. Algoritmos Dinâmicos para Manutenção de Grafos Cordais e Periplanares. 2004. Tese (Doutorado em Engenharia de Produção) - Universidade Federal do Rio de Janeiro.

2.
VERNET, Oswaldo; ABREU, N. M. M.; MARKENZON, Lilian; JURKIEWICZ, S.. Participação em banca de Carla Silva Oliveira. Laplaciano de Grafos e Vulnerabilidade de Redes. 2003. Tese (Doutorado em Engenharia de Produção) - Universidade Federal do Rio de Janeiro.

3.
VERNET, Oswaldo; ABREU, N. M. M.. Participação em banca de Marina Tebet Azevedo de Marins. O Uso de Automorfismos de Grafos no Problema Quadrático de Alocação. 2001. Tese (Doutorado em Engenharia de Produção) - Universidade Federal do Rio de Janeiro.

4.
VERNET, Oswaldo; MARKENZON, Lilian; OLIVEIRA, P. R.; MACULAN FILHO, N.; SZWARCFITER, J. L.; JUSTEL, Claudia Marcela. Participação em banca de André Luiz Pires Guedes. Hipergrafos Direcionados. 2001. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

5.
VERNET, Oswaldo; ABREU, N. M. M.; QUERIDO, T. M.. Participação em banca de Maria Cristina Rangel. Contribuições Algébricas ao Problema Quadrático de Alocação. 2000. Tese (Doutorado em Engenharia de Produção) - Universidade Federal do Rio de Janeiro.

6.
VERNET, Oswaldo; ABREU, N. M. M.; MARKENZON, Lilian; RODRIGUES, R. M. N. D.; JURKIEWICZ, S.. Participação em banca de Patrícia Erthal de Moraes. Aplicações da Teoria Espectral em Algumas Classes de Grafos. 2000. Tese (Doutorado em Engenharia de Produção) - Universidade Federal do Rio de Janeiro.

Qualificações de Doutorado
1.
VERNET, Oswaldo; ABREU, N. M. M.; MARKENZON, Lilian; JUSTEL, Claudia Marcela; JURKIEWICZ, S.. Participação em banca de Maximiliano Pinto Damas. Classificação de Grafos segundo a Distribuição dos Graus de Seus Vértices. 2006. Exame de qualificação (Doutorando em Engenharia de Produção) - Universidade Federal do Rio de Janeiro.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
CMAC-Norte - Congresso Nacional de Matemática Aplicada e Computacional - Região norte. A Geometria Absoluta. 2012. (Congresso).

2.
ERMAC - Encontro Regional de Matemática Aplicada e Computacional.A Geometria Neutra. 2012. (Encontro).

3.
CMAC-SE - Congresso Nacional de Matemática Aplicada e Computacional - Região sudeste. A Geometria Absoluta. 2011. (Congresso).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
María José Moreno Silva. Modelos Algébricos para Geometrias não-Arquimedianas. 2010. Dissertação (Mestrado em Matemática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Oswaldo Vernet de Souza Pires.

2.
Fabio Rimola da Cruz Mano. GeraGrafo: Um Ambiente para Geração Interativa e Automática de Grafos. 2003. 0 f. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, . Orientador: Oswaldo Vernet de Souza Pires.

3.
Sidney Batista Filho. PMMPI: Uma Implementação de MPI para Estações de Trabalho com Multiprocessamento Simétrico. 2002. 0 f. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, . Orientador: Oswaldo Vernet de Souza Pires.

4.
Leonardo Silva Vidal. Suporte a Tempo Real e Multithreading no Sistema Operacional TROPIX. 2002. 0 f. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, . Orientador: Oswaldo Vernet de Souza Pires.

5.
Dario Monte Costa Marques Junior. Mapeamento de Memória por Naturezas e Bancos: Uma Implementação para o Sistema Operacional TROPIX. 2002. 0 f. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, . Orientador: Oswaldo Vernet de Souza Pires.

6.
Jefferson Manhães de Azevedo. Uma Proposta para o Tráfego Multicast em Redes de Serviços Diferenciados. 2001. 0 f. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, . Coorientador: Oswaldo Vernet de Souza Pires.




Página gerada pelo Sistema Currículo Lattes em 13/12/2018 às 24:43:14