Węgrzycki, Karol Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Chistikov, D., Czerwiński, W., Orlikowski, Ł., Mazowiecki, F., Sinclair-Banks, H., & Węgrzycki, K. (2024). The Tractability Border of Reachability in Simple Vector Addition Systems with States. In 65th IEEE Symposium on Foundations of Computer Science (pp. 1332-1354). Piscataway, NJ: IEEE. doi:10.1109/FOCS61266.2024.00086.