( en | de | ru )

 

Disambiguierung von "Almagor, Shaull"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Determinization of One-Counter Nets.

, und . CONCUR, Volume 243 von LIPIcs, Seite 18:1-18:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Almagor, Shaull
Eine Person hinzufügen mit dem Namen Almagor, Shaull
 

Weitere Publikationen von Autoren mit dem selben Namen

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