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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 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
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
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
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
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
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
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
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
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
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
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 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
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
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
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 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
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
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
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
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
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
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
