\documentclass[12pt,a4paper]{report}

%  Para aceitar caracteres acentuados direto no texto
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}

\begin{document}
				%indeX


%This file contains the GTA's technical reports list.

%All files are in Post Script language and are compressed by gnu zip.
\begin{center}
{\LARGE \bf GTA} \\ 

\vspace{2mm}
{\LARGE \bf Master Theses}
\end{center}

\noindent
The technical reports presented here are available via FTP at: \\
ftp://ftp.gta.ufrj.br/pub/gta/TechReports

\vspace{5mm}
\noindent
Last update: August 10, 1999

%
%-------------------------- 1999 ----------------------------
%

\vspace{10mm}

\renewcommand{\labelenumi}{[GTA-\theenumi]}
\begin{enumerate}

\item
		Author - João Carlos Mendes Luís\\
		Title - ``Implementação e Medidas de Desempenho de
		Protocolos de Comunicação Usando STREAMS''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte\\
		COPPE/PEE/UFRJ - March 1999\\
		Portuguese - A4 size - 107 p. - Directory: Luis99

\item
		Author - Jorge Luís Machado Amaral\\
		Title - ``Programação em Lógica Difusa:
		Um Sistema Formal e um Interpretador''\\
		Advisor - Jorge Lopes de Souza Leão\\
		COPPE/PEE/UFRJ - March 1999\\
		Portuguese - A4 size - 304 p. - File: Amaral99.tgz

\item
                Author - Renata Cruz Teixeira\\
                Title - ``Uma Plataforma Escalável
		para Sistemas Distribuídos de Realidade Virtual''\\
                Advisor - Otto Carlos Muniz Bandeira Duarte\\
                COPPE/PEE/UFRJ - July 1999\\
                Portuguese - A4 size - 83 p. - file: Teix99.ps.gz

\item
                Author - Flavio Paiva Junqueira\\
                Title - ``Comunicação Multiponto Confiável
		para Estações Móveis em Redes Ativas ''\\
                Advisor - Otto Carlos Muniz Bandeira Duarte\\
                COPPE/PEE/UFRJ - August 1999\\
                Portuguese - A4 size - 97 p. - file: Junq99.ps.gz

\item
                Author - Silvia Mara da Costa Campos Victer\\
                Title - ``Contribuições para um Sistema de Gerenciamento de 
		Workflow Transacional para WWW''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - June 1999\\
                Portuguese - A4 size

\item
                Author - Frederico Sauer Guimarães\\
                Title - ``Uma Arquitetura para Suporte a Mobilidade e Segurança na Internet''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ - March 1999\\
                Portuguese - A4 size 

\item
		Author - Marcelo Dias de Amorim\\
		Title - ``Modelagem Determinística de Tráfegos
		de Vídeo Comprimido no Padrão MPEG''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte\\
		COPPE/PEE/UFRJ - March 1998\\
		Portuguese - A4 size - 89 p. - Directory: Amorim98

\item
		Author - Marcial Porto Fernandez\\
		Title - ``Protocolo para Gerenciamento 
		Hierárquico de Redes de Telecomunica\c cões''\\
		Advisor - Aloysio de Castro Pinto Pedroza\\
		COPPE/PEE/UFRJ - January 1998\\
		Portuguese - A4 size - 166 p. - Directory: Marcial98

\item
                Author - Marcelo Spindola Bacha\\
                Title - ``Uma Plataforma de Teste de Funçoes
		de Gerenciamento para Redes ATM''\\
                Advisor - Aloysio de Castro Pionto Pedroza\\
                COPPE/PEE/UFRJ - March 1998\\
                Portuguese - A4 size - 170p. - Directory: Bacha98 

\item
	Author - Daniel Antunes Maciel Villela\\
	Title - ``Mecanismos para Escalabilidade em 
	Comunicações Multiponto Confiáveis''\\
	Advisor - Otto Carlos Muniz Bandeira Duarte\\
	COPPE/PEE/UFRJ - July 1998\\
	Portuguese - A4 size - 89 p. - Directory: Villela98

