Alberto Barbosa Raposo

 


Updated in Mar/2022



Concluded Supervisions

DSc.

 

Jessica Margarita Palomares Pecho

Title: Uma abordagem  baseada no aprendizado de máquina interativo e interação natural para apoio à reabilitação física

Depto. de Informática, PUC-Rio
Adviser: 
Alberto Raposo. Jun. 2021 [PDF]
Victor de Almeida Thomaz

Title: Avaliação de aumento de dados via geração de imagens sintéticas para segmentação e deteccção de pólipos em imagens de colonoscopia utilizando aprendizado de máquina

Depto. de Informática, PUC-Rio
Adviser: 
Alberto Raposo. Apr. 2020. [PDF]

Rafael de Pinho André

Title: Using Body Sensor Networks and Human Activity Recognition Classifiers to Enhance the Assessment of Form and Execution Quality in Functional Training.

Depto. de Informática, PUC-Rio
Adviser: 
Alberto Raposo. Jan. 2020. [PDF]

Daniel Pires de Sá Medeiros

Title: Travel Fidelity in Virtual Environments
Universidade de Lisboa - Instituto Superior Técnico
Adviser: Joaquim Armando Pires Jorge. Co-Adviser: Alberto Barbosa Raposo. Apr. 2019 [PDF]

Wallas Henrique Sousa dos Santos

Title: MCAD Shape Grammar: Modelagem procedimental em modelos CAD massivos industriais.

Depto. de Informática, PUC-Rio
Adviser: 
Alberto Raposo. Apr. 2018. [PDF]

Priscilla Fonseca de Abreu Braz

Title: Uma análise do espaço de problema de End User Development no domínio de tecnologias para terapeutas do Transtorno do Espectro do Autismo.

Depto. de Informática, PUC-Rio
Adviser: 
Alberto Raposo. Co-adviser: Clarisse S. de Souza. Conclusion: Jan. 2017. [PDF]

Greis Francy Mireya Silva Calpa

Title: Estratégias para suporte à colaboração em sistemas presenciais para pessoas com Transtorno do Espectro Autista.

Depto. de Informática, PUC-Rio
Adviser: 
Alberto Raposo. Dec. 2016. [PDF]

Marcus Franco Costa de Alencar

Title: A Context-aware Model for Decision-making within Multi-expertise Tactical Planning in a Major Incident.

Depto. de Informática, PUC-Rio
Adviser: 
Alberto Raposo. Co-adviser: Simone D. J. Barbosa. Conclusion: Feb. 2015. [PDF]

Ismael Humberto Ferreira dos Santos

Title: A Collaborative Environment for Offshore Engineering Simulations based on Visualization and Workflow.

Depto. de Informática, PUC-Rio
Adviser: Marcelo Gattass.
Co-adviser: Alberto Raposo. Conclusion: April 2010. [PDF]

Manuel Eduardo Loaiza Fernandez.
Title: Calibração de Múltiplas Câmeras baseada em um Padrão Invariante.
Depto. de Informática, PUC-Rio
Adviser: Marcelo Gattass. Co-adviser: Alberto Raposo.
Conclusion: August 2009. [PDF]

Felipe Gomes de Carvalho.
Title: HybridDesk: Uma Abordagem para Transições entre Interfaces em um Sistema Híbrido Semi-imersivo.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Co-adviser: Marcelo Gattass.
Conclusion: February 2009. [PDF]

Enio Emanuel Ramos Russo.
Title: Um Metamodelo para Configuração de Espaços de Trabalho Virtuais Colaborativos: Aplicação no Gerenciamento de Desastres de Estruturas Offshore de Óleo e Gás / A Metamodel for Collaborative Virtual Workspaces Configuration: Application in Disaster Management of Oil & Gas Offshore Structures.
Depto. de Informática, PUC-Rio
Adviser: Marcelo Gattass. Co-advisers: Alberto Raposo & Terrence Fernando (Univ. of Salford, U.K.).
Conclusion: March 2006. [PDF – English / PDF – Português]

Adailton José Alves da Cruz.
Title: Grafo de Relações – Uma Metodologia para Coordenar Dependências entre Atividades em Ambientes Computacionais.
Depto. de Engenharia  de Computação e Automação Industrial, Faculdade de Engenharia Elétrica e de Computação, UNICAMP
Adviser: Léo Pini Magalhães.
Co-adviser: Alberto Raposo. Conclusion: October 2004 [PDF]

 

MSc.

 

