Supervisions
Total Supervisions: 209
Doctoral Theses
- Statistical Learning for Multi-omics Integration in Precision Cancer Medicine
Ana Rita Baião
Emanuel Gonçalves (advisor), Susana Vinga (coadvisor)
Doctoral Thesis, Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa, 2023-10-01 - Ongoing - Developing computational tools for the construction of mixed regulatory-metabolic models
Diogo Couceiro
Pedro T. Monteiro (advisor), Miguel Teixeira (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2023-03-01 - Ongoing - Role of CFTR in Epithelial Differentiation and EMT by Functional Genomics
Cláudia Alexandra Da Silva Rodrigues
Margarida Sofia Pereira Duarte Amaral, (advisor), Emanuel Gonçalves (coadvisor)
Doctoral Thesis, Universidade de Lisboa, 2022-01-01 - Ongoing - Exploring Usable Security to Improve the Impact of Formal Verification
Carolina Carreira
João F. Ferreira (advisor), Alexandra Mendes (FEUP) and Nicolas Christin (CMU) (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-05-01 - Ongoing - Reasoning about Persistent Programs (working title)
Ricardo Ciríaco da Graça
João F. Ferreira (advisor), Azalea Raad (Imperial College London) (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-03-01 - Ongoing - A detailed study on molecular mechanism of pluripotency in testicular stem cells an insilico study
Praveen Kumar Guttula
Pedro T. Monteiro (advisor), Mukesh Kumar Gupta (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-04-01 - 2018-08-01 - Experiment Design for Boolean models
Robert Schwieger
Pedro T. Monteiro (advisor), Heike Siebert (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-04-01 - 2018-06-01 - Leveraging Know Vulnerabilities to Modernize Static Analysis Tools
Sofia Oliveira Reis
Rui Abreu (advisor),
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-04-01 - Ongoing - Acquiring Planning Models from Narrative Synopses
Thomas Hayton
Julie Porteous (advisor), João F. Ferreira (coadvisor)
Doctoral Thesis, Teesside University, 2016-09-01 - 2019-12-01 - Solving Scheduling Problems under Disruptions
Alexandre Lemos
Inês Lynce (advisor), Pedro T. Monteiro (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2016-09-01 - 2021-07-01 - Hitting set dualization problems and applications
Alessandro Previti
Joao Marques Silva (advisor), António José dos Reis Morgado (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015-10-01 - Ongoing - Efficient attractor characterization in large discrete event systems: application to biological regulatory networks
Pedro Varela
Pedro T. Monteiro (advisor), Claudine Chaouiya (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015-02-01 - 2019-09-01 - Constraint-Based Multi-Objective Combinatorial Optimization
Miguel Neves
Vasco Manquinho (advisor), Inês Lynce (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015-01-01 - 2019-06-01 - Parallel Search for Maximum Satisfiability
Ruben Carlos Gonçalves Martins
Inês Lynce (advisor), Vasco Manquinho (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2009-02-01 - 2013-09-01 - Satisfiability-based Algorithms for Haplotype Inference
Ana Sofia Graça
Inês Lynce (advisor), Arlindo L. Oliveira (coadvisor)
Doctoral Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2006-10-01 - 2011-01-01 - Model Revision of Boolean Logical Models of Biological Regulatory Networks
Filipe Gouveia
Pedro T. Monteiro (advisor), Inês Lynce (coadvisor)
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2006-02-01 - 2021-09-01 - Techniques for the resolution of dependencies in the installation process of software components
Paulo Trezentos
Arlindo L. Oliveira (advisor), Inês Lynce (coadvisor)
Doctoral Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2004-09-01 - 2011-07-01 - A formal approach to long running transactions
Cátia Vaz
C. Ferreira (advisor),
Doctoral Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2004-03-01 - 2010-09-01 - Modelo Conceptual para Auditoria Organizacional Contínua com Análise em Tempo Real
Carlos Alberto Lourenço dos Santos
José Manuel Nunes Salvador Tribolet (advisor), C. Ferreira (coadvisor)
Doctoral Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2002-03-01 - 2007-02-01 - Propositional Satisfiability: Techniques, Algorithms and Applications
Inês Lynce
Joao Marques Silva (advisor),
Doctoral Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2001-03-01 - 2005-02-01 - Backtracking relaxation algorithms for propositional satisfiability
Ateet Bhalla
José T. de Sousa (advisor), Joao Marques Silva (coadvisor)
Doctoral Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2001-01-01 - 2007-12-01 - Algorithms for Linear Pseudo-Boolean Optimization
Vasco Manquinho
Joao Marques Silva (advisor),
Doctoral Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 1999-08-01 - 2006-07-01 - Models and Algorithms for Optimization Problems in Digital Circuits Testing
Paulo Flores
Horácio C. Neto (advisor), Joao Marques Silva (coadvisor)
Doctoral Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 1970-01-01 - 2001-12-01
Master's Theses
- "Verifying Distributed Protocols With Alloy
Nuno Policarpo
José Santos (advisor), João Carlos Antunes Leitão (coadvisor)
Master's Thesis, Instituto Superior Técnico, 2023-10-18 - 2024-10-18 - Deep learning techniques for cancer classification using multi omics data
Yhay
Pedro T. Monteiro (advisor),
Master's Thesis, Instituto Superior Técnico, 2023-10-12 - Ongoing - Project: "A CVC5 Backend for Efficient SMT Solving in OCaml"
João Pereira
José Fragoso Santos (advisor),
Master's Thesis, Instituto Superior Técnico, 2023-10-02 - Ongoing - Specification-Driven Synthesis of Summaries for Symbolic Execution
Rafael Gonçalves
José Fragoso Santos (advisor),
Master's Thesis, Instituto Superior Técnico, 2023-09-07 - Ongoing - Vicinity Characterization of Monotone Non-Degenerate Multivalued Functions
Patrícia Roxo
Vasco Manquinho (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2023-03-01 - Ongoing - Machine Learning Techniques for Reliable Infrastructure Code
Sancha Barroso
João F. Ferreira (advisor), Alberto Abad (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2023-02-01 - Ongoing - Synthetic data generation and imputation using deep learning
Jorge Daniel de Sousa Ribeiro
Emanuel Gonçalves (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2023-02-01 - Ongoing - A Typed Intermediate Languange for Specifying the ECMAScript Standard
André Nascimento
José Fragoso Santos (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-11-01 - Ongoing - Automated Program Repair of Persistent Programs (Working title)
Rodrigo Antunes
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing - Automatic Detection of Code Smells in Docker (Working title)
Miguel Henriques
João F. Ferreira (advisor), Alexandra Mendes (FEUP) (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing - Automatic Detection of Code Smells in Terraform (Working title)
João Gonçalves
João F. Ferreira (advisor), Alexandra Mendes (FEUP) (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing - Automatic Source Code Summarization using Transformers
Bernardo Lourenço
Alberto Abad (advisor), João F. Ferreira (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing - Extending EcoAndroid with Automated Energy Profiling (Working title)
Miguel Jardim
João F. Ferreira (advisor), Alexandra Mendes (FEUP) (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing - Integrating Meta-Heuristics and Logic-based techniques for Political Districting
Mariana Brandão
Vasco Manquinho (advisor), Luís M. S. Russo (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing - Logic-based Algorithms for Political Districting
João Filipe
Vasco Manquinho (advisor), Inês Lynce (coadvisor)
Master's Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing - RPTester: Randomized Persistency Testing of File-Manipulating Programs (Working title)
André Figueiredo
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-10-01 - Ongoing - Studying Contract Usage in Android Mobile Applications (Working title)
David Ferreira
Alexandra Mendes (advisor), João F. Ferreira (coadvisor)
Master's Thesis, Faculdade de Engenharia da Universidade do Porto, 2022-10-01 - Ongoing - Automatic detection of anomalies in micro-service architectures
Valentim Dias Romão
Luis Rodrigues (advisor), Vasco Manquinho (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - Automatic Vulnerability Detection for Node.js Applications
Miguel Monteiro
Nuno Santos (advisor), José Fragoso Santos (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - Clinical and Molecular Characterization of Sarcomas Using Machine Learning Multiomics Integration
Manuel Ravasqueira
Emanuel Gonçalves (advisor), Lina Marcela Gallego Páez (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - Deep neural networks for multi omics integration
Nelson Trindade
Pedro T. Monteiro (advisor), Emanuel Gonçalves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - Development of Python library to integrate metabolic and regulatory networks
Sebastião Zoio Martins Ferreira dos Santos
Pedro T. Monteiro (advisor), Emanuel Gonçalves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - Graph neural networks to model protein function and interaction
Nelson Alexandre Geada Trindade
Emanuel Gonçalves (advisor), Pedro T. Monteiro (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - Interpretable machine learning approaches to predict drug combinations in cancer
Raul Pacheco Sarkar
Emanuel Gonçalves (advisor), Susana Vinga (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - IPST Blood Collection/Consumption Data: Models for Blood Collections Optimization
Guilherme Carlota
Pedro T. Monteiro (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - Machine learning and bioinformatics analyses of cancer protein networks
Miguel Dinis Madeira Agostinho de Sousa
Emanuel Gonçalves (advisor), Pedro Beltrão (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - Precision medicine and computational biology approaches to study protein networks and find novel therapeutic targets for cancer.
Miguel de Sousa
Emanuel Gonçalves (advisor), Pedro Beltrão (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - Reasoning Over Indirect Discrimination
Mariana Cintrão
Inês Lynce (advisor), Filipe Gouveia (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - Synthesizing Code Search Queries From Code Examples
Ricardo Fernandes
Inês Lynce (advisor), Miguel Ângelo da Terra Neves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - Transactional causal consistency for micro-services architectures
João Miguel Rocha Queirós
Luis Rodrigues (advisor), Vasco Manquinho (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-09-01 - Ongoing - Context-aware forecasting of blood donation and demand
Miguel Dauphinet
Pedro T. Monteiro (advisor), Rui Miguel Carrasqueiro Henriques (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-07-01 - Ongoing - An Investigation Into User Expectations for Formal Verification (Working title)
Mariana Soares
Alexandra Mendes (advisor), João F. Ferreira (coadvisor)
Master's Thesis, Faculdade de Engenharia da Universidade do Porto, 2022-03-01 - Ongoing - CMU Portugal as a hub for internacional and inter-institucional collaborations
João Antunes
Inês Lynce (advisor), Silvia Castro (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-03-01 - Ongoing - Database for CMU Portugal
Inês Morais
Inês Lynce (advisor), Silvia Castro (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-03-01 - Ongoing - Generative models to identify precision medicine approaches for cancer
Sofia Apolinário
Emanuel Gonçalves (advisor), Manuel Lopes (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-03-01 - 2023-07-03 - Robustness and stochasticity in Boolean networks
Samuel Lúcio Vicente
Pedro T. Monteiro (advisor), Claudine Chaouiya (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-02-01 - 2023-06-01 - A JavaScript Compiler for Program Analysis
Rui Paças
José Fragoso Santos (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-01-01 - Ongoing - Descriptive and predictive modelling of blood activity in Portugal
José Diogo Castro
Pedro T. Monteiro (advisor), Rui Miguel Carrasqueiro Henriques (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-01-01 - 2022-12-01 - Sparse and Interpretable Models for Drug Mechanism-of-Action Discovery
Ana Rita Baião
Susana Vinga (advisor), Emanuel Gonçalves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2022-01-01 - 2022-11-01 - A Comparative Study of Self-Supervised Learning Techniques for Functional Program Repair
André Nunes Silva
João F. Ferreira (advisor), Martin Monperrus, KTH Royal Institute of Technology (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01 - Automated Program Repair of Dafny Programs: Repairing Arithmetic Programs
Hugo Rafael Fecha Martins
João F. Ferreira (advisor), Alexandra Mendes (FEUP) (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01 - Automatic Bug Prioritization of SmartBugs Reports using Machine Learning
João Dinis
João F. Ferreira (advisor), Rui Abreu (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01 - Extending the Concert Framework to Verify Solana Programs
João Gomes
João F. Ferreira (advisor), Pedro Adão (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01 - Formal Specification and Verification of the Lazy JellyFish Skip List: A Case Study in Iris on the Verification of Concurrent Maps with Version Control
Pedro Carrott
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01 - GLITCH: Polyglot Code Smell Detection for Infrastructure as Code
Nuno Saavedra
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01 - Reasoning About Persistent and Concurrent Data Structures: Evaluating the Persistent Owicki-Gries Program Logic Through the Verification of a Persistent Queue
Francisco Mendes
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - 2022-11-01 - Towards Formal Verification of Variational Quantum Algorithms (Working title)
Marcelo Mouta
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-10-01 - Ongoing - ArcticTern: Automated Code Migration
Afonso Miguel Oliveira de Sousa Ribeiro
Vasco Manquinho (advisor), Miguel Ventura (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-09-01 - 2022-11-01 - Data Formatting Synthesis by Example
Pedro Nunes
Inês Lynce (advisor), Miguel Ângelo da Terra Neves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-09-01 - 2022-11-01 - Incremental Synthesis of OutSystems Logic
Andreia Pereira
Inês Lynce (advisor), Alexandre Duarte de Almeida Lemos (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-09-01 - 2022-11-01 - IPST blood collection data - Learning temporal-geographical patterns
Mariana Gonçalves Brejo
Pedro T. Monteiro (advisor), Rui Miguel Carrasqueiro Henriques (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-09-01 - 2022-11-01 - IPST blood collection data - Models for blood collections optimization
Tomás Ferrage Inácio
Pedro T. Monteiro (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-09-01 - 2022-11-01 - Link significance in network contagion resilience processes
Guilherme Cristóvão e Silva Ribeiro
Pedro T. Monteiro (advisor), Andreia Sofia Teixeira (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-09-01 - 2022-11-01 - Multilayer network science approach to map functional clusters between yeast networks
Fábio Gabriel Rocha Cruz
Pedro T. Monteiro (advisor), Andreia Sofia Teixeira (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-09-01 - 2022-11-01 - Multilayer network science approach to map functional clusters between yeast networks.
Fábio Cruz
Pedro T. Monteiro (advisor), Andreia Sofia Teixeira (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-09-01 - Ongoing - Optimization models for IPST blood collection
Tomás Inácio
Pedro T. Monteiro (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-09-01 - 2022-11-01 - Using Electronic Health Records to unveil Gender Differences in Patients with Multimorbidity
Maria Manuel Lopes Jacinto
Pedro T. Monteiro (advisor), Andreia Sofia Teixeira (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-09-01 - 2022-06-01 - A Metabolic-Regulatory Genome-Scale Integration forSaccharomyces cerevisiae: Predicting Targets forIncreased Ethanol Production
Carolina Parada
Pedro T. Monteiro (advisor), Miguel C. Teixeira (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-02-01 - 2021-12-01 - A Study on Generating Q# Quantum Programs using a Sequence-To-Sequence Machine Learning model
Miguel Trinca
João F. Ferreira (advisor), Rui Abreu (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-02-01 - 2022-11-01 - Context-based predictive models for medical emergencies
João Lopes Palet de Almeida
Vasco Manquinho (advisor), Rui Miguel Carrasqueiro Henriques (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2021-02-01 - 2022-03-01 - Code-Stepping Regular Expressions in the Browser
Luís Alberto Carvalho de Almeida
José Fragoso Santos (advisor),
Master's Thesis, Universidade de Lisboa, 2021-01-01 - 2021-11-01 - Using Natural Language Processing to Find Bugs in Java Source Code
Alexandre Simão Pereira Faria
João F. Ferreira (advisor), Alberto Abad (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-11-01 - Ongoing - A Reference Implementation of JavaScript Built-in Libraries
David Manuel Sales Gonçalves
José Fragoso Santos (advisor),
Master's Thesis, Universidade de Lisboa, 2020-10-01 - 2021-11-01 - Automatic Chart Interpretation
Catarina Julião Relvas Pires
Vasco Manquinho (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-10-01 - 2021-11-01 - Next-Gen Pure Function Synthesis in OutSystems
Joana Maria Leal Coutinho
Inês Lynce (advisor), Miguel Neves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-10-01 - 2021-11-01 - Platform-independent Summaries for Efficient Symbolic Execution
Frederico Duarte Ramos
José Fragoso Santos (advisor), Pedro Adão (coadvisor)
Master's Thesis, Universidade de Lisboa, 2020-10-01 - 2021-11-01 - Robust Symbolic Execution for WebAssembly
Filipe dos Santos Oliveira Marques
José Fragoso Santos (advisor), Nuno Santos (coadvisor)
Master's Thesis, Universidade de Lisboa, 2020-10-01 - 2021-12-01 - Robust Symbolic Execution for WebAssembly
Filipe Marques
José Santos (advisor), Nuno Santos (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-10-01 - 2021-10-01 - Sketch-Driven SQL Synthesis
Viviana de Brito Bernardo
Inês Lynce (advisor), Miguel Neves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-10-01 - 2021-11-01 - A Static Analysis-based Platform-as-Service to Improve the Quality of Smart Contracts
Dinis Araújo
João F. Ferreira (advisor), Rui Abreu (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01 - A Type System for the Meta-language of the JavaScript Standard
Pedro José Fernandes Nunes
José Fragoso Santos (advisor), Paulo Mateus (coadvisor)
Master's Thesis, Universidade de Lisboa, 2020-09-01 - 2021-12-01 - Ambulance Assignment for Medical Emergencies
João Bernardo Correia da Silva
Vasco Manquinho (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01 - Attractor reachability estimation in logical models
Yu Cheng
Pedro T. Monteiro (advisor), Claudine Chaouiya (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01 - Boolean Leximax Optimisation using Iterative SAT Solving
Miguel Bettencourt Moniz Cabral
Mikolas Janota (advisor), Vasco Manquinho (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01 - Development of a Multi-Platform Whiteboard Application
Lucas Soares
João F. Ferreira (advisor), Alexandra Mendes (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01 - Development of models to optimize IPST blood collections
Joana Isabel Nunes Alves
Pedro T. Monteiro (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01 - Exact Methods for Multiobjective Combinatorial Optimization Problems
Gonçalo Teixeira
Andreia Guerreiro (advisor), José Rui Figueira (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - Ongoing - Extending EcoAndroid with Automated Detection of Resource Leaks
Ricardo Pereira
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01 - Formal Verification of Password Generation Algorithms used in Password Managers
Miguel Grilo
João F. Ferreira (advisor), José Bacelar Almeida (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01 - Learning temporal and geographic patterns from IPST blood collection data
Francisco Jorge Lopes
Pedro T. Monteiro (advisor), Sara C. Madeira (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01 - Mechanizing Feng-Ying Quantum Hoare Logic in Coq for Formal Proofs of Programs with Quantum and Classical Variables
Mustafa Khalil
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-12-01 - Migrating Smart Contracts Across Heterogeneous Blockchains
Luís Abrunhosa
João F. Ferreira (advisor), André Vasconcelos (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01 - Network motifs in multi-graphs
Paulo Dias
Pedro T. Monteiro (advisor), Sofia Teixeira (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-12-01 - On Usable Security and Verified Password Managers
Carolina Carreira
João F. Ferreira (advisor), Alexandra Mendes (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01 - Persistence of Passwords in Bitwarden's Browser Extension: Unnecessary Retention and Solutions
Rafael Prates
João F. Ferreira (advisor), Alexandra Mendes (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2022-05-01 - Persistent and Lock-Free Data Structures for Non-Volatile Memories (working title)
André Martins
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - Ongoing - Refining High-Level Specifications of Decentralized Finance Protocols to EVM bytecode using the K framework
Tiago Barbosa
João F. Ferreira (advisor), Alexandra Mendes (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-12-01 - SmartPasswords: Increasing Password Managers' Usability by Generating Compliant Passwords
João Campos
João F. Ferreira (advisor), Alexandra Mendes (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-09-01 - 2021-11-01 - Automated Computational Complexity Estimation
Marcos António Pires Ferreira dos Santos
Mikolas Janota (advisor), Vasco Manquinho (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-03-01 - 2021-01-01 - ECMA-SL: A Platform for Specifying and Running the ECMAScript Standard
Luís Miguel Alves Loureiro
José Fragoso Santos (advisor),
Master's Thesis, Universidade de Lisboa, 2020-02-01 - 2021-09-01 - Precise Information Flow Control for JavaScript
Francisco João Do Vale Lopes e Silva Quinaz
José Fragoso Santos (advisor), Ana Almeida Matos (coadvisor)
Master's Thesis, Universidade de Lisboa, 2020-02-01 - 2021-09-01 - Prioritizing Facebook´s Infer Static Analysis Tool Warnings
João Francisco Roberto Martins
João F. Ferreira (advisor), Rui Abreu (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-02-01 - 2020-11-01 - Quantum Based Program Analysis
Daniel Antunes Bustorff Fortunato
Rui Abreu (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-02-01 - Ongoing - Formal Verification of Pointer-Based Splay Trees in Iris
Ricardo Ciríaco da Graça
João F. Ferreira (advisor), Simão Melo de Sousa (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2020-01-01 - 2020-12-01 - FOREST: An interactive multi-tree synthesizer for regular expressions
Margarida Ferreira
Inês Lynce (advisor), Miguel Neves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-12-01 - 2020-11-01 - Acessing Energy Pattern
José Manuel Congo
Rui Abreu (advisor), Luís Cruz (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-11-01 - Ongoing - Discovering Vulnerabilities in WebAssembly with Code Property Graphs
Pedro Daniel Rogeiro Lopes
José Santos (advisor), Nuno Santos (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-10-01 - 2021-02-01 - Mining CERN`S historical data of software developments projects to improve its efficiency
Vitor Miguel Neves Fernandes
Rui Abreu (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-10-01 - Ongoing - P2CSTORE: P2P and Cloud File Storage for Blockchain Applications
Marcelo Filipe Regra da Silva
Miguel Correia (advisor), Miguel Neves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-10-01 - 2021-01-01 - A Framework to Assess the Quality and Recommend Changes of Software Issues
David Coimbra
Rui Abreu (advisor), Bruno Martins (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - Ongoing - An Automated Debugging plugin for Visual Studio Code
Steven Carlos Lopes Brito
Rui Abreu (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - Ongoing - Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
Rui Lima
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2020-12-01 - Automating UI tests generation for Mobile Apps
José Miguel Marques Touret
Rui Abreu (advisor), Luís Cruz (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - Ongoing - Concolic Execution for WebAssembly
Carolina Costa
José Santos (advisor), Nuno Santos (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2020-11-01 - CUBES: A New Dimension in Query Synthesis From Examples
Ricardo Brancas
Vasco Manquinho (advisor), Miguel Neves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2020-11-01 - Data2Help: Integração e Limpeza de Dados
José Eduardo Alves Costa
Helena Galhardas (advisor), Vasco Manquinho (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2021-01-01 - Discovering Security Vulnerabilities in WebAssembly with Code Property Graphs
Pedro Daniel Rogeiro Lopes
José Fragoso Santos (advisor), Nuno Santos (coadvisor)
Master's Thesis, Universidade de Lisboa, 2019-09-01 - 2020-12-01 - EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
Ana Sofia Gonçalves Ribeiro
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2020-12-01 - Evaluating Redistricting of Electoral Areas
Tiago Miguel Correia de Almeida
Vasco Manquinho (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2021-01-01 - FPGA accelerated model checking of regulatory networks
Rúben Alexandre Pereira Teixeira
Rui Policarpo Duarte (advisor), Pedro T. Monteiro (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2021-01-01 - Guiding the Evolution of the Software Architecture of Two Large Scale Production Systems
Miguel Alexandre Patrício Pires
Rodrigo Rodrigues (advisor), Rui Abreu (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2021-01-01 - Practical Detection of JavaScript Concurrency Bugs using Callback Graphs
Bernardo Vasconcelos Freitas de Almeida Furet
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2020-11-01 - Pure Function Synthesis in the OutSystems Plataform
Catarina Pina de Almeida Coelho
Inês Lynce (advisor), Miguel Neves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2021-01-01 - Stochastic Multi-Objective Combinatorial Optimization Algorithms
Miguel António dos Santos Machado Tavares
Vasco Manquinho (advisor), Miguel Angelo Terra Neves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2021-01-01 - Towards Automated Checking of Input Data Usage with Facebook Infer
Rui Ferreira
João F. Ferreira (advisor), Rui Abreu (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2020-12-01 - Verification of Auction-Based Smart Contracts using the ConCert Framework
Diogo Patrício
João F. Ferreira (advisor), Alexandra Mendes (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-09-01 - 2021-11-01 - Adaptive Learning and Generation of Exercises
Miguel Silva Reis
Mikolas Janota (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-03-01 - Ongoing - An Approach to Aid Developers Understand Code Change in Code Review
David José Calçada Lourenço
Rui Abreu (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-03-01 - Ongoing - Analysis of the Behavorial Impact of Code Modifications
Jorge Hermano Carrilho da Silva Veiga
Rui Abreu (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-03-01 - Ongoing - Evaluating Password Strength Meters and Password Composition Policies using Guessing Attacks
David Filipe Borges Pereira
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-03-01 - 2020-09-01 - Machine Learning for IDS
Johanna Berner
Rui Abreu (advisor), Gregor Koenig (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-03-01 - Ongoing - Flying Tourist Problem An Integer Linear Programming Approach
Francisco Madaleno Ferreira dos Santos
Vasco Manquinho (advisor), Nuno Roma (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-02-01 - 2019-11-01 - Improving Software Fault Predition Using a Data Drivem Approach
André Sobral Gonçalves
Rui Abreu (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-02-01 - Ongoing - IntelliComment: An IDE Plugin to Improve Java Source Code Using Comments
Francisco Machado Duarte
João F. Ferreira (advisor), Alberto Abad (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2019-02-01 - 2020-09-01 - A Study of Static Analysis Tools for Ethereum Smart Contracts
António Pedro Cruz Monteiro
João F. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-10-01 - 2019-11-01 - Automatic OutSystems App Test Generation
Daniel Duarte de Carvalho Brojo Correia
Rui Abreu (advisor), João Abreu (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-10-01 - Ongoing - Data Center Optimization using vitual machine profiles
Guilherme António Trindade Quintino
Vasco Manquinho (advisor), Luis Guerra e Silva (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-10-01 - 2019-11-01 - André Neves Ribeiro
André Ribeiro
José Fragoso Santos (advisor), Ana Almeida Matos (coadvisor)
Master's Thesis, Universidade de Lisboa, 2018-09-01 - 2019-11-01 - Automatic refactoring for energy in continuous integration pipelines
Ricardo José Horta Morais
Rui Abreu (advisor), Luís Cruz (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-09-01 - Ongoing - DeepData: Machine Learning in the Marine Ecosystems
Leonor Pimenta de Oliveira e Silva
Inês Lynce (advisor), Vasco Manquinho (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-09-01 - 2019-10-01 - How good are my tests?
Bruno Miguel Sotto-Mayor de Castro Machado
Rui Abreu (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-09-01 - Ongoing - New Language for Program Test Generation
Ricardo António Moreira Pereira
Mikolas Janota (advisor), Vasco Manquinho (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-09-01 - 2019-11-01 - Program Synthesis with Formal Methods for outsystems language
Rodrigo André Moreira Bernardo
Inês Lynce (advisor), Miguel Ventura (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-09-01 - 2019-05-01 - SQUARES : A SQL Synthesizer Using Query Reverse Engineering
Pedro Orvalho
Vasco Manquinho (advisor), Miguel Neves (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-09-01 - 2019-11-01 - Program Synthesis from Noisy Tabular Data
Daniel Rosa Ramos
Inês Lynce (advisor), Vasco Manquinho (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-07-01 - 2019-10-01 - Optimisation of Machine Learning in expansion-based QBF solving
Ricardo Joel Marques dos Santos Silva
Mikolas Janota (advisor), Carlos Caleiro (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2018-03-01 - Ongoing - Solving the treewdith and pathwidth in graphs using MaxSat
João Miguel Sousa Varandas
Vasco Manquinho (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2017-10-01 - 2018-10-01 - DeepSea: Web-based database
Magda Carolina Araújo Resende
Helena Galhardas (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2017-09-01 - 2018-11-01 - Algorithms for Leakage Detection System
Rubén Filipe Martins Marques
Vasco Manquinho (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2017-03-01 - 2018-05-01 - Optimization algorithms in forest planning models
Amândio de Jesus Cordeiro Almada
Vasco Manquinho (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2017-03-01 - 2018-04-01 - Large scale and dynamic phylogenetic inference from epidemic data
Marta Alexandra Fragoso Nascimento
A. P. Francisco (advisor), Cátia Vaz (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2016-09-01 - Ongoing - NGSPipes:From Specification to Automatic Deployment of NGS pipelines
Bruno Miguel das Neves Dantas
A. P. Francisco (advisor), Cátia Vaz (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2016-07-01 - Ongoing - NGSPipes:From Specification to Automatic Deployment of NGS pipelines
Calmenelias Pino Fleitas
A. P. Francisco (advisor), Cátia Vaz (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2016-07-01 - Ongoing - Algorithms for Maximum Satisfiability using GPU
André Filipe Ribeiro dos Reis
Vasco Manquinho (advisor), Luis Guerra e Silva (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2016-05-01 - 2017-06-01 - Algorithms for Markov Logic Networks
José Francisco Pires Amaral
Vasco Manquinho (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2016-04-01 - 2017-11-01 - Development of the PathoYeastract database: aiming the study of transcriptional regulation in pathogenic yeasts
Sauvagya Manna
Pedro T. Monteiro (advisor), Miguel Cacho Teixeira (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2016-03-01 - 2016-07-01 - Automatic generation of test cases for MOOCs
João Pedro Mateus Alexandre
Vasco Manquinho (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2016-02-01 - 2017-07-01 - Inference in Biological Regulatory Networks
Alexandre Lemos
Pedro T. Monteiro (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2015-09-01 - 2016-09-01 - Automatic Generation of Exercises for Massive Open Online Courses (MOOCs)
Fernando César Santos
Mikolas Janota (advisor), Vasco Manquinho (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2014-09-01 - 2015-10-01 - A Distributed MaxSAT Solver
Miguel Ângelo da Terra Neves
Vasco Manquinho (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2013-09-01 - 2014-10-01 - Planning for Spatial Missions Using Answer Set Programming
Rodrigo Joel Lucas Santos
Inês Lynce (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2011-09-01 - 2012-11-01 - Protein Design using Answer Set Programming
Filipe Gouveia
Inês Lynce (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2011-09-01 - 2012-11-01 - Solving Wildlife Conservation Problems using Answer Set Programming
Tiago Augusto Escudeiro Almeida
Inês Lynce (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2011-09-01 - 2012-11-01 - Algoritmos Eficientes para Avaliação da Qualidade de Algoritmos multiobjectivo Estocásticos
Andreia Guerreiro
Prof. Carlos Fonseca (advisor), Vasco Manquinho (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2010-10-01 - 2011-10-01 - Algorithms for Phylogenetic Tree Inference
Miguel Miranda
Vasco Manquinho (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2010-09-01 - 2011-11-01 - Classical Checkers
João Guerra
Inês Lynce (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2010-09-01 - 2011-11-01 - TagSNP Selection Using Maximum Satisfiability
Pedro Miguel Reis Santos Nabais Antunes
Inês Lynce (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2010-03-01 - 2011-01-01 - Error Detection in Pedigrees Using Satisfiability-Based Aproaches
David Martins
Inês Lynce (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2008-10-01 - 2009-11-01 - Max-SAT Algorithms For Real World Instances
Pedro Silva
Inês Lynce (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2008-10-01 - 2010-11-01 - Local Search for Unsatisfiable Propositional Formulae
David Pereira
Inês Lynce (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2008-09-01 - 2008-10-01 - Optimização de Instalação de Pacotes em Linux Focada no Utilizador
Sofia Alexandra Quitério Flores
Inês Lynce (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2008-09-01 - 2009-11-01 - Learning Techniques for Pseudo-Boolean Solving and Optimization
José Santos
Vasco Manquinho (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2007-09-01 - 2008-10-01 - Pseudo-Boolean Approaches to Comparative Genomics
João Delgado
Vasco Manquinho (advisor), Inês Lynce (coadvisor)
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2007-09-01 - 2009-06-01 - Estudo Comparativo de Métodos de Verificação de uma Urgência Hospitalar
Miguel Santos
C. Ferreira (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2006-09-01 - 2007-09-01 - Redundancy in CNF Formulas
Ana Maria Patrício Knopfli
Inês Lynce (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2006-09-01 - 2007-10-01 - O impacto da modelação na resolução de problemas de satisfação proposicional
Ruben Carlos Gonçalves Martins
Inês Lynce (advisor),
Master's Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2005-08-01 - 2007-10-01 - Algorithms for SMT
Paulo Jorge de Oliveira Cantante de Matos
Joao Marques Silva (advisor),
Master's Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2003-09-01 - 2006-06-01 - Learning Techniques for Model Enumeration in Boolean Satisfiability
António José dos Reis Morgado
Joao Marques Silva (advisor),
Master's Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2003-02-01 - 2006-11-01 - Técnicas Adaptativas para o Problema da Satisfação de Restrições
Elsa Cristina Batista Bento Carvalho
Joao Marques Silva (advisor),
Master's Thesis (before Bologna), Universidade da Madeira, 2001-08-01 - 2004-06-01
Graduation Theses
- A Comparative Study of Automatic Software Repair Techniques for Security Faults
Eduard Pinconschi
Pedro Miguel dos Santos Alves Madeira Adão (advisor), Rui Abreu (coadvisor)
Graduation Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2021-08-01 - Ongoing - NGS4Cloud: Cloud-based NGS data Processing
Alexandre Teixeira de Almeida
Cátia Vaz (advisor), A. P. Francisco (coadvisor)
Graduation Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2016-07-01 - Ongoing - NGS4Cloud: Cloud-based NGS data Processing
João Nuno Gonçalves Forja
Cátia Vaz (advisor), A. P. Francisco (coadvisor)
Graduation Thesis, Instituto Superior Técnico, Universidade de Lisboa, 2016-07-01 - Ongoing - NGS4Cloud: Cloud-based NGS Data Processing
Alexandre Teixeira de Almeida, João Nuno Gonçalves Forja
José Simão (advisor), Cátia Vaz (coadvisor)
Graduation Thesis, Instituto Superior de Engenharia de Lisboa, 2016-03-01 - 2016-09-01 - Infraestrutura de Suporte à Execução de Fluxos de Trabalho para a Bioinformática
Calmenelias Pino Fleitas, Bruno Miguel das Neves Dantas
José Simão (advisor), Cátia Vaz (coadvisor)
Graduation Thesis, Instituto Superior de Engenharia de Lisboa, 2015-03-01 - 2015-09-01 - PFC: Análise e processamento distribuido de redes de grande dimensão
Aguinaldo Pontes, André Filipe Quaresma dos Santos Mota
A. P. Francisco (advisor), Cátia Vaz (coadvisor)
Graduation Thesis, Instituto Superior de Engenharia de Lisboa, 2014-02-01 - 2014-10-01 - Inferência de Haplotipos usando Formulações de Programação Linear Inteira com Variaveis Proposicionais
Ana Sofia Graça
Inês Lynce (advisor), Arlindo L. Oliveira (coadvisor)
Graduation Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2006-03-01 - 2006-09-01 - Mapeamento da Notação FCEO para a linguagem BPEL4WS
Francisco Santos
C. Ferreira (advisor),
Graduation Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2004-09-01 - 2006-02-01 - Software de Apoio à Decisão nas Compras
Luis Filipe
C. Ferreira (advisor),
Graduation Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 2004-09-01 - 2005-10-01 - Ambiente para Gestão da Componente Lectiva de uma Universidade
J. Rego, H. Lopes
Joao Marques Silva (advisor),
Graduation Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 1970-01-01 - 2002-09-01 - Generic Research Group OnLine
T. Nunes, A. Morgado
Joao Marques Silva (advisor),
Graduation Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 1970-01-01 - 2002-12-01 - IntraNESC – Intranet para Instituto de Investigação
Ricardo Filipe dos Santos Fonseca Nunes, A. Ferreira Jr.
Joao Marques Silva (advisor),
Graduation Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 1970-01-01 - 2002-09-01 - Solução B2B para Indústria Farmacêutica
A. Costa
Joao Marques Silva (advisor),
Graduation Thesis (before Bologna), Instituto Superior Técnico, Universidade de Lisboa, 1970-01-01 - 2002-11-01
Internships
- Qualichain
Tiago Alexandre Teixeira Fonseca
Sérgio Guerreiro (advisor), João F. Ferreira (coadvisor)
Internship, Instituto Superior Técnico, Universidade de Lisboa, 2021-03-01 - 2021-12-01 - Descriptive and predictive analysis of spatiotemporal data in urban domain
Thomas Tiam-Lee
Rui Miguel Carrasqueiro Henriques (advisor), Vasco Manquinho (coadvisor)
Internship, Instituto Superior Técnico, Universidade de Lisboa, 2020-12-01 - 2022-06-01 - Anomoulous and Emerging Pattern Discovery from Spatiotemporal Urban Data
Leonor Pimenta
Vasco Manquinho (advisor), Rui Miguel Carrasqueiro Henriques (coadvisor)
Internship, Instituto Superior Técnico, Universidade de Lisboa, 2019-12-01 - 2021-01-01 - Population Genetics
Ana Margarida Tavares Sobreiro
A. P. Francisco (advisor), Cátia Vaz (coadvisor)
Internship, Instituto Superior Técnico, Universidade de Lisboa, 2017-05-01 - Ongoing