research
∙
07/21/2020
A Framework for Consistency Algorithms
We present a framework that provides deterministic consistency algorithm...
share
research
∙
09/26/2019
Complexity of Liveness in Parameterized Systems
We investigate the fine-grained complexity of liveness verification for ...
research
∙
07/16/2018
Fast Witness Counting
We study the witness-counting problem: given a set of vectors V in the d...
research
∙
02/15/2018