\item
	Author - Luís Henrique Maciel Kosmalski Costa\\
	Title - ``Uma Arquitetura Escalável de Roteamento com 
	Requisitos de Qualidade de Serviço''\\
	Advisor - Otto Carlos Muniz Bandeira Duarte\\
	COPPE/PEE/UFRJ - July 1998\\
	Portuguese - A4 size - 90 p. - Directory: Kosmalski98

\item
	Author - Ricardo Neimo Belem Lima\\
	Title - ``Projeto de Protocolos Visando a Implementação
	em Hardware: Aplicação ao Caso do Protocolo AAL5 para
        Redes ATM''\\
	Advisor - Aloysio de Castro Pinto Pedroza\\
	COPPE/PEE/UFRJ - May 1998\\
	Portuguese - A4 size - 130p. - Directory: Belem98

\item
	Author - Antônio Carlos Fernandes Nunes\\
	Title - ``A Estrutura das Aplicações no Sistema W4 de
	Gerenciamento de Workflow''\\
	Advisor - Jorge Lopes de Souza Leão\\
	COPPE/PEE/UFRJ - May 1998\\
	Portuguese - A4 size - 61p. - Directory: Antonio98

\item
	Author - Emerson Carli\\
	Title - ``Projeto de Protocolos visando a Implementação em
	Hardware: aplicação ao Protocolo IPv6 no Âmbito da
	Abordagem {\it Ip over ATM}''\\ 
	Advisors - Aloysio de Castro Pinto Pedroza, Antonio Carneiro
	de Mesquita, and Luci Pirmez\\
	COPPE/PEE/UFRJ - April 1998\\
	Portuguese - A4 size - 136p. - Directory: Emerson98

\item
        Author - Jorge Roberto Mendes Filho\\
        Title - ``Uma Extensão de um Modelo de Tráfego Autosimilar
	com Aplicações em Controle de Admissão e Tarifação
	em Redes ATM''\\
  	Advisor - Luis Felipe Magalhães de Moraes \\
        COPPE/PEE/UFRJ - September 1998

\item
        Author - Guilherme de Melo Baptista Domingues\\
        Title - ``Modelagem e Desempenho de Arquiteturas de Computadores ATM com
	Armazenamento nas Saídas e Diferentes Classes de Tráfego e 
	Prioridades''\\
        Advisor - Luis Felipe Magalhães de Moraes \\
        COPPE/PEE/UFRJ - December 1998

\item
                Author - Gilberto Fernandes Taboada\\
                Title - ``Um Implementador Semi-Automático
		de Protocolos de Comunicação sobre
		Sistema Aberto''\\
                Advisor - Aloysio de Castro Pinto Pedroza \\
                COPPE/PEE/UFRJ - 1998

\item
		Author - Monica de Rezende\\
		Title - ``Descrição e Implementação de Apresentações 
		Multimídia Pré-Orquestradas Interativas''\\
		Advisor - Jorge Lopes de Souza Leão\\
		COPPE/PEE/UFRJ - November 1997\\
		Portuguese - A4 size - 136 p. - Directory: MonicaR97


\item
                Author - Marlos de Andrade Martins\\
                Title - ``Um Ambiente Distribuído para
		o Desenvolvimento de Protocolos''\\
                Advisor - Aloysio de Castro Pinto Pedroza \\
                COPPE/PEE/UFRJ - 1997

\item
                Author - Ildemar Pinto Nunes\\
                Title - ``Implementação Semi-automática
		de Protocolos em Plataformas UNIX''\\
                Advisor - Aloysio de Castro Pinto Pedroza \\
                COPPE/PEE/UFRJ - 1997

\item
		Author - Ronaldo Mussauer de Lima\\
		Title - ``Um Servi\c co de Sincroniza\c cão Multimídia de
				Dados Pré-orquestrados''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte\\
		COPPE/PEE/UFRJ - June 1996\\
		Portuguese - A4 size - 94 p. - Directory: Mussauer96

