1. Data and Process Resonance;Application and Theory of Petri Nets and Concurrency;2022
2. KReach: A Tool for Reachability in Petri Nets;Tools and Algorithms for the Construction and Analysis of Systems;2020
3. Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States;Fundamenta Informaticae;2019-10-10
4. Structural liveness of Petri nets is ExpSpace-hard and decidable;Acta Informatica;2019-07-08
5. Lean Reachability Tree for Unbounded Petri Nets;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2018-02