%
%-------------------------- 1992 ----------------------------
%
\vspace{10mm}

\begin{center}
{\large \bf Technical Reports --- 1992}
\end{center}

\begin{description}
\item[GTA-92-01]Master Science Thesis\\
		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[GTA-92-02]Master Science Thesis\\
		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[GTA-92-03]Master Science Thesis\\
		Author - Rainer Schatzmayr\\
		Title - ``Paralelismo na Interconex\~ao de Sistemas Abertos''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte \\
		COPPE/PEE/UFRJ - January 1992


\item[GTA-92-04]Master Science Thesis\\
                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[GTA-92-05]Master Science Thesis\\
                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[GTA-92-06]
        Fialho, S. V., Leão, J. L. S. and Pedroza, A. C. P. -
        ``Formal Methods for the Specification and Verification of Distributed
        Systems'',
        International Symposium on Circuits and Systems - ISCAS'92,
        San Diego, California, USA, May 1992.\\

\item[GTA-92-07]Master Science Thesis\\
                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[GTA-92-08]
        Leão, J. L. S. and Maltar, L. C. B. -
        ``Definição de uma Lógica Temporal para Verificação de Programas
        CRIS'',
        IX Congresso Brasileiro de Automática - CBA'92,
        Vitória, ES, September 1992.\\

\item[GTA-92-09]
        Filho, O. B., Pedroza, A. C. P. and Leão, J. L. S. -
        ``O Verificador de um Sistema de Auxílio ao Projeto de Protocolos'',
        IX Congresso Brasileiro de Automática - CBA'92,
        Vitória, ES, September 1992.\\

\item[GTA-92-10]
        Fialho, S. V., Leão, J. L. S. and Pedroza, A. C. P. -
        ``Especificação e Verificação Formal de uma Célula Flexível de
        Montagem'',
        IX Congresso Brasileiro de Automática - CBA'92,
        Vitória, ES, September 1992.\\

\item[GTA-92-11]Master Science Thesis\\
                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[GTA-92-12]Doctor Science Thesis\\
                Author - Sérgio Vianna Fialho\\
                Title - ``Uma Técnica Heurística para Verificação
                Semi-automática de Sistemas Distribuídos''\\
                Advisor - Jorge Lopes de Souza Leão and Aloysio de Castro
                Pinto Pedroza\\
                COPPE/PEE/UFRJ - December 1992\\

\item[GTA-92-13]Graduation Final Project\\
                Author - Mauricio Assad Neder\\
                Title - ``Análise, Especifica\c c\~ao, Simula\c c\ão e Implementa\c c\ão 
		do Protocolo LLC Tipo 3''\\
                Advisor - Aloysio de Castro Pinto Pedroza and Marcelo Moraes de Azevedo\\
                DEL/EE/UFRJ - 1992\\

\item[GTA-92-14]Graduation Final Project\\
                Authors - Adriano Allegrini, Fernando Barreto Martins da Po\c ca\\
                Title - ``Análise, Especifica\c c\ão, Simula\c c\ão e Implementa\c c\ão 
		de um CASE da Camada Aplica\c c\~ao\\
                Advisor - Aloysio de Castro Pinto Pedroza\\

\item[GTA-92-15]Master Science Thesis\\
                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[GTA-92-16]Master Science Thesis\\
                Author - Orlando Bernardo Filho\\
                Title - ``Verificador para ESTELLE''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ -  1992

\item[GTA-92-17]Master Science Thesis\\
                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[GTA-92-18]Master Science Thesis\\
                Author - Frederick Bigoni Burrowes\\
                Title - ``O Protocolo MMS Aplicado a Sistemas Navais''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ -  1992

\item[GTA-92-19]Master Science Thesis\\
                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

\end{description}

%
%-------------------------- 1991 ----------------------------
%

\vspace{10mm}

\begin{center}
{\large \bf Technical Reports --- 1991}
\end{center}

\begin{description}
\item[GTA-91-01]Graduation Final Project\\
                Author - Rainer Schatzmayr\\
                Title - ``Implementação do Protocolo de Transporte Classe Quatro''\\
                Advisor - Otto Carlos Muniz Bandeira Duarte\\
                DEL/EE/UFRJ - January 1991

\item[GTA-91-02]Graduation Final Project\\
                Author - Fernando Mascarenhas Cavalcanti de Barros\\
                Title - ``Implementação do Internetwork Protocol (IP)''\\
                Advisor - Otto Carlos Muniz Bandeira Duarte\\
                DEL/EE/UFRJ - January 1991

\item[GTA-91-03]Graduation Final Project\\
                Author - Rogério Leone Teixeira da Cunha\\
                Title - ``Implementação do Protocolo de Transporte Classe Dois da ISO em um
Ambiente Multitarefa''\\
                Advisor - Otto Carlos Muniz Bandeira Duarte\\
                DEL/EE/UFRJ - February 1991

