Author of the publication

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

Unboundedness Problems for Machines with Reversal-Bounded Counters., , , , , , and . FoSSaCS, volume 13992 of Lecture Notes in Computer Science, page 240-264. Springer, (2023)Context-Bounded Analysis of Concurrent Programs (Invited Talk)., , , , and . ICALP, volume 261 of LIPIcs, page 3:1-3:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Monus Semantics in Vector Addition Systems with States., , , and . CONCUR, volume 279 of LIPIcs, page 10:1-10:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Checking Refinement of Asynchronous Programs Against Context-Free Specifications., , , , and . ICALP, volume 261 of LIPIcs, page 110:1-110:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Existential Definability over the Subword Ordering., , , and . STACS, volume 219 of LIPIcs, page 7:1-7:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Regular Separability in Büchi VASS., , and . STACS, volume 254 of LIPIcs, page 9:1-9:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs., , , and . CoRR, (2020)Separability in Büchi VASS and Singly Non-Linear Systems of Inequalities., , , and . ICALP, volume 297 of LIPIcs, page 126:1-126:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)The Complexity of Bounded Context Switching with Dynamic Thread Creation., , , and . ICALP, volume 168 of LIPIcs, page 111:1-111:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Self-Supervised and Few-Shot Learning for Robust Bioaerosol Monitoring., , , , , and . CoRR, (2024)