\item
                Author - Michel Ferreira Abdalla \\
                Title - ``Análise de Mecanismos de Controle de
                          Admissão de Conexão para Redes ATM''\\
                Advisor - Otto Carlos Muniz Bandeira Duarte\\
                COPPE/PEE/UFRJ - September 1996\\
                Portuguese - A4 size - 131 p. - Directory: Abdalla96 

\item
                Author - Marcelo Gonçalves Rubinstein\\
                Title - ``Um Serviço de Sincronização
		Contínua para Aplicações Multimídias''\\
                Advisor - Otto Carlos Muniz Bandeira Duarte\\
                COPPE/PEE/UFRJ - November 1996\\
                Portuguese - A4 size - 119 p. - Directory: Rubi96 

\item
                Author - Fábio Contarini Carneiro\\
                Title - ``Projeto de um Compilador de Estelle
		para VHDL''\\
                Advisor - Aloysio de Castro Pinto Pedroza \\
                IME e COPPE/PESC/UFRJ - 1996

\item
                Author - Marcelo Ciminelli Mendes\\
                Title - ``Uma Ferramenta para a Síntese de
		Protocolos em Estelle''\\
                Advisor - Aloysio de Castro Pinto Pedroza \\
                IME e COPPE/PESC/UFRJ - 1996

\item
		Author - Miguel Grimm do Nascimento\\
		Title - "Uma interface de programa\c cão de aplica\c cões 
		para sistemas distribuidos"\\
		Advisor - Jorge Lopes de Souza Leão\\
		COPPE/PEE/UFRJ - April 1995

\item
		Author - Agliberto Pessoa da Silva\\
		Title - "Escalamento Heurístico baseado em Lógica 
		Difusa''\\
		Advisor - Jorge Lopes de Souza Leão\\
		COPPE/PEE/UFRJ - April 1995

\item
		Author - Célio Vinicius  Neves de Albuquerque\\
		Title - "Arquitetura de Implementa\c cão de Alto  Desempenho  
		para  Sistemas  de  Comunica\c cão Multimídia"\\
		Advisor - Otto Carlos Muniz Bandeira Duarte\\
		COPPE/PEE/UFRJ - April 1995\\
		Portuguese - A4 size - 127 p. - Directory: Albuquerque95

\item
		Author - Marcelo Dias Nunes\\
		Title - "Protocolo  Mutidestinatário  com  Configura\c cão 
		de Facilidades e Gerenciamento de Acesso"\\
		Advisor - Otto Carlos Muniz Bandeira Duarte\\
		COPPE/PEE/UFRJ - April 1995\\
		Portuguese - A4 size - 103 p. - Directory: Nunes95

\item
		Author - Rogério Leone Texeira da Cunha\\
		Title - ``Camada Rede e Gerenciamento de Memória de um Sistema 		de Comunica\c cão Industrial de Alto Desempenho''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte\\
		COPPE/PEE/UFRJ - April 1995

\item
		Author - Marcio Faerman\\
		Title - "Monitora\c cão e Policiamento de Tráfego em 
		Sistemas de Comunica\c cão Multimídia"\\
		Advisor - Otto Carlos M. B. Duarte\\
		COPPE/PEE/UFRJ - August 1995\\
		Portuguese - A4 size - 74 p. - Directory: Faerman95

\item
                Author - Francisco Resende Loureiro\\
                Title - ``Um Simulador para a Linguagem Estelle''
                Advisor - Aloysio de Castro Pinto Pedroza \\
                COPPE/PEE/UFRJ - 1995

\item
                Author - Emmanuel Gomes Sanches\\
                Title - ``Plataforma de Software para Desenvolvimento
		de Algoritmos de Busca''
                Advisor - Aloysio de Castro Pinto Pedroza and Edmundo A. de Souza e 
		Silva\\
                COPPE/PESC/UFRJ - 1995

\item
		Author - Maria Fernanda Belford Roxo\\
		Title - "Primata: Uma Processador Maci\c camente Paralela"\\
		Advisor - Otto Carlos M. B. Duarte and Adriano Joaquim O. Cruz\\
		COPPE/PEE/UFRJ - March 1994\\
		Portuguese - A4 size - 167 p. - Directory: Roxo94 

