|
|
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.
|
