\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 Doctor 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}

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

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

\item
                Author - Orlando Bernardo Filho\\
                Title - ``Verificação de Protocolos de Comunicação com Lógica Nebulosa''\\
                Advisor - Aloysio de Castro Pinto Pedroza\\
                COPPE/PEE/UFRJ - April 1999\\
                Portuguese - A4 size

\item
                Author - Jorge Duarte Pires Valério\\
                Title - ``Aquisição de Conhecimento Auxiliada
		por Computador ''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - March 1997

\item
                Author - Nival Nunes de Almeida\\
                Title - ``Modularidade e Composicionalidade de Sistemas
                        Concorrentes''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - March 1997

\item
                Author - Luci Pirmez\\
                Title - ``Uma Metodologia para a Síntese de Alto
		Nível de Protocolos a Partir de uma 
                Descri\c cão Formal''\\
                Advisors - Aloysio de Castro Pinto Pedroza and Antônio 
                Carneiro de Mesquita Filho\\
                COPPE/PEE/UFRJ - July 1996\\
                Portuguese - A4 size - 246 p. - Directory: Luci96 

\item
                Author - João Bosco Mangueira Sobral\\
                Title - ``Uma Liguagem para Especificação
		de Sistemas Distribuídos em Alto Nível
		de Abstração''\\
                Advisor - Jorge Lopes de Souza Leão\\
                COPPE/PEE/UFRJ - March 1996

\item
		Author - Heliomar Medeiros de Lima\\
		Title - ``Protocolos Ponto-a-Multiponto de Alto Desempenho''\\
		Advisor - Otto Carlos Muniz Bandeira Duarte \\
		COPPE/PEE/UFRJ - March 1994

\item
                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

\end{enumerate}


\end{document}