\item
		Author - Marcelo Averbuch\\
		Title - "Aplica\c cão do Método de Tableau para Lógica Temporal -
		Verifica\c cão de Programas Concorrentes"\\
		Advisor - Jorge Lopes de Souza Leão\\
		COPPE/PEE/UFRJ - April 1994

\item
		Author - Marcos Tadeu von Lutzow Vidal\\
		Title - "Especifica\c cão Formal e Implementa\c cão de um  
		Protocolo de Comunica\c cão Multiponto-a-Multiponto e
		Aplica\c cão de Texto-conferência"\\
		Advisors - Otto Carlos M. B. Duarte and Aloysio de C. P. Pedroza \\
		COPPE/PEE/UFRJ - November 1994\\
		Portuguese - A4 size - 192 p. - Directory: Vidal94

\item
                Author - Ricardo Land Rodrigues\\
                Title - ``Síntese de Alto Nível de
		Protocolos de Redes Especificados na Linguagem Estelle''
                Advisor - Aloysio de Castro Pinto Pedroza and Antônio
		Carneiro de Mesquita Filho\\
                COPPE/PEE/UFRJ - 1994

\item
                Author - Erny Otto Lehmann Júnior\\
                Title - ``Especificação e Verificação do
		Protocolo CMIP para Gerência de Redes''
                Advisor - Aloysio de Castro Pinto Pedroza \\
                COPPE/PEE/UFRJ - 1994

\item
		Author - Calixto Damian Neto\\
		Title - ``Implementa\c cão do Protocolo FTAM''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte \\
		COPPE/PEE/UFRJ - April 1993\\
		Portuguese - A4 size - 96 p.

\item
                Author - Eduardo Compasso Arbex\\
                Title - ``Controle Híbrido de Posição
		de Força para um Manipulador Robótico''\\
                Advisor - Jorge Lopes de Souza Leão \\
                COPPE/PEE/UFRJ - April 1993

\item
                Author - Frederico Celestino Pontes\\
                Title - ``LDHL - Uma Linguagem Lógica para
		Verificação de Circuitos Digitais''\\
                Advisor - Jorge Lopes de Souza Leão \\
                COPPE/PEE/UFRJ - October 1993

\item
                Author - Luis Manuel Sánchez y Bernal\\
                Title - ``Um Compilador para Lotos''
                Advisor - Aloysio de Castro Pinto Pedroza \\
                COPPE/PEE/UFRJ - 1993

\item
                Author - Helio Shor\\
                Title - ``Projeto de uma Célula Flaxível
		de Montagem usando Serviços MMS''
                Advisor - Aloysio de Castro Pinto Pedroza \\
                COPPE/PEE/UFRJ - 1993

\item
                Author - Sérgio Campos de Alcântara\\
                Title - ``Implementação Semi-Automática
		de Protocolos Descritos em Estelle''
                Advisor - Aloysio de Castro Pinto Pedroza \\
                COPPE/PEE/UFRJ - 1993

\item
                Author - Sérgio Granato de Araújo\\
                Title - ``Estudo, Especificação e Implementação
		de Protocolos para o Plano de Controle da RDSI''
                Advisor - Aloysio de Castro Pinto Pedroza \\
                COPPE/PEE/UFRJ - 1993

\item
		Author - Luiz Felipe Baginski\\
		Title - ``Ambiente de Implementa\c c\~ao para Sistemas de Alto Desempenho''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte \\
		COPPE/PEE/UFRJ - January 1992

\item
		Author - Fernando Mascarenhas Cavalcanti de Barros\\
		Title - ``Servi\c cos de Transfer\^encia de Dados Ponto-a-Multiponto Adaptados ao Ambiente  de Sa\-t\'e\-li\-te''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte \\
		COPPE/PEE/UFRJ - January 1992

\item
		Author - Rainer Schatzmayr\\
		Title - ``Paralelismo na Interconex\~ao de Sistemas Abertos''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte \\
		COPPE/PEE/UFRJ - January 1992