Thiago da Silva Gonçalves
Title: Realidade Virtual como ferramenta de apoio na tomada de decisão no Combate em Ambientes Confinados
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Feb 2022. [PDF]
Raphael de Souza e Almeida
Title: Mapeamento das características do terreno em ambiente virtual como ferramenta de apoio ao ensino militar
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Mar 2020. [PDF]
Guilherme Ferreira Gusmão
Title: Desenvolvimento e Validação de Sensor LiDAR Virtual
Metrologia, PUC-Rio
Adviser: Carlos Roberto Hall Barbosa. Co-adviser: Alberto Raposo. Conclusion: Mar 2020. [PDF]
Abel González Mondéjar
Title: BraPolar: uma aplicação para o monitoramento remoto de pessoas com transtorno bipolar
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Oct 2019. [PDF]
Antonio Iyda Paganelli
Title: Reliability of Wii Balance Board and Microsoft Kinect for capturing posturographic information during balance tests
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Sep 2018. [PDF]
Francisco Carvalho Guida Motta
Title: Uma técnica semiautomática para a segmentação do feto em exames de ultrassom 3D
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Apr 2018. [PDF]
Hermíno Paucar Curasma
Title: Uma ferramenta para a introdução à programação e pensamento computacional com motivação usando realidade virtual
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Oct 2017. [PDF]
Yadira Garnica Bonome
Title: Proposing two new handling interaction techniques for 3D virtual objects using the Myo armband
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: May 2017. [PDF]
Thiago Ribeiro da Motta
Title: Uma Avaliação de Filtros 2D para Remoção de Ruído Speckle em Exames de Ultrassom
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Apr 2017. [PDF]
Armando Enrique Martínez González
Title: Fall risk analysis during VR interaction
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Mar 2017. [PDF]
Vinícius de Lima Costa
Title: Uma ferramenta de RV para tratamento de fobia de voar controlada pelo terapeuta
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Oct 2016. [PDF]
Alejandro Díaz Centeno
Title: Evaluation of physical-motor status of people with reduced mobility using motion capture with Microsoft Kinect®
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Sep 2016. [PDF]
Sasha Nícolas da Rocha Pinheiro
Title: Calibraçãao de câmera usando projeção frontal-paralela e colinearidade dos pontos de controle.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Sep 2016. [PDF]
Djalma Lúcio Soares da Silva
Title: Uso de Estruturas Planares Extraídas de Imagens RGB-D em Aplicações de Realidade Aumentada.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Aug 2016. [PDF]
Leonardo Henrique Camello do Nascimento
Title: Um estudo de presença em uma aplicação de realidade virtual para tratamento de pessoas com medo de voar.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Abr 2016. [PDF]
Philip Kuster Dunker
Title: Uma Ferramenta de Telepresença de Baixo Custo usando Oculus Rift: Desenvolvimento e Avaliação num Cenário de Videoconferência.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Abr 2016. [PDF]
Henrique d'Escragnolle-Taunay
Title: A spatial partitioning heuristic for automatic adjustment of the 3D navigation speed in multiscale virtual environments.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Mar 2016. [PDF]
Marcelo de Mattos Nascimento
Title: Utilizando reconstrução 3D densa para odometria visual baseada em técnicas de structure from motion.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Sep 2015. [PDF]
Bernardo Frankenfeld Villela Pedras
Title: EnvironRC: Integrating collaboration and mobile communication to offshore engineering virtual reality applications.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Sep 2015. [PDF]
Guilherme Bezerra Zampronio
Title: Um Sistema de Simulação 3D de Evacuação de Emergência em Plataformas de Petróleo.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Co-adviser: Marcelo Gattass. Conclusion: Mar 2015. [PDF]
Pedro Boechat de Almeida Germano
Title: Geração de Malhas Rodoviárias na GPU.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Mar 2014. [PDF]
Rodrigo Braga Pinheiro
Title: Um estudo sobre técnicas de renderização do fenômeno de dispersão atmosférica.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Mar 2014. [PDF]
Leandro Tavares de Aragão dos Santos
Title: Geração de Mapas de Profundidade Super-resolvidos a partir de Sensores de Baixo Custo e Imagens RGB.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Feb 2014. [
PDF]
Daniel Pires de Sá Medeiros
Title: Uma ferramenta de interação 3D para ambientes virtuais de engenharia utilizando dispositivos móveis.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Sep 2013. [PDF]
Jessica Margarita Palomares Pecho
Title: Estudo e Avaliação de Técnicas de Separabilidade e da Oclusão em Superfícies Multitoque.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Sep 2013. [PDF]
Paula Ceccon Ribeiro
Title: Desenvolvimento e Avaliação de um Jogo em Dispositivos Móveis para Estimular a Comunicação de Crianças com Autismo.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Ago 2013. [PDF]
Eduardo Ribeiro Silva
Title: Uso de Ambientes Imersivos para Colaboração com Usuários Remotos não Imersos.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Abr 2013. [PDF]
Renato Deris Prado
Title: Visualização de Rótulos em Objetos de Modelos Massivos em Tempo Real.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Abr 2013. [PDF]
Alexandre Valdetaro Porto
Title: A non-intrusive solution for distributed visualization and collaboration in a visualizer.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Mar 2013. [PDF]
Peter Furtado Dam
Title: Um Estudo Sobre Técnicas de Navegação e Seleção em Ambientes Virtuais Usando o Microsoft Kinect.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Dec 2012. [PDF]
Greis Francy Mireya Silva Calpa
Title: PAR (Peço, Ajudo, Recebo): Um jogo colaborativo em mesa multi-toque para apoiar a interação social de usuários com autismo.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Sep 2012. [PDF]
Fabrício Cardoso da Silva
Title: Detalhamento de Superfícies Utilizando Tesselação em Hardware.
Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Conclusion: Jun 2012. [PDF]

