( en | de | ru )

 

Disambiguierung von "Holík, Lukás"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata.

, , , und . MEMICS, Volume 251 von Electronic Notes in Theoretical Computer Science, Seite 27-48. Elsevier, (2008)

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

Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection., , , , und . CoRR, (2017)Nested antichains for WS1S., , , und . Acta Inf., 56 (3): 205-228 (2019)From Low-Level Pointers to High-Level Containers., , , , und . VMCAI, Volume 9583 von Lecture Notes in Computer Science, Seite 431-452. Springer, (2016)Antichains for Inclusion Games., , und . CoRR, (2016)Approximate reduction of finite automata for high-speed network intrusion detection., , , , und . Int. J. Softw. Tools Technol. Transf., 22 (5): 523-539 (2020)Z3-Noodler: An Automata-based String Solver (Technical Report)., , , , , und . CoRR, (2023)Low-Level Bi-Abduction (Artifact)., , , , , und . Dagstuhl Artifacts Ser., 8 (2): 11:1-11:6 (2022)Chain-Free String Constraints., , , , und . ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 277-293. Springer, (2019)Fast Matching of Regular Patterns with Synchronizing Counting., , , und . FoSSaCS, Volume 13992 von Lecture Notes in Computer Science, Seite 392-412. Springer, (2023)Simplifying Alternating Automata for Emptiness Testing., und . APLAS, Volume 13008 von Lecture Notes in Computer Science, Seite 243-264. Springer, (2021)