21 OUTUBRO / DOMINGO / 20:02
FCUP PT 
 EN
 
 
APRESENTAÇÃO
PESSOAS
ENSINO
INVESTIGAÇÃO
BIBLIOTECA
NOTÍCIAS
CONTACTOS
Áreas de Investigação
LIACC
Projectos
Publicações
Revistas
Proceedings
Didácticas
Manuais
Alunos de Doutoramento
Teses de Doutoramento
Teses de Mestrado
Relatórios Técnicos

References

( The central system is not fully updated with all the publications from our Dept.
So this page will list all the publications until the update process is complete)
)

 

2004 (didactic publications)

[Filgueiras and Ribeiro, 2004]
Miguel  Filgueiras, Pedro Ribeiro, Alguns Problemas de Prolog, DCC & LIACC, Universidade do Porto, 2004.  

2003 (didactic publications)

[Matos, 2003b]
Armando  Matos, Modelos de computações reversíveis. Sumário da lição de síntese para apresentação a provas de agregação. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 2003.
[Matos, 2003c]
Armando  Matos, Programação Imperativa. Relatório para apresentação a provas de agregação. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 2003.
[Filgueiras, 2003a]
Miguel  Filgueiras, Uma Animação Simples em noweb. DCC-FC & LIACC, Universidade do Porto, 2003.
[Filgueiras, 2003b]
Miguel  Filgueiras, Grelhas e Estruturas Cíclicas em Prolog. DCC-FC & LIACC, Universidade do Porto, 2003.
[Silva, 2003]
Fernando  Silva, Estruturas de Dados e Algorimos: apontamentos das aulas teóricas, 2a edição. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 2003.
[Tomás, 2003]
Ana Paula  Tomás, Apontamentos de Métodos de Apoio à Decisão. DCC-FC & LIACC, Universidade do Porto, 2003.  

2001 (didactic publications)

[Filgueiras, 2001a]
Miguel  Filgueiras, revisão de "Problemas Simples de Programação", (FEUP 1979, FCUP 1986). DCC, Faculdade de Ciências da Universidade do Porto, 2001.
[Tomás, 2001a]
Ana Paula  Tomás, Métodos de Apoio à Decisão, Caps 1-3, DCC-FCUP, revisto em 2001.  

2000 (didactic publications)

[Filgueiras, 2000a]
Miguel  Filgueiras, Uma Implementação do Algoritmo "Quicksort" em noweb. DCC-FC & LIACC, Universidade do Porto, 2000.
[Silva, 2000a]
Fernando  Silva, Sistemas de Operação: apontamentos das aulas teóricas, Departamento de Ciência de Computadores, FCUP, 2000.
[Silva, 2000b]
Fernando  Silva, Bases de dados: apontamentos das aulas teóricas, Departamento de Ciência de Computadores, FCUP, 2000.  

1999 (didactic publications)

[Broda, 1999a]
Sabine  Broda, Exercícios de Modelos de Computação. Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, 1999/00.
[Broda, 1999b]
Sabine  Broda, Programação Declarativa, Exercícios de Haskell, Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, 1999.
[Filgueiras, 1999b]
Miguel  Filgueiras, Uma Implementação do Algoritmo "Quicksort" em CWEB-LaTeX. DCC-FC & LIACC, Universidade do Porto, 1999.
[Filgueiras, 1999c]
Miguel  Filgueiras, Um Programa de Simulação. DCC-FC & LIACC, Universidade do Porto, 1999.
[Reis and Broda, 1999]
Rogério  Reis and Sabine  Broda, Exercícios de Matemática para Ciência de Computadores. Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, 1999.
[Tomás, 1999a]
Ana Paula  Tomás, Apontamentos de Modelos de Computação, DCC-FC & LIACC, Universidade do Porto, 1999.
[Tomás, 1999b]
Ana Paula  Tomás, Apontamentos de Métodos de Apoio à Decisão, Caps 1-3, Versão preliminar, DCC-FC & LIACC, Universidade do Porto, 1999.  

1998 (didactic publications)

[Leal and Broda, 1998]
José P.  Leal and Sabine  Broda, Introdução aos Computadores. Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, 1998/99.
[Broda, 1998]
Sabine  Broda, Lógica Computacional. Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, 1998.  

