( en | de | ru )

 

Disambiguierung von "Holík, Lukás"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient handling of string-number conversion.

, , , , , , , , und . PLDI, Seite 943-957. ACM, (2020)

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.

Helga Holik

Josef Holik

Helga Holik

Helga Holik

Ludmilla Holik

 

Weitere Publikationen von Autoren mit dem selben Namen

Composed Bisimulation for Tree Automata., , , , und . CIAA, Volume 5148 von Lecture Notes in Computer Science, Seite 212-222. Springer, (2008)Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers., , , , , und . USENIX Security Symposium, Seite 4165-4182. USENIX Association, (2022)Regex matching with counting-set automata., , , , , und . Proc. ACM Program. Lang., 4 (OOPSLA): 218:1-218:30 (2020)Mediating for Reduction (on Minimizing Alternating Büchi Automata)., , , und . FSTTCS, Volume 4 von LIPIcs, Seite 1-12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2009)Counterexample Validation and Interpolation-Based Refinement for Forest Automata., , , , und . VMCAI, Volume 10145 von Lecture Notes in Computer Science, Seite 288-309. Springer, (2017)Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata., , , , , und . ATVA, Volume 8172 von Lecture Notes in Computer Science, Seite 224-239. Springer, (2013)Simulation Algorithms for Symbolic Automata., , , , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 109-125. Springer, (2018)Low-Level Bi-Abduction., , , , , und . ECOOP, Volume 222 von LIPIcs, Seite 19:1-19:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Cooking String-Integer Conversions with Noodles., , , und . SAT, Volume 305 von LIPIcs, Seite 14:1-14:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Antichain with SAT and Tries., und . SAT, Volume 305 von LIPIcs, Seite 15:1-15:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)