Alumni

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

• Pedro Manuel Sabino Rocha, CLASS: A Logical Foundation for Typeful Programming with Shared State, 2022
• Albert van der Linde, Cloud-Edge Hybrid Applications, 2022
• Pedro Emanuel Albuquerque dos Santos,  Applications across Co-located Devices: Studying a Framework-driven Design Approach, 2022
• Cristiano Faveri, Modeling Deception for Cyber Security, 2022
• João André Almeida e Silva, Data Storage and Dissemination in Pervasive Edge Computing Environments, 2021

• David Fernandes Semedo, Bridging Vision and Language over Time with Neural Cross-modal Embeddings, 2020
• António Gelásio Frazão Isidro Teófilo, WiFi-Direct InterNetworking, 2020

• Éric Rocha de Souza, A Value-Driven Framework for Software Architecture, 2019
• Ana Catarina Gralha de Almeida, Quality Evaluation of Requirements Models: The Case of Goal Models and Scenarios, 2019
• Filipe Bastos de Freitas, Characterizing and Enforcing Consistency of Online Services, 2019
• Tiago Marques do Vale, Executing requests concurrently in state machine replication, 2019

• Flávio Nuno Fernandes Martins, Temporal Information Models for Real Time Microblog Search, 2018

• André Belchior Mourão, Towards an Architecture for Efficient Distributed Search of Multimodal Information, 2018
• Carlos Jorge de Sousa Gonçalves, Parallel and Distributed Statistical-based Extraction of Relevant Multiwords from Large Corpora, 2017

• Luís Alexandre Ferreira da Silva, A Pattern-Based Approach to Scaffold the IT Infrastructure Design Process, 2017

• Luis Manuel dos Santos Gomes, Translation Alignment and Extration within a Lexica-Centered Interactive Workflow, 2017

• Rui Miguel Neves Gonçalves Madeira, Model Driven Personalization of Human-Computer Interaction across Ubiquitous Computing Applications, 2017

• Jorge André Nogueira Costa, Time and Space Efficient Data Structures for Supporting Machine Translation Tasks, 2017

• Valter Balegas de Sousa, Invariant preservation in geo-replicated data stores, 2017
• Luís Manuel Tremoceiro Baptista, Using Restarts in Constraint Programming over Finite Domains - An Experimental Evaluation, 2017
• Ankica Barisic, Usability evaluation of Domain-Specific Languages, 2017
• Ricardo Filipe da Cruz Santos de Almeida e Silva, Enhancing exploratory analysis across multiple levels of detail of spatiotemporal events, 2017
• Kavitha Karimbi Mahesh, Augmenting Translation Lexica by Learning Generalized Translation Patterns, 2017
• João Manuel Gomes Moura, Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning, 2016
• Bruno Miguel Nunes da Silva, Exploratory Cluster Analysis from Ubiquitous Data Streams using Self-Organizing Maps, 2016
• Bruno Miguel de Lemos Cardoso, Two Steps Towards Kairos-Awareness, 2016
• Luís Manuel da Costa Assunção, A Model for Scientific Workflows with 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 Automatic Level Generation for Platfom 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 Centieiro, Enhancing 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, Genuine Phrase-Based Statistical Machine Translation with Supervision, 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