Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques. - Stefan Kiefer; Cas Widdershoven (MFCS, 2019)

Linear-Time Model Checking Branching Processes. - Stefan Kiefer; Pavel Semukhin; Cas Widdershoven (CONCUR, 2021)

Image-Binary Automata. - Stefan Kiefer; Cas Widdershoven (DCFS, 2021)

Unambiguous and finitely ambiguous automata. - Cas Widdershoven (2022)

Dimensionality Reduction for General KDE Mode Finding. - Xinyu Luo; Christopher Musco; Cas Widdershoven (ICML, 2023)

ISS-Scenario: Scenario-Based Testing in CARLA. - Renjue Li; Tianhang Qin; Cas Widdershoven (TASE, 2024)