\item[GTA-91-04]Master Science Thesis\\
		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[GTA-91-05]Master Science Thesis\\
		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[GTA-91-06]Master Science Thesis\\
		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[GTA-91-07]Master Science Thesis\\
		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[GTA-91-08]Master Science Thesis\\
                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[GTA-91-09]Master Science Thesis\\
                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[GTA-91-10]Master Science Thesis\\
                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[GTA-91-11]
        Sobral, J. B. M., Leão, J. L. S. and Pedroza, A. C. P. -
        ``CSP*: Um Dialeto de CSP e sua Aplicação à Especificação de
        Protocolos de Comunicação'',
        IX Congresso Brasileiro de Redes de Computadores - SBRC'91,
        Florianópolis, SC, May 1991.\\

\item[GTA-91-12]Graduation Final Project\\
                Authors - F\'abio Porto Diaz Andr\é, Gustavo Senna Chelles and
		 Jos\é Eduardo Sumrel Miranda\\
                Title - ``Sistemas Distribuídos em Tempo Real''\\
                Advisor - Aloysio de Castro Pinto Pedroza and Jorge Lopes de Souza Le\~ao\\
                DEL/EE/UFRJ - 1991\\

\item[GTA-91-13]Master Science Thesis\\
                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[GTA-91-14]Master Science Thesis\\
                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[GTA-91-15]Master Science Thesis\\
                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[GTA-91-16]Master Science Thesis\\
                Author - Roberto Cruz de Oliveira Junior\\
                Title - ``Um compilador para a linguagem ESTELLE''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ - 1991

\item[GTA-91-17]Master Science Thesis\\
                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[GTA-91-18]Master Science Thesis\\
                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



\end{description}

%
%-------------------------- 1990 ----------------------------
%

\vspace{10mm}

\begin{center}
{\large \bf Technical Reports --- 1990}
\end{center}

\begin{description}
\item[GTA-90-01]Graduation Final Project\\
                Author - Luiz Felipe Baginski\\
                Title - ``Interface de Comunicação Serial de Dados''\\
                Advisor - Otto Carlos Muniz Bandeira Duarte\\
                DEL/EE/UFRJ - May 1990

\item[GTA-90-02]Master Science Thesis\\
                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[GTA-90-03]Master Science Thesis\\
                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[GTA-90-04]Master Science Thesis\\
                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[GTA-90-05]Master Science Thesis\\
                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[GTA-90-06]
        Fialho, S. V., Pedroza, A. C. P., Leão, J. L. S. and Junior, R. C. O. -
        ``Uma Ferramenta para Verificação Automática de Programas
        Concorrentes com Aplicação em Automação Industrial'',
        VIII Congresso Brasileiro de Automática - CBA'90, Belém, PA, September
        1990.\\

\item[GTA-90-07]Graduation Final Project\\
                Authors - Chen I Sheng, Ricardo Land Rodrigues\\
                Title - ``Estudo, Especifica\c c\ão, Valida\c c\ão e 
		Implementa\c c\ão de Protocolos de Comunica\c c\ão para i
		Redes de Computadores''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                DEL/EE/UFRJ - 1990\\

\item[GTA-90-08]Master Science Thesis\\
                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[GTA-90-09]Master Science Thesis\\
                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[GTA-90-10]Master Science Thesis\\
                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

\end{description}

%
%-------------------------- 1989 ----------------------------
%

\vspace{10mm}

\begin{center}
{\large \bf Technical Reports --- 1989}
\end{center}

\begin{description}

\item[GTA-89-01]Graduation Final Project\\
                Author - José Ferreira de Rezende\\
                Title - ``Interface de Comunicação Serial Síncrona Usando o Protocolo BSC''\\
                Advisor - Otto Carlos Muniz Bandeira Duarte\\
                DEL/EE/UFRJ - December 1989

\item[GTA-89-02]
        Leão, J. L. S., Fialho, S. V., and Pedroza, A. C. P. -
        ``A State Based Language for Discrete Control and the Verification
        of its Programs'',
        IEEE International Symposium on Circuits and Systems - ISCAS'89,
        Portland, Oregon, USA, 1989.\\

\item[GTA-89-03]Master Science Thesis\\
                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[GTA-89-04]Master Science Thesis\\
                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[GTA-89-05]Master Science Thesis\\
                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[GTA-89-06]Master Science Thesis\\
                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[GTA-89-07]
        Fialho, S. V., Pedroza, A. C. P., Leão, J. L. S. and Junior, R. C. O. -
        ``Uma Ferramenta para Verificação Automática de Programas
        Concorrentes'',
        VII Simpósio Brasileiro de Telecomunicações, Florianópolis, SC,
        September 1989.\\

\item[GTA-89-08]
        Leão, J. L. S., Pedroza, A. C. P., Fialho, S. V. and Branco, L. M. C. -
        ``A Análise de Programas CRIS Através de Redes de Petri'',
        III Simpósio de Computadores Tolerantes a Falhas, September 1989.\\

