Alex Dixon

According to our database, Alex Dixon authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Saturating automata for game semantics.

Alex Dixon, Andrzej S. Murawski

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022

Vector addition systems and their applications in the verification of computer programs.

Alex Dixon

PhD thesis, 2022

2021

Verifying higher-order concurrency with data automata.

Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Leafy automata for higher-order concurrency.

Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

KReach: A Tool for Reachability in Petri Nets.

Alex Dixon, Ranko Lazic

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020