Author of the publication

Coverability in 1-VASS with Disequality Tests.

, , , , and . CONCUR, volume 171 of LIPIcs, page 38:1-38:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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.

No persons found for author name Almagor, Shaull
add a person with the name Almagor, Shaull
 

Other publications of authors with the same name

Parametrized Universality Problems for One-Counter Nets., , , and . CONCUR, volume 171 of LIPIcs, page 47:1-47:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Tight bounds for strategyproof classification., , , and . AAMAS, page 319-326. IFAAMAS, (2011)Sensing as a Complexity Measure., , and . DCFS, volume 10316 of Lecture Notes in Computer Science, page 3-15. Springer, (2017)Max and Sum Semantics for Alternating Weighted Automata., and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 13-27. Springer, (2011)Good-Enough Synthesis., and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 541-563. Springer, (2020)Simulation by Rounds of Letter-to-Letter Transducers., and . CoRR, (2021)Automatic Generation of Quality Specifications., , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 479-494. Springer, (2013)Formalizing and Reasoning about Quality (שער נוסף בעברית: על הצרנה, הסקה, ואיכות.).. Hebrew University of Jerusalem, Israel, (2016)Invariants for Continuous Linear Dynamical Systems., , , and . ICALP, volume 168 of LIPIcs, page 107:1-107:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Dimension-Minimality and Primality of Counter Nets., , , and . FoSSaCS (2), volume 14575 of Lecture Notes in Computer Science, page 229-249. Springer, (2024)