publication venue for
- Approximation Algorithms for Maximum Weighted Throughput on Unrelated Machines 2023
- Slimming down Petri Boxes: Compact Petri Net Models of Control Flows 2022
- Stab-forests: Dynamic data structures for efficient temporal query processing 2020
- Analysis of memory-contention in heterogeneous COTS MPSoCs 2020
- Discriminative coherence: Balancing performance and latency bounds in data-sharing multi-core real-time systems 2020
- Sensitive instances of the constraint satisfaction problem 2020
- Coordination-free byzantine replication with minimal communication costs 2020
- Brief announcement: Revisiting consensus protocols through wait-free parallelization 2019
- Brief announcement: The fault-tolerant cluster-sending problem 2019
- A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory. 239. 2022