1997 (didactic publications)

[Moreira, 1997b]
Nelma  Moreira, Lógica Proposicional, Álgebra de Boole e Circuitos Lógicos. Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, 1997.
[Moreira, 1997c]
Nelma  Moreira, Exercícios de Programação em Linguagem C. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1997.
[Tomás and Moreira, 1997a]
Ana Paula  Tomás and Nelma  Moreira, Bases de Numeração e Representação de Números em Computador. Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, 1997.
[Moreira, 1997d]
Nelma  Moreira, Bases de Numeração e Representação de Números em Computador, Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, 1997.
[Tomás, 1997b]
Ana Paula  Tomás, Alguns Exercícios de Programação em Linguagem C. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1997.
[Tomás, 1997c]
Ana Paula  Tomás, Breve Introdução ao UNIX, EMACS, e GDB. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1997.
[Tomás and Moreira, 1997b]
Ana Paula  Tomás and N.  Moreira, Alguns Exercícios de Inteligência Artificial. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1997.
[Matos, 1997d]
Armando  Matos, Estruturas de dados e Algoritmos -- Algumas notas. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1997.
[Matos, 1997e]
Armando  Matos, Modelos Formais de Computação -- Algumas notas. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1997.
[Filgueiras, 1997a]
Miguel  Filgueiras, Processamento de Música em Computador. Sumário da lição de síntese para apresentação a provas de agregação na Universidade do Minho. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1997.
[Filgueiras, 1997b]
Miguel  Filgueiras, Programação em Prolog. Relatório para apresentação a provas de agregação na Universidade do Minho. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1997.
[Moreira and Matos, 1997a]
Nelma  Moreira and Armando B.  Matos, Complexidade de Kolmogorov. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1997.
[Moreira and Matos, 1997b]
Nelma  Moreira and Armando B.  Matos, Decidibilidade. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1997.
[Broda, 1997b]
Sabine  Broda, Exercícios de Lógica Computacional. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1997.
[Broda, 1997c]
Sabine  Broda, Lógica Computacional. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1997.  

1996 (didactic publications)

[Moreira, 1996]
Nelma  Moreira, Algumas Notas e Exercícios de Teoria da Computação. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1996.
[Tomás, 1996]
Ana Paula  Tomás, Notas de Tópicos de Matemática Discreta. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1996.
[Matos and Moreira, 1996]
Armando  Matos and N.  Moreira, Decidibilidade. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1996.
[Matos et al., 1996]
Armando  Matos, N.  Moreira, A. P.  Tomás, and P.  Vasconcelos, Exercícios de Tópicos de Matemática Discreta. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1996.
[Filgueiras, 1996a]
Miguel  Filgueiras, Decisões e Restrições. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1996.
[Filgueiras, 1996b]
Miguel  Filgueiras, Exemplos de Modelos de Sistemas de Espera. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1996.
[Filgueiras, 1996c]
Miguel  Filgueiras, Elementos de Programação de Computadores. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1996 (rev. 1997).
[Moreira and Tomás, 1996]
Nelma  Moreira and A. P.  Tomás, Notas e Exercícios de Introdução aos Computadores. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1996.
[Moreira and Matos, 1996]
Nelma  Moreira and A.  Matos, Complexidade de Kolmogorov e Informação Algorítmica. Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 1996.  

1994 (didactic publications)

