research
∙
03/02/2023
A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report)
Case split is a core proof rule in current decision procedures for the t...
share
research
∙
01/18/2023
An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report)
We introduce a new paradigm for analysing and finding bugs in quantum ci...
research
∙
12/05/2022
Word Equations in Synergy with Regular Constraints (Technical Report)
When eating spaghetti, one should have the sauce and noodles mixed inste...
research
∙
10/04/2021
Weakly Durable High-Performance Transactions
Existing disk-based database systems largely fall into two categories – ...
research
∙
05/17/2019
Simulations in Rank-Based Büchi Automata Complementation
The long search for an optimal complementation construction for Büchi au...
research
∙
09/21/2017