Publications Conference proceedings (5) Solvability of orbit-finite systems of linear equations Author(s): Arka Ghosh, Piotr Hofman, Sławomir Lasota Published in: (LICS) '22: 37th Annual (ACM/IEEE) Symposium on Logic in Computer Science, 2022, Page(s) 11:1--11:13 Publisher: ACM DOI: 10.1145/3531130.3533333 The boundedness and zero isolation problems for weighted automata over nonnegative rationals Author(s): Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland Published in: LICS '22: 37th Annual (ACM/IEEE) Symposium on Logic in Computer Science, 2022, Page(s) 15:1--15:13 Publisher: ACM DOI: 10.1145/3531130.3533336 Language Inclusion for Boundedly-Ambiguous Vector Addition Systems Is Decidable Author(s): Wojciech Czerwiński, Piotr Hofman Published in: 33rd International Conference on Concurrency Theory, CONCUR 2022, 2022, Page(s) 16:1--16:22 Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik DOI: 10.4230/lipics.concur.2022.16 Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes Author(s): Wojciech Czerwiński, Łukasz Orlikowski Published in: LICS '22: 37th Annual (ACM/IEEE) Symposium on Logic in Computer Science, 2022, Page(s) 40:1--40:12 Publisher: ACM DOI: 10.1145/3531130.3533357 Involved VASS Zoo Author(s): Wojciech Czerwiński Published in: 33rd International Conference on Concurrency Theory (CONCUR 2022), 2022, Page(s) 5:1--5:13, ISBN 978-3-95977-246-4 Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik DOI: 10.4230/lipics.concur.2022.5 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available