[Silva and Matos, 1994]
Fernando  Silva and A.  Matos, Alguns programas disponíveis no CIUP. In [Silva and Costa (eds.), 1994].
[Silva and Costa (eds.), 1994]
Fernando  Silva and V. Santos  Costa (eds.), A Universidade do Porto na Rede Global de Comunicações. Laboratório de Inteligência Artificial e Ciência de Computadores, Universidade do Porto, 1994.
[Leal and Reis, 1994]
José P.  Leal and R.  Reis, Tudo o que você quis saber sobre correio electrónico mas não tinha ninguém a quem perguntar. In [Silva and Costa (eds.), 1994].
[Lopes, 1994]
Luís  Lopes, Introdução ao WAIS. In [Silva and Costa (eds.), 1994].
[Correia and Silva, 1994]
Manuel E.  Correia and F.  Silva, Introdução ao WWW. In [Silva and Costa (eds.), 1994].
[Filgueiras and Moreira, 1994]
Miguel  Filgueiras and N.  Moreira, Bart: um servidor de ftp por correio electrónico. In [Silva and Costa (eds.), 1994].
[Moreira, 1994a]
Nelma  Moreira, Telnet: Acesso remoto na Internet. In [Silva and Costa (eds.), 1994].
[Moreira, 1994b]
Nelma  Moreira, Transferência de ficheiros e o serviço de ftp anónimo na Internet. In [Silva and Costa (eds.), 1994].
[Reis, 1994]
Rogério  Reis, Pine, um cliente "amigável" de email. In [Silva and Costa (eds.), 1994].
[Vasconcelos, 1994]
Pedro  Vasconcelos, Introdução às USENET News. In [Silva and Costa (eds.), 1994].
[Costa et al., 1994d]
Vítor  Costa, F.  Silva, and M.  Florido, Descubra a Internet via Gopher. In [Silva and Costa (eds.), 1994].  

1993 (didactic publications)

[Matos, 1993c]
Armando  Matos, Desenvolvimento de Programas -- Alguns Exemplos. Revisão da publicação com o mesmo título de 1987. Centro de Informática da Universidade do Porto, 1993.  

1992 (didactic publications)

[Matos, 1992]
Armando  Matos, Desenvolvimento de Programas Eficientes. Centro de Informática da Universidade do Porto, 1992.
[Filgueiras, 1992a]
Miguel  Filgueiras, Redes Neuronais e Computadores Digitais. Centro de Informática da Universidade do Porto, 1992, revisto em 1993.  

1991 (didactic publications)

[Broda, 1991]
Babine  Broda, Aplicações do Teorema de Compacidade à Teoria de Modelos. Relatório de uma aula prática apresentado à Universidade do Porto no âmbito das provas de aptidão pedagógica e capacidade científica, 1991.  

1990 (didactic publications)

[Matos, 1990h]
Armando  Matos, Breve Introdução aos Autómatos Finitos. Faculdade de Ciências, Universidade do Porto, 1990.
[Matos, 1990i]
Armando  Matos, Desenvolvimento de Algoritmos Eficientes. Faculdade de Ciências, Universidade do Porto, 1990.
[Filgueiras, 1990b]
Miguel  Filgueiras, Processamento de Linguagem Natural. Notas para apoio a uma palestra integrada no Curso de Verão Inteligência Artificial, Faculdade de Filosofia, Universidade Católica, Braga, 1990.  

1989 (didactic publications)

[Matos, 1989a]
Armando  Matos, Fundamentos da Análise de Algoritmos. Faculdade de Ciências, Universidade do Porto, 1987.
[Matos, 1989b]
Armando  Matos, Teorema de Cook. Faculdade de Ciências, Universidade do Porto, 1987.
[Matos, 1989c]
Armando  Matos, Complexidade. Relatório apresentado a concurso para Professor Associado. Faculdade de Ciências, Universidade do Porto, 1989.
[Damas, 1989]
Luís  Damas, Teoria da Computação. Relatório apresentado a concurso para Professor Associado. Faculdade de Ciências, Universidade do Porto, 1989.  

1988 (didactic publications)

[Matos, 1988a]
Armando  Matos, Algoritmos de Procura de "Strings". Faculdade de Ciências, Universidade do Porto, 1987.
[Matos, 1988b]
Armando  Matos, Introdução às Gramáticas Independentes de Contexto. Faculdade de Ciências, Universidade do Porto, 1987.
[Matos, 1988c]
Armando  Matos, Introdução à Programação. Faculdade de Ciências, Universidade do Porto, 1987.
[Filgueiras, 1988a]
Miguel  Filgueiras, Exemplos de Técnicas de Programação. Faculdade de Ciências, Universidade do Porto, 1988.
[Filgueiras, 1988b]
Miguel  Filgueiras, Programação Não Numérica. Relatório apresentado a concurso para Professor Associado. Faculdade de Ciências, Universidade do Porto, 1988.  

1987 (didactic publications)

