 |
| ÁREA DE Doutoramento em Ciência de Computadores |
|
ALEXANDRE JORGE TEIXEIRA MIRANDA PINTO
Complexidade de Kolmogorov e Criptografia |
|
|
ANA MARGARIDA LEITE DE ALMEIDA FERREIRA
Modelling Access Control for Health Care Information Systems. |
|
|
ANDRÉ NUNO CARVALHO SOUTO
Computational Depth: Applications |
|
|
DAVID MANUEL GONÇALVES VAZ
Manipulação de Informação Espacial Usando Programação Lógica |
|
|
EDUARDO RESENDE BRANDÃO MARQUES
Computação Distribuída para Plataformas de Software Embebido e de Tempo Real com Aplicação à Robótica |
|
|
GERHARD MAIERBACHER
Scalable Coding Strategies for Wireless Sensor Network |
|
|
HUGO MIGUEL OLIVEIRA ROMUALDO SIMÕES
Complexidade Computacional Implícita em Linguagens de Programação |
|
|
JOÃO PAULO DA SILVA MACHADO GARCIA VILELA
Estratégias de Segurança em Redes Dinâmicas com Cooperação |
|
|
LUÍS MIGUEL PINHO NOGUEIRA
Formação Dinâmica de Coligações em Sistemas Heterogéneos de Tempo Real |
|
|
LUÍSA MARINA MOYA PRAÇA DE ARAÚJO LIMA
Secure Network Coding |
|
|
MARCO ANDRÉ FERREIRA DE ALMEIDA
Caracterização da Complexidade Descritiva de Linguagens Regulares |
|
|
MÁRIO JOÃO GONÇALVES ANTUNES
Modelos Imunológicos Reactivos para a Detecção Automática de Intrusões numa Rede |
|
|
MÁRIO RAFAEL DA SILVA AMADO ALVES
Hipertexto Adaptativo |
|
|
PAULO VASCO FALCÃO MARTINS DE OLIVEIRA
Protocolos Seguros para Redes de Sensores |
|
|
PEDRO BRÁS TORRES PEREIRA
Algoritmos Paralelos para Construção e utilização de Índices Completos |
|
|
PEDRO MANUEL PINTO RIBEIRO
Algoritmos de Distribuição de Tarefas em Plataformas para Computação |
|
|
PEDRO PEREIRA RODRIGUES
Learning From Ubiquitous Data Streams. |
|
|
ROLANDO DA SILVA MARTINS
Desenho e Implementação de um Middleware com Suporte para o Tempo Real para Sistemas Heterogéneos com Aplicação a Sistemas de Transportes |
|
|
RUI FILIPE MENDES ALVES DA COSTA
Fluxos de Informação em Redes Complexas |
|
|
SÉRGIO ARMINDO LOPES CRISÓSTOMO
Network Coding in Dynamic Networks: Self-Organization and Topology Control |
|
|
TIAGO ALEIXO DE SOUSA SOARES
Base de Dados Dedutivas e Paralelismo |
|
|
