KReach: A Tool for Reachability in Petri Nets. - Alex Dixon; Ranko Lazic 001 (TACAS (1), 2020)

Leafy automata for higher-order concurrency. - Alex Dixon; Ranko Lazic 001; Andrzej S. Murawski; Igor Walukiewicz (FoSSaCS, 2021)

Verifying higher-order concurrency with data automata. - Alex Dixon; Ranko Lazic 001; Andrzej S. Murawski; Igor Walukiewicz (LICS, 2021)

Vector addition systems and their applications in the verification of computer programs. - Alex Dixon (2022)

Saturating automata for game semantics. - Alex Dixon; Andrzej S. Murawski (MFPS, 2023)