[Matos, 1987d]
Armando  Matos, Programação Estruturada -- Algumas Notas sem Estrutura. Faculdade de Ciências, Universidade do Porto, 1987.
[Matos, 1987e]
Armando  Matos, Desenvolvimento de Programas -- Alguns Exemplos. Faculdade de Ciências, Universidade do Porto, 1987.
[Matos, 1987f]
Armando  Matos, Apontamentos de Tópicos de Matemática Discreta. Faculdade de Ciências, Universidade do Porto, 1987.
[Matos, 1987g]
Armando  Matos, Introdução à Linguagem Assembler do 68000. Faculdade de Ciências, Universidade do Porto, 1987.
[Matos, 1987h]
Armando  Matos, Algumas Notas sobre Demonstração Automática. Faculdade de Ciências, Universidade do Porto, 1987.
[Filgueiras, 1987c]
Miguel  Filgueiras, Comunicação com sistemas inteligentes. Revista de Informática, vol. 6, no. 3, 1987. Also in Actas do Encontro A Juventude, a Universidade e os desafios tecnológicos do ano 2000, Associação de Estudantes da F.E.U.P., 1987.
[Filgueiras, 1987d]
Miguel  Filgueiras, Inteligência Artificial, Inteligência e Artificial Inteligência ou Artificial. Futuro, Ano 1, 6, 1987.  

1986 (didactic publications)

[Filgueiras, 1986b]
Miguel  Filgueiras, revisão de apontamentos publicados em 1979: Algoritmos Numéricos Básicos, Problemas Simples de Programação. Faculdade de Ciências, Universidade do Porto, 1986.
[Filgueiras and Costa, 1986]
Miguel  Filgueiras and V. Santos  Costa, Introdução aos Computadores. Faculdade de Ciências, Universidade do Porto, 1986.  

1985 (didactic publications)

[Filgueiras, 1985]
Miguel  Filgueiras, Conceitos Básicos de Programação. Faculdade de Ciências, Universidade do Porto, 1985.  

1979 (didactic publications)

[Matos, 1979]
Armando  Matos, Introdução às Linguagens Estruturadas. Departamento de Engenharia Electrotécnica, Universidade do Porto, 1979.
[Matos and Filgueiras, 1979]
Armando  Matos and Miguel  Filgueiras, Programação em PASCAL. Centro de Informática, Universidade do Porto, 1979.
[Filgueiras, 1979b]
Miguel  Filgueiras, Introdução aos Computadores. Departamento de Engenharia Mecânica, Universidade do Porto, 1979.
[Filgueiras, 1979c]
Miguel  Filgueiras, Algoritmos Numéricos Básicos. Departamento de Engenharia Mecânica, Universidade do Porto, 1979.
[Filgueiras, 1979d]
Miguel  Filgueiras, Problemas Simples de Programação. Departamento de Engenharia Mecânica, Universidade do Porto, 1979.  

1978 (didactic publications)

[Matos, 1978a]
Armando  Matos, Algoritmos e Estruturas de Informação; Listas Lineares. Departamento de Engenharia Electrotécnica, Universidade do Porto, 1978.  

1977 (didactic publications)

[Filgueiras, 1977a]
Miguel  Filgueiras, Elementos de Análise Numérica. Departamento de Engenharia Mecânica, Universidade do Porto, 1977.
[Filgueiras, 1977b]
Miguel  Filgueiras, Problemas e Exemplos de Programação em BASIC. Departamento de Engenharia Mecânica, Universidade do Porto, 1977.
[Filgueiras, 1977c]
Miguel  Filgueiras, Utilização da Linguagem BASIC no Computador ICL 4130 (LACA), (free) translation of L. Grimbleby, An Introduction to BASIC Programming, University of Reading, 1971. Departamento de Engenharia Mecânica, Universidade do Porto, 1977.  

1975 (didactic publications)

[Filgueiras, 1975]
Miguel  Filgueiras, Notas sobre diagramas de sequência, Programação Linear, Notas sobre Filas de Espera, Simulação. In C. A. R. Moreira da Silva, M. Filgueiras, Investigação Operacional, Departamento de Engenharia Mecânica, Universidade do Porto, 1975/76, 1978.
FCUP 2018