Faculdade

Ensino

Alumni

A lista que se segue inclui os estudantes diplomados com o grau de Doutoramento em Informática pela NOVA desde 2000. 

  • João Manuel Gomes Moura, On Modular Answer-Set programming, 2016
  • Bruno Miguel Nunes da Silva, Partilha de Conhecimento entre Mapas auto-organizados em ambientes distribuídos e Úbiquos, 2016
  • Bruno Miguel de Lemos Cardoso, A Framework for Kairos Awarness, 2016
  • Luís Manuel da Costa Assunção, Scientific Workflows: Abstractions and Models for Parallel and Distributed Computing, 2016
  • André Miguel Guedelha Sabino, Potential Indirect Relationships in Productive Networks, 2016
  • Bernardo Luís da Silva Ferreira, Privacy-Preserving Efficient Searchable Encryption, 2016
  • Fausto José da Silva Valentim Mourato, Enhancing Automated Generation of Procedural Levels for Platform Based Videogames, 2016
  • Maria Luísa Sobreira Gouveia Lourenço, A Type System for Value-Dependent Information Flow Analysis, 2016
  • João Paulo da Conceição Soares, Scalling In-Memory databases on multicores, 2016
  • Pedro Miguel da Fonseca CentieiroEnhancing Fan Experience During Live Sports Broadcasts Through Second Screen Applications, 2015
  • Filipe David Oliveira Militão, Rely-Guarantee Protocols for Safe Interference over Shared Memory, 2015
  • Filipa Alexandra Peleja de Madureira, Learning Domain-Specific Sentiment Lexicons with Applications to Recommender Systems, 2015
  • Jorge Miguel Sousa Barreiros, User-centric Product Derivation in Software Product Lines, 2015
  • Rossana Henriques dos Santos, Augmenting Spaces and Creating Interactive Experiences Using Video Camera Networks, 2015
  • Ari Saptawijaya, Machine Ethics via Logic Programming, 2015
  • Bernardo Parente Coutinho Fernandes Toninho, A logical foudation for session-based concurrent computation, 2015
  • José Aires Camacho, Hybrid Semi-Supervised Machine Translation, 2015
  • Nuno Miguel Soares Datia, Using social semantic knowledge to improve annotations in personal photo collections, 2015
  • Ana Sofia Leal Gomes, Transactions in Dynamic Reactive Environments, 2015
  • João Miguel Jones Ventura, Automatic Extraction of Concepts from Texts and Applications, 2014
  • Anacleto Cortez e Correia, Quality of process modeling using BPMN: A model-Driven Approach, 2014
  • Diogo Nuno Crespo Ribeiro Cabral, Pen-Based Multimedia Interfaces, 2014
  • Rui Pedro da Silva Nóbrega, Building interactive spatial and temporal models using multimodal data, 2013
  • Sofia Ester Pereira Reis, Expanding the Magic Circle in Pervasive Casual Play, 2013
  • João Carlos de Brito Dinis, Construção e Edição de Diagramas de Voronoi na Esfera, 2013
  • Ricardo Jorge Freire Dias, Efficient and Correct Transactional Memory using Snapshot Isolation and Static Analysis, 2013
  • Bruno Fontes Barroca, A Framework for Engineering of DSL Families based on Component Reuse, 2013
  • Edward Mauricio Alferez Salinas, Derivation and Consistency Checking of Models in Early Software Product Line Engineering, 2012
  • Elsa Cristina Batista Bento Carvalho, Probabilistic Constraint Reasoning, 2012
  • Han the Han, Intention Recognition, Commitments and Their Roles in the Evolution of Cooperation, 2012
  • Martin Slota, Updates of Hybrid Knowledge Bases, 2012
  • Alexandre Miguel Dos Santos Martins Pinto, Every Normal Logic Program Has a 2-Valued Semantics: Theory, Extensions, Applications, Implementations, 2011
  • Matthias Knorr, Combining Open and Closed World Reasoning for the Semantic Web, 2011
  • Valéria Magalhães Pequeno, Using Perspective Schema and a Reference Model To Design the Etl Process, 2011
  • Hugo Filipe Torres Vieira, A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing, 2010
  • Marco Vargas Correia, Modern Techniques for Constraint Solving: the Casper Experience, 2010
  • Rui Manuel Feliciano de Jesus, Recuperação de Informação Multimédia em Memórias Pessoais, 2010
  • Carmen Pires Morgado, Um Modelo de Grupos para Aplicações Interactivas e Distribuidas, 2009
  • Paulo Orlando Reis Afonso Lopes, A Shared-Disk Parallel Cluster File System, 2009
  • Federico Banti, Evolving Reactive Logic Programs, 2008
  • Isabel Sofia Sousa Brito, Aspect-Oriented Requirements Analysis, 2008
  • João Fernando Lima Alcântara, Paraconsistency, Disjunction and Uncertainty in Logic Programming: a Unifying Aproach Based on Well-Founded Semantics, 2008
  • Miguel Carlos Pacheco Afonso Goulão, Component-Based Software Engineering: a Quantitative Approach, 2008
  • Rui Filipe Pereira Marques, Concurrent Tabling: Algorithms and Implementation, 2007
  • Fernando Pedro Reino Da Silva Birra, Técnicas Eficientes de Simulação de Tecidos Com Realismo Acrescido, 2007
  • Maria Cecilia Farias Lorga Gomes, Pattern Operators for Grid Environments, 2007
  • João Costa Seco, Languages and Types for Component Oriented Programming, 2006
  • Alexandre Agustini, Aquisição Automática de Subcategorização Sintáctico-Semântica e Sua Utilização em Sistemas de Processamento de Língua Natural, 2006
  • Luís Romero, Integraçâo de Ambiente Virtuais Baseados em Vídeo, 2006
  • Sérgio Marco Duarte, Deeds - A Distributed Nd Extensible Event Dissemination Service, 2006
  • Hervé Miguel Cordeiro Paulino, An Infrastructure for Mobile-Service Oriented Computing Encoded on a Porcess Calculus, 2006
  • Vitor Manuel Alves Duarte, Uma Arquitectura para a Monitorização de Computações Paralelas e Distribuídas, 2005
  • Fernanda Maria Barquinha Tavares Vieira Barbosa, Abstrações de Programação Distríbuida Baseadas em Grupos: o Modelo Grouplog, 2004
  • João Manuel Dos Santos Lourenço, A Debugging Engine for Parallel and Distributed Programs, 2004
  • Joaquim Francisco Ferreira Da Silva, Extracção de Unidades Textuais, Agrupamento, Caracterização e Classificação de Documentos, 2004
  • Jorge Paulo Ferreira Simão, Modelação e Simulação Da Evolução de Comportamentos Cooperativos Nos Humanos, 2004
  • Etienne Lozes, Expressivite Des Logiques D'espaces, 2004
  • Jorge Carlos Ferreira Rodrigues Da Cruz, Raciocínios Por Restrições para Modelos Diferenciais, 2003
  • Nuno Manuel Ribeiro Preguiça, Gestão de Dados Partilhados em Ambientes de Computação Móvel, 2003
  • Victor José de Almeida e Sousa Lobo, Classificação de Efeitos Hidrofónicos. Uma Contribuição para o Desenho de Classificadores Baseados em Protótipos, 2003
  • António Manuel Batista Ribeiro, Tradução Com Base em Exemplos, 2002
  • António Manuel Cortes de Morais Arnaud, Qualidade Do Endereço na Infra-Estrutura de Referenciação Espacial Indirecta, 2002
  • Francisco de Moura e Castro Ascensão de Azevedo, Constraint Solving Over Multi-Valued Logics - Application To Digital Circuits, 2002
  • Gael Harry Dias, Extration Automatique D'associations Lexicals a Partir de Corpora, 2002
  • João Alexandre Carvalho Pinheiro Leite, Evolving Knowledge Bases-Specification and Semantics, 2002
  • Berilhes Borges Garcia, Raciocinando Com Medidas de Plausibilidade na Assimilação de Novas Evidências, 2002
  • Susana Maria Dos Santos Nascimento Martins de Almeida, Fuzzy Clustering Via Proportional Membership Model, 2002
  • Vítor Jorge Ramos Rocio, Infra-Estrutura para Superação de Falhas No Processamento Sintéctico de Textos, 2001
  • Artur Miguel de Andrade Vieira Dias, Om - Uma Linguagem de Programação Multi-Paradigma, 2000
  • Henrique João Lopes Domingos, Suporte de Sessões de Trabalho Cooperativo Multi-Síncrono em Ambientes de Grande Escala, 2000
  • João Carlos Gomes Moura Pires, Flexibility As Relaxation in Constraint Satisfaction, 2000
  • Nuno Miguel Cavalheiro Marques, Uma Metodologia para a Modelação Estatística Da Subcategorização Verbal, 2000