Aviso: Se está a ler esta mensagem, provavelmente o browser que utiliza não é compatível com os "standards" recomendados pela W3C.
Sugerimos que actualize o browser para ter uma melhor experiência de utilização.
Mais informações em webstandards.org

 
PT 
 EN
_
ad
 
A FCUP
ALUNOS
ENSINO
INVESTIGAÇÃO
DEPARTAMENTOS
PESSOAS
SERVIÇOS
CONTACTOS
INFOCIÊNCIAS
18 DEZEMBRO / SEGUNDA
07:12
[‹‹]VOLTAR À FICHA DO DOCENTE

ANTÓNIO MÁRIO DA SILVA MARCOS FLORIDO

Orientações e Co-orientações de Teses

5 registos encontrados
DOUTORAMENTOS
Em curso HUGO MIGUEL OLIVEIRA ROMUALDO SIMÕES
Complexidade Computacional Implícita em Linguagens de Programação
Aluno de Doutoramento em CIÊNCIA DE COMPUTADORES, FCUP, , Em curso
ORIENTADOR: António Mário da Silva Marcos Florido
CO-ORIENTADOR: José Martins Carvalho (Universidade de Aveiro)
ORIENTADOR: António Mário da Silva Marcos Florido
CO-ORIENTADOR: José Martins Carvalho (Universidade de Aveiro)
2007 JORGE MANUEL NEVES COELHO
XML Processing in Logic Programming
Doutoramento em CIÊNCIA DE COMPUTADORES, FCUP, Novembro, 2007
ORIENTADOR: António Mário da Silva Marcos Florido
2007 SANDRA MARIA MENDES ALVES
Linearisation of the Lambda-Calculus
Doutoramento em CIÊNCIA DE COMPUTADORES, FCUP, Abril, 2007
ORIENTADOR: António Mário da Silva Marcos Florido
MESTRADOS
2002 JORGE MANUEL NEVES COELHO
Processamento de XML em Programação em Lógica.
Mestrado em INFORMÁTICA, FCUP, Novembro, 2002
ORIENTADOR: António Mário da Silva Marcos Florido
2001 SANDRA MARIA MENDES ALVES
Inferência de Tipos e Resolução de Restrições
Mestrado em INFORMÁTICA, FCUP, Setembro, 2001
ORIENTADOR: António Mário da Silva Marcos Florido
e-LEARNING
AUTENTICAÇÃO
QUICKLINKS
Webmail
Cooperação Internacional
Centro Informática
Biblioteca
Bolsa Emprego
Como chegar à FCUP?
FUNDO ANTIGO
NOTÍCIAS
GALERIA IMAGENS
SAÚDE E BEM-ESTAR
LINHA SOS - UP
AEFCUP
FCUP 2017