\item
                Author - Lacy Wanderley Egydio Romão\\
                Title - ``Aplicação de uma Metodologia de Programação à
                Automação de uma Planta Piloto de Sinterização''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - March 1992

\item
                Author - João Araújo Ribeiro\\
                Title - ``Projeto Orientado a Objetos de um Executivo
                Multitarefa para o Modo Protegido do 80386''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - May 1992

\item
                Author - Ricardo Abraham Wehbe\\
                Title - ``Verificação de Programas CRIS através de
                Transformadores de Predicados''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - August 1992

\item
                Author - Márcio Oliveira Rocha\\
                Title - ``Processamento de uma Linguagem Semi-Formal Visando
                a Verificação de Programas de Automação Industrial''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - December 1992

\item
                Author - Paulo Roberto de Lira Gondim\\
                Title - ``Algoritmos de Aprendizado Aplicados a redes de comunica\c c\~oes''\\
                Advisors - Aloysio de Castro Pinto Pedroza and Emmanuel Piseces Lopes Passos \\
                COPPE/PEE/UFRJ -  1992

\item
                Author - Orlando Bernardo Filho\\
                Title - ``Verificador para ESTELLE''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ -  1992

\item
                Author - Gutemberg Soares da Silva\\
                Title - ``Gera\c c\~ao Autom\'atica de Sequ\^encias de Testes para Protocolos de Comunica\c c\~ao''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ -  1992

\item
                Author - Frederick Bigoni Burrowes\\
                Title - ``O Protocolo MMS Aplicado a Sistemas Navais''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ -  1992

\item
                Author - M\'arcia Gon\c calves de Novaes\\
                Title - ``Projeto de um Sistema Industrial usando o Padrão MMS''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ -  1992

\item
		Author - Gerson Bronstein\\
		Title - ``Projeto de uma Rede de Interconex\~ao para uma M\'aquina Paralela de Alto Desempenho''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte \\
		COPPE/PEE/UFRJ - November 1991

\item
		Author - Marcelo Luiz Drumond Lanza\\
		Title - ``Especifica\c c\~ao Formal e Implementa\c c\~ao da Camada Enlace''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte \\
		COPPE/PEE/UFRJ - November 1991

\item
		Author - Marcelo Macedo Ach\'a\\
		Title - ``Arquitetura da Camada Aplica\c c\~ao e Implementa\c c\~ao de seus Elementos de Servi\c cos Comuns''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte \\
		COPPE/PEE/UFRJ - December 1991

\item
		Author - Jos\'e Ferreira de Rezende\\
		Title - ``Implementa\c c\~ao e Avalia\c c\~ao de Desempenho do Protocolo de Sess\~ao OSI da ISO''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte \\
		COPPE/PEE/UFRJ - December 1991

\item
                Author - Luis Maltar Castello Branco\\
                Title - ``Verificação de Corretude de Programas CRIS
                usando Lógica Temporal''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - April 1991

\item
                Author - Magui Pelayo Ferreira Gonçalves\\
                Title - ``Uma Arquitetura VLSI para Execução de LISP''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - May 1991

\item
                Author - Carlos Roberto Bastos\\
                Title - ``Um Ambiente para a Execução da Linguagem CRIS''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - May 1991

\item
                Author - Suzan Karina Almada Mendes\\
                Title - ``Padr\~oes X.400: An\'alise, Especifica\c c\~ao Formal e Proposta de Migra\c cão de um MHS''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ - 1991

\item
                Author - Luiz Carlos Augusto Alves\\
                Title - ``Protocolos MMS para Comando de Rob\^os por rede local''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ - 1991

\item
                Author - Marcelo Moraes de Azevedo\\
                Title - ``Rede Local Mini-MAP para automa\c c\~ao industrial''\\ 
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ - 1991

\item
                Author - Roberto Cruz de Oliveira Junior\\
                Title - ``Um compilador para a linguagem ESTELLE''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ - 1991

\item
                Author - Carlos de Castro Goulart\\
                Title - ``Um Sistema de Edi\c c\~ao dedicado para a linguagem ESTELLE''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ - 1991

