Author of the publication

The Complexity of Reachability in Affine Vector Addition Systems with States.

, and . LICS, page 224-236. ACM, (2020)https://arxiv.org/abs/1909.02579.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Succinct Population Protocols for Presburger Arithmetic., , , , and . CoRR, (2019)Succinct Population Protocols for Presburger Arithmetic., , , , and . STACS, volume 154 of LIPIcs, page 40:1-40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/1910.04600">Link</a><br>#conference.Affine Extensions of Integer Vector Addition Systems with States, , , and . Logical Methods in Computer Science, (July 2021)Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling., , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 372-397. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2005.03555">Link</a><br>#conference.Directed Reachability for Infinite-State Systems., , and . CoRR, (2020)Affine Extensions of Integer Vector Addition Systems with States, , , and . (2019)https://arxiv.org/abs/1909.12386.The Complexity of Reachability in Affine Vector Addition Systems with States, and . Logical Methods in Computer Science, (July 2021)Forward Analysis for WSTS, Part III: Karp-Miller Trees., , and . Log. Methods Comput. Sci., (2020)The Complexity of Reachability in Affine Vector Addition Systems with States., and . CoRR, (2019)Expressive Power of Broadcast Consensus Protocols, , and . 30th International Conference on Concurrency Theory (CONCUR 2019), volume 140 of Leibniz International Proceedings in Informatics (LIPIcs), page 31:1--31:16. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2019)Preprint: <a href="https://arxiv.org/abs/1902.01668">Link</a><br>#conference.