\documentclass[a4paper,11pt]{article}
\usepackage[portuges]{babel}
\usepackage{hyperlatex}

\input{../xmlattributes.tex}

\dateportuges

\htmltitle{Lista de Publica{\c c}{\~o}es}
\htmladdress{Pedro Quaresma de Almeida - pedro - mat uc pt}

\title{Lista de Publica{\c c}{\~o}es}
%\author{Pedro Quaresma de Almeida}
\date{\today}


\begin{document}

\begin{center} 
  \maketitle  
\end{center} 


\htmlrule


\begin{description}
\item[-] 
\begin{itemize}
  \item Pedro Quaresma, Augusto Pinho, {\em Criptoan\'alise}, Gazeta de
    Matem\'atica, aceite para publica\c c\~ao. 
  \end{itemize}

\item[2008] 
  \begin{itemize}
  \item Vanda Santos, Pedro Quaresma, {\em e-Learning Course for
      Euclidean Geometry}, in Proc. of the The 8th IEEE International
    Conference on Advanced Learning Technologies, pp. 387-388, The 8th
    IEEE International Conference on Advanced Learning Technologies,
    Santander, Cantabria, Spain, July 2008.
    
  \item Pedro Quaresma, Elsa Lopes, {\em Criptografia}, Gazeta de
    Matem\'atica # 154, pp. 7-11, SPM, Mar\c co de 2008.

  \item Pedro Quaresma, Predrag Janicic, J. Tomasevic, M. V.-Janicic,
    and D. Tosic, XML-based Format for Geometry, in Communicating
    Mathematics in the Digital Era, Edited by J.M. Borwein, E.M. Rocha
    and J.F.  Rodrigues, pp 183-197, AK Peters Lda, Wellesley,
    Massachusetts, USA, 2008.
  \end{itemize}
\item[2007]
  \begin{itemize}
  \item Pedro Quaresma, Augusto Pinho, {\em An\'alise de Frequ\^encias
      da L\'\i ngua Portuguesa}, Livro de Actas da Confer\^encia
    Ibero-Americana InterTIC 2007, 3 a 5 de Dezembro de 2007, Porto,
    Portugal, pags 267-272, IASK, 2007.

  \item Pedro Quaresma, {\em Constru\c c\~ao Din\^amica de Documentos
      PDF em P\'aginas Web}, Livro de Actas da Confer\^encia
    Ibero-Americana InterTIC 2007, 3 a 5 de Dezembro de 2007, Porto,
    Portugal, pags 21-27, IASK, 2007.


  \item Pedro Quaresma, Predrag Janicic, \xlink{\em GeoThms - a Web
      System for Euclidean Constructive
      Geometry}{http://dx.doi.org/10.1016/j.entcs.2006.09.020},
    Electronic Notes in Theoretical Computer Science, Vol 174/2 pp
    35-48, 15 May 2007. Proceedings of the UITP'06, Seattle, USA,
    August 21, 2006 (DOI information: 10.1016/j.entcs.2006.09.020).
  \end{itemize}

\item[2006] 
  \begin{itemize}
  \item Predrag Janicic and Pedro Quaresma, \xlink{\em Automatic
      Verification of Regular Constructions in Dynamic Geometry
      Systems (draft)}{Publicacoes/adg06PJPQ.pdf}, Proceedings of the
    ADG06, Pontevedra, Spain, August 31 to September 2, 2006.

  \item Predrag Janicic and Pedro Quaresma, {\em System Description:
      GCLCprover + GeoThms}, U. Furbach and N. Shankar (Eds.), IJCAR
    2006, LNAI 4130, pp 145-150, 2006, Springer-Verlag, Heildelberg,
    2006.

  \item Pedro Quaresma, Predrag Janicic, Jelena Tomasevic, Milena
    Vujosevic-Janicic, Dusan Tosic, {\em XML-based Format for
      Descriptions of Geometrical Constructions and Geometrical
      Proofs}, Proceedings of the CMDE2006, Aveiro, Portugal, August
    15-18, 2006.

  \item Pedro Quaresma and Predrag Janicic, {\em Integrating Dynamic
      Geometry Software, Deduction Systems, and Theorem Repositories},
    J.M. Borwein and W.M. Farmer (Eds), MKM 2006, LNAI 4108, pp
    280-294, 2006, Springer-Verlag, Heildelberg, 2006.

  \item Pedro Quaresma and Predrag Janicic, \xlink{{\em GeoThms -
        Geometry Framework}}{Publicacoes/techRepCISUC0602.pdf}, CISUC
    TR 2006/002, Centre for Informatics and Systems of the University
    of Coimbra, 2006.

  \item Pedro Quaresma e Ana Pereira, {\em Visualiza\c c\~ao de
      Constru{\c c}{\~o}es Geom{\'e}tricas}, Gazeta de Matem{\'a}tica
    151, Julho de 2006, Lisboa.

  \item Pedro Quaresma and Predrag Janicic, \xlink{{\em Framework for
        Constructive Geometry (Based on the Area
        Method)}}{Publicacoes/techRepCISUC0601.pdf}, CISUC TR
    2006/001, Centre for Informatics and Systems of the University of
    Coimbra, 2006.

  \item Pedro Quaresma and Predrag Janicic, \xlink{{\em Automated
        Production of Readable Proofs for Theorems in Euclidian
        Geometry}}{Publicacoes/apresentacaoDaysInLogic06.pdf}, Days in
    Logic'06, Coimbra, 19-21 Janeiro de 2006.
  \end{itemize}

\item[2005] 
  \begin{itemize}
  \item Pedro Quaresma, Visualiza\c c\~ao de Demonstra\c c\~oes
    Geom\'etricas, \xlink{Poster}{Publicacoes/posterENVC05.pdf},
    Encontro Nacional de Visualiza\c c\~ao Cient\'\i fica, Espinho,
    Setembro de 2005.

  \item Pedro Quaresma, {\em Stacks in \TeX}, TUGboat 26(1), \TeX\
    User Group, Portland, USA, 2005.
  \end{itemize}

\item[2003] 
  \begin{itemize}
  \item Pedro Quaresma, Ant{\'o}nio Dourado, Ernesto Costa,
    J. F{\'e}lix Costa (editors), ``Proceedings of the Advanced School
    and Workshop on Soft Computing and Complex Systems'', CIM, 2003.
  \end{itemize}

\item[2002] 
  \begin{itemize}
  \item Pedro Quaresma, {\it Constru{\c c}{\~a}o Modular de Sistemas
      de Dedu{\c c}{\~a}o}, Mem{\'o}rias CISCI2002, Vol II,
    p. 171-176, Orlando, USA, July 2002.

  \item Pedro Quaresma, ``Logical Specification of Commutative
    Diagrams in a (La)TeX Document'', CISUC Technical Report,
    TR2002/001, January, 2002.
  \end{itemize}

\item[2001] 
  \begin{itemize}
  \item Pedro Quaresma, \xlink{{\it DCpic, Commutative Diagrams in a
        (La)TeX Document}}{Publicacoes/eurotex2001.pdf}, Proceedings
    of the Euro\TeX 2001, p. 162-172, Kerkrade, Netherlands, September
    2001.

  \item Pedro Quaresma, \xlink{{\it The Electronic Publishing
        Toolbox}}{Publicacoes/ElectPubToolBox.pdf}, Proceedings of the
    Electronic Media in Mathematics, Coimbra, Portugal, September
    2001.
  \end{itemize}

\item[1998] 
  \begin{itemize}

  \item Pedro Quaresma de Almeida, \xlink{{\it Constru{\c c}{\~a}o
        Modular de Sistemas de Dedu{\c
          c}{\~a}o}}{Publicacoes/tese.pdf}, Disserta{\c c}{\~a}o de
    Doutoramento, Departamento de Inform{\'a}tica da Universidade do
    Minho, 1998.
  \end{itemize}

\item[1996] 
  \begin{itemize}

  \item Pedro Quaresma de Almeida, \xlink{{\it Introdu{\c c}{\~a}o ao
        LaTeX}}{http://www.mat.uc.pt/{\~{}}pedro/LaTeX/Livro.html},
    Escolar Editora, Lisboa, 1996.
  \end{itemize}

\item[1995] 
  \begin{itemize}

  \item Pedro Quaresma, \xlink{{\it Implementing a Deduction System
        for a Guarded Commands Procedural Language Using a Generic
        Theorem Prover}}{Publicacoes/isai95.ps.gz}, Proceedings of the
    11th ISAI, CIS Report #9502, Center for Intelligent Systems,
    Technion - Israel Institute of Technology, Haifa, 1995.
  \end{itemize}

\item[1988] 
  \begin{itemize}

  \item Pedro Quaresma de Almeida, {\it Estudo Comparativo de
      Algoritmos para o Problema de Transporte com Custos-Fixos},
    Disserta{\c c}{\~a}o de Mestrado, Departamento de Matem{\'a}tica
    da Universidade de Coimbra, 1988.
  \end{itemize}

\item[1986] 
  \begin{itemize}

  \item Pedro Quaresma de Almeida e L{\'u}cia A. Martins, {\it A
      Factoriza{\c c}{\~a}o de Equa{\c c}{\~o}es numa Aprendizagem
      Assistida por Computador}, Actas EPIA-86, 1986.
\end{itemize}
\end{description}

\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 