\item
                Author - Waldomiro Soares Yuan\\
                Title - ``Um Sistema de Simula\c cão para o C\'alculo de Processos''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ - 1991

\item
                Author - Claudio Gentile\\
                Title - ``Segurança de Funcionamento: Estudo de Caso Aplicado
                ao Controle do Tráfego de Trens no Metrô do Rio de Janeiro''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - March 1990

\item
                Author - Hans Dietmar Kohwalter\\
                Title - ``Núcleo para Sistema Operacional em Tempo Real
                para o Microprocessador 80386''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - April 1990

\item
                Author - Roberto Guimarães Lins\\
                Title - ``Sistema de Desenvolvimento para Processamento
                Digital de Sinais em Tempo Real''\\
                Advisor - Jorge Lopes de Souza Leão and Paulo Sergio Ramirez
                Diniz\\
                COPPE/PEE/UFRJ - April 1990

\item
                Author - João Amaro Baptista Pereira\\
                Title - ``Segurança de Funcionamento de Arquiteturas Baseadas
                em Computadores não Tolerantes a Falhas''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - April 1990

\item
                Author - Paulo Roberto Oliveira Valim\\
                Title - ``Um simulador de protocolos de comunica\c cão para a Linguagem ESTELLE''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ - 1990

\item
                Author - Luiz Eug\^enio de Andrade Segadilha\\
                Title - ``Monitor de Teleprocessamento: uma solu\c cão distrbu\'ida''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ - 1990

\item
                Author - Pedro Eulálio Mejia Ochoa\\
                Title - ``Avalia\c c\~ao de desempenho de sistemas distribuidos especificados em ESTELLE''\\
sos''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ - 1990


\item
                Author - Marco Antonio Busetti de Paula\\
                Title - ``Contribuições para o Desenvolvimento de uma
                Linguagem de Controle de Robôs - LICOR''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - February 1989

\item
                Author - Ricardo Marcelo Sampaio\\
                Title - ``Sistema Gerador de Marés para Modelos Reduzidos de
                Hidráulica''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - April 1989

\item
                Author - Alexandre Baptista Magalhães\\
                Title - ``Um Executivo de Tempo Real Baseado em Portas''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - April 1989

\item
                Author - Manuel Augusto Pinto Cardozo\\
                Title - ``Um Compilador para a Execução Seqüencial da
                Linguagem CRIS''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - May 1989

\item
                Author - S\'ergio Lucio Guimar\~aes de Miranda\\
                Title - ``Sequenciador de Partida, Parada e Opera\c cão de Unidades Geradoras de Usinas Hidrel\'etricas''
sos''\\
                Advisors - Aloysio de Castro Pinto Pedroza and Mauricio Moszkowicz (CEPEL) \\
                COPPE/PEE/UFRJ - 1989

\item
                Author - Flavio Joaquim de Souza\\
                Title - ``ANAPETRI: Um Analisador de Redes de Petri''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - March 1988

\item
                Author - Nival Nunes de Almeida\\
                Title - ``Contribuição para a Definição de uma Linguagem de
                Automata Comunicantes''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - April 1988

\item
                Author - Luiza Macedo Mourelle\\
                Title - ``Contribuições para Definição de uma Arquitetura
                Voltada para Execução do LISP''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - April 1988

\item
		Author - Heliomar Medeiros de Lima\\
		Title - ``Transmiss\~oes de Dados Via Sat\'elite - An\'alise de Desempenho de Protocolos Ponto-a-Ponto''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte \\
		COPPE/PEE/UFRJ - March 1987

\item
                Author - Gunther Hugo Gorz\\
                Title - ``Aspectos Computacionais da Resolução Numérica e
                Controle de um Sistema Descrito por uma Equação Diferencial
                Parcial''\\
                Advisor - Jorge Lopes de Souza Leão and Antonio Carneiro
                de Mesquita Filho\\
                COPPE/PEE/UFRJ - February 1987

\end{enumerate}


\end{document}
