Functional Programming
RICE: An Optimizing Curry
Program Synthesis Using Example Propagation
Embedding Functional Logic Programming in Haskell via a Compiler Plugin
Execution Time Program Verification With Tight Bounds
Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper)
Logic Programming
Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper)
Integrating ASP-based incremental reasoning in the videogame development workflow (Application Paper)
Dynamic slicing of Reaction Systems based on assertions and monitors
Multiple Query Satisfiability of Constrained Horn Clauses
Formalizing and Reasoning about Supply Chain Contracts between Agents
From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting
SwitchLog: A Logic Programming Language for Network Switches
Linear Algebraic Abduction with Partial Evaluation
Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL
Solving Vehicle Equipment Specification Problems with Answer Set Programming
UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper)
Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming
Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling
Automatic Rollback Suggestions for Incremental Datalog Evaluation. .