Gustavo Bastos Nunes

Title: Explorando aplicações que usam a geração de vértices em GPU.

Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Co-adviser: Bruno Feijó.
Conclusion: August 2011. [PDF]

Paulo Gallotti Rodrigues

Title: v-Glove: Uma proposta de dispositivo de interação para aplicações imersivas de realidade virtual.

Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: April 2011. [PDF]

Daniel Ribeiro Trindade

Title: Técnicas de Navegação 3D Usando o Cubo de Distâncias.

Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: March 2010. [PDF]

Lucas Pinto Teixeira

Title: Local SLAM Localização de Câmera e Mapeamento Local de Ambientes Simultâneos.

Depto. de Informática, PUC-Rio
Adviser: Marcelo Gattass.
Co-adviser: Alberto Raposo. Conclusion: March 2010. [PDF]

Felipe Ferreira Quintella

Title: DWeb3D: Um toolKit para facilitar a criação e manipulação de cenas 3D usando X3D.

Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: September 2009. [PDF]

Marcus Franco Costa de Alencar
Title: Composição de métodos de avaliação de IHC para ambientes virtuais híbridos: um estudo de caso com a HybridDesk.
Depto. de Informática, PUC-Rio
Adviser: Simone D. J. Barbosa.
Co-adviser: Alberto Raposo. Conclusion: August 2009. [PDF]

Eduardo Telles Carlos

Title: Frustum Culling Híbrido Usando CPU e GPU.

Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Co-adviser: Marcelo Gattass. Conclusion: April 2009. [PDF]

Sinisa Kolaric
Title: Towards direct spatial manipulation of virtual 3D objects using vision-based tracking and gesture recognition of unmarked hands.
Depto. de Informática, PUC-Rio
Adviser: Marcelo Gattass. Co-adviser: Alberto Raposo.
Conclusion: March 2008. [PDF]

Gustavo Nunes Wagner
Title:
Visualização Interativa de Modelos Massivos de Engenharia na Indústria de Petróleo com o Algoritmo de Voxels Distantes.
Depto. de Informática, PUC-Rio
Adviser: Marcelo Gattass. Co-adviser: Alberto Raposo.
Conclusion: April 2007. [PDF]

Manuel Eduardo Loaiza Fernandéz
Title: Implementação de um Dispositivo de Rastreamento Óptico com 6 Graus de Liberdade para Interação com Aplicações de Realidade Virtual.
Depto. de Informática, PUC-Rio
Adviser: Marcelo Gattass. Co-adviser: Alberto Raposo.
Conclusion: April 2005. [PDF]

Romano José Magacho da Silva.
Title: Integração de um Dispositivo Óptico de Rastreamento a uma Ferramenta de Realidade Virtual.
Depto. de Informática, PUC-Rio
Adviser: Marcelo Gattass. Co-adviser: Alberto Raposo.
Conclusion: March 2004. [PDF]

 

Final Project (Graduation)

 

