Model Revision of Boolean Logical Models of Biological Regulatory Networks

Solving Scheduling Problems under Disruptions

Descriptive and predictive modelling of blood activity in Portugal

A Comparative Study of Self-Supervised Learning Techniques for Functional Program Repair

A Study on Generating Q# Quantum Programs using a Sequence-To-Sequence Machine Learning model

Data Formatting Synthesis by Example

Formal Specification and Verification of the Lazy JellyFish Skip List: A Case Study in Iris on the Verification of Concurrent Maps with Version Control

GLITCH: Polyglot Code Smell Detection for Infrastructure as Code

Incremental Synthesis of OutSystems Logic

Optimization models for IPST blood collection

A Metabolic-Regulatory Genome-Scale Integration forSaccharomyces cerevisiae: Predicting Targets forIncreased Ethanol Production

Network motifs in multi-graphs

Automatic Chart Interpretation

Boolean Leximax Optimisation using Iterative SAT Solving

Next-Gen Pure Function Synthesis in OutSystems

On Usable Security and Verified Password Managers

Sketch-Driven SQL Synthesis

Automated Computational Complexity Estimation

Evaluating Redistricting of Electoral Areas

Pure Function Synthesis in the OutSystems Plataform

Stochastic Multi-Objective Combinatorial Optimization Algorithms

Descriptive and predictive analysis of spatiotemporal data in urban domain