\item[GTA-89-09]Graduation Final Project\\
                Authors - S\'ergio Campos de Alc\^antara\\
                Title - ``Implementa\c c\ão de um Protocolo de Comunica\c c\ão 
		para Automa\c c\ão Industrial''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                DEL/EE/UFRJ - 1989\\

\item[GTA-89-10]Master Science Thesis\\
                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

\end{description}

%
%-------------------------- 1988 ----------------------------
%

\vspace{10mm}

\begin{center}
{\large \bf Technical Reports --- 1988}
\end{center}

\begin{description}
\item[GTA-88-01]Graduation Final Project\\
                Author - Marcelo Luiz Drumond Lanza\\
                Title - ``Controlador Serial de Multi-Protocolos''\\
                Advisor - Otto Carlos Muniz Bandeira Duarte\\
                DEL/EE/UFRJ - March 1988

\item[GTA-88-02]Graduation Final Project\\
                Author - Marcelo Macedo Achá\\
                Title - ``Protocolo de Enlace HDLC - Classe Assíncrona Balanceada''\\
                Advisor - Otto Carlos Muniz Bandeira Duarte\\
                DEL/EE/UFRJ - March 1988

\item[GTA-88-03]Master Science Thesis\\
                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[GTA-88-04]Master Science Thesis\\
                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[GTA-88-05]Master Science Thesis\\
                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[GTA-88-06]
        Pedroza, A. C. P., Leão, J. L. S. and Fialho, S. V. -
        ``Linguagens para Especificação de Sistemas Distribuídos em
        Automação Industrial'',
        Revista SBA: Controle e Automação vol. 2, no. 2, August 1988.\\

\end{description}

%
%-------------------------- 1987 ----------------------------
%

\vspace{10mm}

\begin{center}
{\large \bf Technical Reports --- 1987}
\end{center}

\begin{description}
\item[GTA-87-01]Graduation Final Project\\
                Author - Gilberto Gonçalves Magalhães\\
                Title - ``O Protocolo de Comunicação Síncrona IBM-BSC''\\
                Advisor - Otto Carlos Muniz Bandeira Duarte\\
                DEL/EE/UFRJ - March 1987

\item[GTA-87-02]Master Science Thesis\\
		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[GTA-87-03]Master Science Thesis\\
                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\\

\item[GTA-87-04]
        Leão, J. L. S. and Pedroza, A. C. P -
        ``Linguagens para Especificação de Sistemas Distribuídos em
        Automação Industrial'',
        Seminário de Automação Industrial, June 1987.\\

\item[GTA-87-05]Graduation Final Project\\
                Authors - Carlos de Castro Goulart, Jalz\'erio de Souza 
		Figueiras, Roberto Cruz de Oliveira Junior\\
                Title - ``Implementa\c c\ão de Protocolos de Comunicação para Automação
	 	Industrial''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                DEL/EE/UFRJ - 1987\\

\item[GTA-87-06]Graduation Final Project\\
                Authors - Martha de Aratanha Simonsen Leal\\
                Title - ``Alarme residencial controlado a microprocessador''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                DEL/EE/UFRJ - 1987\\

\end{description}

%%-------------------------- 1981 ----------------------------
%
%%\vspace{10mm}
%
%\begin{center}
%{\large \bf Technical Reports --- 1981}
%\end{center}
%
%\begin{description}
%\item[GTA-81-01]Graduation Final Project\\
%                Author - A. C. M. Cordeiro, M. C.  Lourenço e H. Tavares\\
%                Title - ``Conversor Analógico-Digital''\\
%                Advisor - Otto Carlos Muniz Bandeira Duarte\\
%                USU - 1981
%\end{description}

%
%-------------------------- 1980 ----------------------------
%

\vspace{10mm}

\begin{center}
{\large \bf Technical Reports --- 1980}
\end{center}

\begin{description}

\item[GTA-80-01]Graduation Final Project\\
		Author - José Roberto Frega\\
		Title - ``Cross-Assembler para o Processador 8085''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte\\
		DEL/EE/UFRJ - 1980

\item[GTA-80-02]Graduation Final Project\\
		Author - Takao Murakami\\
		Title - ``Simulador do 8085 no B-6700''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte\\
		DEL/EE/UFRJ - 1980

\item[GTA-80-03]Graduation Final Project\\
		Author - Lourival José Passos Moreira\\
		Title - ``Programa Monitor para um Sistema de Microcomputador''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte\\
		DEL/EE/UFRJ - 1980

\item[GTA-80-04]Graduation Final Project\\
		Author - Carlos Artexes Simões\\
		Title - ``Sistema de um Microcomputador Baseado no 8085''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte\\
		DEL/EE/UFRJ - 1980

\item[GTA-80-05]Graduation Final Project\\
		Author - Francisco de Assis Silva Monteiro de Castro\\
		Title - ``Gravador de EPROM''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte\\
		DEL/EE/UFRJ - 1980

\item[GTA-80-06]Graduation Final Project\\
		Author - Ivan Toledo Campos da Silva\\
		Title - ``Interface para Gravador K7''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte\\
		DEL/EE/UFRJ - 1980

\end{description}