Alexandre Pizarro Drummond Abrahão Ferreira
Title:
Desenvolvimento de um jogo multijogador usando Realidade Aumentada para simular um carro de controle remoto
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Jan 2022
Ana Carolina das Neves Silva da Hora
Title:
Ética em IA - Investigando o racismo algoritmico no reconhecimento facial
Ciência da Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Dec 2021
Brenno Tavares de Carvalho
Title:
Desenvolvimento de um jogo colaborativo para pessoas com transtorno do espectro do autismo (TEA)
Engenharia de Computação, Depto. de Informática, PUC-Rio
Advisers: Alberto Raposo and Greis Silva-Calpa.
Conclusion: Dec 2021
Karina Fernandes Tronkos
Title:
Utilizando uma abordagem centrada no usuário para o desenvolvimento de um produto digital sobre educação financeira para adolescentes
Ciência da Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Dec 2021
Ana Carolina Oliveira Coscarella
Title:
Análise sobre e-commerces de beleza utilizando conceitos de Interação Humano Computador
Ciência da Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Dec 2021
Julia Maria Alves Lima dos Santos
Title:
Aplicativo para auxiliar crianças no desenvolvimento de habilidades espaciais
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Aug 2020
André Guimarães de Mello Alves
Title: Memorabilia Aplicativo de realidade aumentada para suporte a pessoas com transtornos neurocognitivos
 
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Jul 2020
Juliana Dana Zilberberg
Title:
Avaliação de usabilidade de um simulador tático de batalha em tecnologia 3D para a Marinha do Brasil
Sistemas de Informação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Jan 2020
Leandro Morgado Pinto Corrêa
Title:
Sistema de Monitoramento Automatizado do Tráfego Urbano
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Jan 2020
Bernardo Costa Ruga
Title:
Módulo para Segmentação de Mão para Uso em Realidade Aumentada
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Dec 2019
Pedro Sousa Meireles
Title:
Ambiente Virtual para Apoio à Reabilitação de Pessoas com Dificuldades Físicas nos Membros Superiores
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Dec 2019
Renan da Fonte Simas dos Santos
Title:
Interface para detecção de objetos em vídeos
Ciência da Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Jun 2019
Hugo Costa Machado
Title:
Desenvolvimento de um xadrez com realidade aumentada para Android
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Aug 2018
Pedro Gomes de Britto Soares
Title:
Conversor de XSD para documentação em HTML
Bacharelado em Sistemas de Informação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: Feb 2018
Luan Barbalho Kalume
Title:
Um jogo de pet virtual utilizando inteligência artificial
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: July 2017
Luiz Felipe Lima e Silva
Title:
Visualização de expressões matemáticas no GTK+
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: January 2017
Douglas Luiz Barbará Silva
Title:
Construção de ferramenta para auxílio em depuração em desenvolvimento de jogos eletrônicos (Debugatron)
Bacharelado em Informática / Sistemas de Informação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: December 2015
Michel Feinstein
Title:
Sistema de posicionamento robótico guiado por visão computacional.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Co-adviser: Marco Antonio Meggiolaro. Conclusion: January 2014
Thiago Ribeiro da Motta
Title: Um Framework de Projeção Mapeada para um Sistema Kinect-Projetor
.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo. Co-adviser: Manuel Loaiza.
Conclusion: December 2012
Philip Kuster Dunker
Title: Desenvolvimento de um jogo multi-usuário em Unity3D para ambientes híbridos
.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: November 2012
Carlos Alexandre Papani Ferreira
Title:
Reprodução de vídeos estéreos 4k.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: August 2012
Bruno Campos de Oliveira Guedes
Title: Validador de Carteiras de Investimentos
.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: November 2011
Renato Deris Prado
Title:
Aplicação de Tags em Objetos de Sistemas de Visualização em Tempo Real.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: February 2011
Leonardo Henrique Camello do Nascimento
Title:
Técnicas de Separabilidade de Manipulações Espaciais em Interfaces Multi-toque.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: January 2011
Alexandre Valdetaro Porto
Title:  Height Map Terrains with Shader Model 5.0: Efficient  terrain rendering with continuous LOD using the new pipeline.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: December 2010
Antonio Nascimento Lutfi.
Title: A Relação entre Realidade Aumentada e Publicidade: Uma análise do cenário atual e projeções futuras.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: July 2010

Jan van der Haas Habib.
Title: ARMsg: Mensageiro Digital usando Realidade Aumentada.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: December 2007

Felipe Ferreira Quintella.
Title: SOLUM: Uma Biblioteca para a Criação de Mundos Dinâmicos Virtuais.
Bacharelado em Informática / Sistemas de Informação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: July 2006

Eduardo Telles Carlos.
Title: Desenvolvimento de plugins colaborativos para a ferramenta VDTool.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: June 2006

Thiago de Almeida Bastos.
Title: ViRAL: Um Framework para Desenvolvimento de Aplicações de Realidade Virtual.
Bacharelado em Informática / Sistemas de Informação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: July 2005

Márcio Henrique Gonçalves Pinto.
Title: Implementação de um pós-processador gráfico interativo de dados de perfuração de poços de petróleo sob camadas salinas.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: July 2005

Gustavo Nunes Wagner.
Title: Técnicas de interatividade em um software de visualização em tempo real de modelos CAD em 3D.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: December 2004

Leandro dos Santos Nazareth.
Title: Estudo de Técnicas de Algoritmos para Visualização de Terrenos.
Bacharelado em Informática / Sistemas de Informação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: December 2003

Daniella Christiana Karsavina Ribeiro.
Title: Ambientes de Realidade Virtual Reativos.
Engenharia de Computação, Depto. de Informática, PUC-Rio
Adviser: Alberto Raposo.
Conclusion: December 2003