default search action

combined dblp search
author search
venue search
publication search

ask others

Lukás Holík

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/AbdullaCCHLLLT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/AbdullaCCHLLLT25
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai:
Verifying Quantum Circuits with Level-Synchronized Tree Automata. Proc. ACM Program. Lang. 9(POPL): 923-953 (2025)
2023
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ChenCHHLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ChenCHHLS23
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc:
Solving String Constraints with Lengths by Stabilization. Proc. ACM Program. Lang. 7(OOPSLA2): 2112-2141 (2023)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tsg/HavlenaMRH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsg/HavlenaMRH23
Vojtech Havlena, Petr Matousek, Ondrej Rysavý, Lukás Holík:
Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Trans. Smart Grid 14(3): 2352-2366 (2023)
2022
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/HolikPRSVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/HolikPRSVZ22
Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger:
Low-Level Bi-Abduction (Artifact). Dagstuhl Artifacts Ser. 8(2): 11:1-11:6 (2022)
2021
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HavlenaHLV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HavlenaHLV21
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Automata Terms in a Lazy WSkS Decision Procedure. J. Autom. Reason. 65(7): 971-999 (2021)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AbdullaHHJR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AbdullaHHJR21
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine:
Correction to: An integrated specification and verification technique for highly concurrent data structures. Int. J. Softw. Tools Technol. Transf. 23(5): 825 (2021)
2020
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HolikIRV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HolikIRV20
Lukás Holík, Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Abstraction refinement and antichains for trace inclusion of infinite state systems. Formal Methods Syst. Des. 55(3): 137-170 (2020)
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/TuronovaHLSVV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/TuronovaHLSVV20
Lenka Turonová, Lukás Holík, Ondrej Lengál, Olli Saarikivi, Margus Veanes, Tomás Vojnar:
Regex matching with counting-set automata. Proc. ACM Program. Lang. 4(OOPSLA): 218:1-218:30 (2020)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CeskaHHLV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CeskaHHLV20
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Approximate reduction of finite automata for high-speed network intrusion detection. Int. J. Softw. Tools Technol. Transf. 22(5): 523-539 (2020)
2019
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/FiedorHLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/FiedorHLV19
Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Nested antichains for WS1S. Acta Informatica 56(3): 205-228 (2019)
2018
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/HolikJLRV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/HolikJLRV18
Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar:
String constraints with concatenation and transducers solved efficiently. Proc. ACM Program. Lang. 2(POPL): 4:1-4:32 (2018)
2017
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AbdullaHHJR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AbdullaHHJR17
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine:
An integrated specification and verification technique for highly concurrent data structures. Int. J. Softw. Tools Technol. Transf. 19(5): 549-563 (2017)
2016
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/AbdullaHJLTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/AbdullaHJLTV16
Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar:
Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica 53(4): 357-385 (2016)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AbdullaHH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AbdullaHH16
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík:
Parameterized verification through view abstraction. Int. J. Softw. Tools Technol. Transf. 18(5): 495-516 (2016)
2014
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AbdullaCHV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AbdullaCHV14
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar:
Mediating for reduction (on minimizing alternating Büchi automata). Theor. Comput. Sci. 552: 26-43 (2014)
2012
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HabermehlHRSV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HabermehlHRSV12
Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Forest automata for verification of heap manipulation. Formal Methods Syst. Des. 41(1): 83-106 (2012)
2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/AbdullaBHKV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/AbdullaBHKV09
Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar:
Composed Bisimulation for Tree Automata. Int. J. Found. Comput. Sci. 20(4): 685-700 (2009)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2025
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/SedyH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/SedyH25
Michal Sedý, Lukás Holík:
Automata Size Reduction by Procedure Finding. NFM 2025: 421-440
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChocholatyHHHLS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChocholatyHHHLS25
David Chocholatý, Vojtech Havlena, Lukás Holík, Jan Hranicka, Ondrej Lengál, Juraj Síc:
Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation. TACAS (2) 2025: 23-44
2024
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HabermehlHHHL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HabermehlHHHL24
Peter Habermehl, Vojtech Havlena, Michal Hecko, Lukás Holík, Ondrej Lengál:
Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. CAV (1) 2024: 42-67
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/HavlenaHLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HavlenaHLS24
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc:
Cooking String-Integer Conversions with Noodles. SAT 2024: 14:1-14:19
[c57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/HolikV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HolikV24
Lukás Holík, Pavol Vargovcík:
Antichain with SAT and Tries. SAT 2024: 15:1-15:24
[c56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChenCHHLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChenCHHLS24
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc:
Z3-Noodler: An Automata-based String Solver. TACAS (1) 2024: 24-33
[c55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChocholatyFHHHLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChocholatyFHHHLS24
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc:
Mata: A Fast and Simple Finite Automata Library. TACAS (2) 2024: 130-151
2023
[c54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/FiedorHHRSV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/FiedorHHRSV23
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík:
Reasoning About Regular Properties: A Comparative Study. CADE 2023: 286-306
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BlahoudekCCHHLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BlahoudekCCHHLS23
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc:
Word Equations in Synergy with Regular Constraints. FM 2023: 403-423
[c52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/HolikSTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/HolikSTV23
Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar:
Fast Matching of Regular Patterns with Synchronizing Counting. FoSSaCS 2023: 392-412
2022
[c51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/HolikPRSVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/HolikPRSVZ22
Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger:
Low-Level Bi-Abduction. ECOOP 2022: 19:1-19:30
[c50]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/TuronovaHHLVV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/TuronovaHHLVV22
Lenka Turonová, Lukás Holík, Ivan Homoliak, Ondrej Lengál, Margus Veanes, Tomás Vojnar:
Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. USENIX Security Symposium 2022: 4165-4182
2021
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/VargovcikH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/VargovcikH21
Pavol Vargovcík, Lukás Holík:
Simplifying Alternating Automata for Emptiness Testing. APLAS 2021: 243-264
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/AbdullaACDHHTWY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/AbdullaACDHHTWY21
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen:
Solving Not-Substring Constraint withFlat Abstraction. APLAS 2021: 305-320
[c47]
- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/im/MatousekHH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/im/MatousekHH21
Petr Matousek, Vojtech Havlena, Lukás Holík:
Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata. IM 2021: 81-89
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/HruskaH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/HruskaH21
Martin Hruska, Lukás Holík:
Towards Efficient Shape Analysis with Tree Automata. NETYS 2021: 206-214
2020
[c45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/HavlenaHLVV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HavlenaHLVV20
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Ondrej Vales, Tomás Vojnar:
Antiprenexing for WSkS: A Little Goes a Long Way. LPAR 2020: 298-316
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AbdullaACDDJLHW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AbdullaACDDJLHW20
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, Wei-Cheng Wu:
Efficient handling of string-number conversion. PLDI 2020: 943-957
2019
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ChenCHKLVWW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ChenCHKLVWW19
Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-Hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu:
J-ReCoVer: Java Reducer Commutativity Verifier. APLAS 2019: 357-366
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/HolikLSTVV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/HolikLSTVV19
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Succinct Determinisation of Counting Automata via Sphere Construction. APLAS 2019: 468-489
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AbdullaADHJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AbdullaADHJ19
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku:
Chain-Free String Constraints. ATVA 2019: 277-293
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HavlenaHLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HavlenaHLV19
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Automata Terms in a Lazy WSkS Decision Procedure. CADE 2019: 300-318
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/fccm/0001HHKLM0SV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fccm/0001HHKLM0SV19
Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar:
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. FCCM 2019: 109-117
2018
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HolikLSVV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HolikLSVV18
Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar:
Simulation Algorithms for Symbolic Automata. ATVA 2018: 109-125
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/AbdullaACDHRR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/AbdullaACDHRR18
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer:
Trau: SMT solver for string constraints. FMCAD 2018: 1-5
[c36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CeskaHHLV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CeskaHHLV18
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. TACAS (2) 2018: 155-175
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/FiedorHRSVZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/FiedorHRSVZ18
Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger:
From Shapes to Amortized Complexity. VMCAI 2018: 205-225
2017
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/TuronovaH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/TuronovaH17
Lenka Turonová, Lukás Holík:
Towards Smaller Invariants for Proving Coverability. EUROCAST (2) 2017: 109-116
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AbdullaACDHRR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AbdullaACDHRR17
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer:
Flatten and conquer: a framework for efficient analysis of string constraints. PLDI 2017: 602-617
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/HolikMVW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/HolikMVW17
Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff:
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. SAS 2017: 169-191
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HolikHLRSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HolikHLRSV17
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). TACAS (2) 2017: 365-369
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FiedorHJLV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FiedorHJLV17
Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar:
Lazy Automata Techniques for WS1S. TACAS (1) 2017: 407-425
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HolikHLRV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HolikHLRV17
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Tomás Vojnar:
Counterexample Validation and Interpolation-Based Refinement for Forest Automata. VMCAI 2017: 288-309
2016
[c28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/HolikMM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/HolikMM16
Lukás Holík, Roland Meyer, Sebastian Muskalla:
Summaries for Context-Free Games. FSTTCS 2016: 41:1-41:16
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/HolikKPSTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/HolikKPSTV16
Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar:
Predator Shape Analysis Tool Suite. Haifa Verification Conference 2016: 202-209
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AlmeidaHM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AlmeidaHM16
Ricardo Almeida, Lukás Holík, Richard Mayr:
Reduction of Nondeterministic Tree Automata. TACAS 2016: 717-735
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HolikHLRSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HolikHLRSV16
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Run Forester, Run Backwards! - (Competition Contribution). TACAS 2016: 923-926
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HazizaHMW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HazizaHMW16
Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff:
Pointer Race Freedom. VMCAI 2016: 393-412
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/DudkaHPTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/DudkaHPTV16
Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar:
From Low-Level Pointers to High-Level Containers. VMCAI 2016: 431-452
2015
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HolikIJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HolikIJ15
Lukás Holík, Malte Isberner, Bengt Jonsson:
Mediator Synthesis in a Component Algebra with Data. Correct System Design 2015: 238-259
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AbdullaACHRRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbdullaACHRRS15
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman:
Norn: An SMT Solver for String Constraints. CAV (1) 2015: 462-469
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/HolikM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/HolikM15
Lukás Holík, Roland Meyer:
Antichains for the Verification of Recursive Programs. NETYS 2015: 322-336
[c19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/syncop/AbdullaHH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/syncop/AbdullaHH15
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík:
View Abstraction - A Tutorial (Invited Paper). SynCoP 2015: 1-15
[c18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HolikHLRSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HolikHLRSV15
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Forester: Shape Analysis Using Tree Automata - (Competition Contribution). TACAS 2015: 432-435
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FiedorHLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FiedorHLV15
Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Nested Antichains for WS1S. TACAS 2015: 658-674
2014
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AbdullaACHRRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbdullaACHRRS14
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman:
String Constraints for Verification. CAV 2014: 150-166
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/AbdullaHH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/AbdullaHH14
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík:
Block Me If You Can! - Context-Sensitive Parameterized Verification. SAS 2014: 1-17
2013
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AbdullaHJLTV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AbdullaHJLTV13
Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, Tomás Vojnar:
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. ATVA 2013: 224-239
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HolikLRSV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HolikLRSV13
Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Fully Automated Shape Analysis Based on Forest Automata. CAV 2013: 740-755
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AbdullaHHJR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AbdullaHHJR13
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, Ahmed Rezine:
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. TACAS 2013: 324-338
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/AbdullaHH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/AbdullaHH13
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík:
All for the Price of Few. VMCAI 2013: 476-495
2011
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HolikLSV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HolikLSV11
Lukás Holík, Ondrej Lengál, Jirí Simácek, Tomás Vojnar:
Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata. ATVA 2011: 243-258
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HabermehlHRSV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HabermehlHRSV11
Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Forest Automata for Verification of Heap Manipulation. CAV 2011: 424-440
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AbdullaCCHHMV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AbdullaCCHHMV11
Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar:
Advanced Ramsey-Based Büchi Automata Inclusion Testing. CONCUR 2011: 187-202
2010
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AbdullaCCHHMV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AbdullaCCHHMV10
Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar:
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. CAV 2010: 132-147
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AbdullaCHMV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AbdullaCHMV10
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar:
When Simulation Meets Antichains. TACAS 2010: 158-174
2009
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/AbdullaCHV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/AbdullaCHV09
Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar:
Mediating for Reduction (on Minimizing Alternating Büchi Automata). FSTTCS 2009: 1-12
2008
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AbdullaBHKV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AbdullaBHKV08
Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar:
Computing Simulations over Tree Automata. TACAS 2008: 93-108
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/BouajjaniHHTV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/BouajjaniHHTV08
Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar:
Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. CIAA 2008: 57-67
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/AbdullaBHKV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/AbdullaBHKV08
Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar:
Composed Bisimulation for Tree Automata. CIAA 2008: 212-222
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AbdullaHKV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AbdullaHKV09
Parosh Aziz Abdulla, Lukás Holík, Lisa Kaati, Tomás Vojnar:
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. MEMICS 2008: 27-48

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2022
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2022
Ahmed Bouajjani, Lukás Holík, Zhilin Wu:
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Lecture Notes in Computer Science 13505, Springer 2022, ISBN 978-3-031-19991-2 [contents]
2016
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BoudaHKSR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BoudaHKSR16
Jan Bouda, Lukás Holík, Jan Kofron, Jan Strejcek, Adam Rambousek:
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016. EPTCS 233, 2016 [contents]
2014
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HolikC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HolikC14
Lukás Holík, Lorenzo Clemente:
Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013. EPTCS 140, 2014 [contents]

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2020
[d4]
- view
  authority control:
- export record
  dblp key:
  - data/10/HolikLSTVV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HolikLSTVV20
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata". Version 1. Zenodo, 2020 [all versions]
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/HolikLSTVV20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HolikLSTVV20a
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata". Version 2. Zenodo, 2020 [all versions]
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/HolikLSTVV20b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HolikLSTVV20b
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Artifact for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata". Zenodo, 2020
2019
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/LengalHVRSHH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/LengalHVRSHH19
Ondrej Lengál, Lukás Holík, Tomás Vojnar, Adam Rogalewicz, Jirí Simácek, Martin Hruska, Peter Habermehl:
Forester Virtual Machine. Zenodo, 2019

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2025
[i27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2504-07033
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2504-07033
Yu-Fang Chen, Vojtech Havlena, Michal Hecko, Lukás Holík, Ondrej Lengál:
A Uniform Framework for Handling Position Constraints in String Solving (Technical Report). CoRR abs/2504.07033 (2025)
2024
[i26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-18995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-18995
Peter Habermehl, Michal Hecko, Vojtech Havlena, Lukás Holík, Ondrej Lengál:
Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. CoRR abs/2403.18995 (2024)
[i25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-18540
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-18540
Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukás Holík, Ondrej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai:
Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report). CoRR abs/2410.18540 (2024)
[i24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-20227
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-20227
Michal Sedý, Lukás Holík:
Automata Size Reduction by Procedure Finding. CoRR abs/2410.20227 (2024)
2023
[i23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-12851
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-12851
Lukás Holík, Juraj Síc, Lenka Turonová, Tomás Vojnar:
Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). CoRR abs/2301.12851 (2023)
[i22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-05064
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-05064
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík:
Reasoning about Regular Properties: A Comparative Study. CoRR abs/2304.05064 (2023)
[i21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-03970
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-03970
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku:
Chain-Free String Constraints (Technical Report). CoRR abs/2307.03970 (2023)
[i20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-04235
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-04235
Lukás Holík, Jirí Simácek:
Optimizing an LTS-Simulation Algorithm (Technical Report). CoRR abs/2307.04235 (2023)
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-08327
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-08327
Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc:
Z3-Noodler: An Automata-based String Solver (Technical Report). CoRR abs/2310.08327 (2023)
[i18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-10136
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-10136
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc:
Mata, a Fast and Simple Finite Automata Library (Technical Report). CoRR abs/2310.10136 (2023)
2022
[i17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-02590
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-02590
Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger:
Low-Level Bi-Abduction. CoRR abs/2205.02590 (2022)
[i16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-02317
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-02317
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc:
Word Equations in Synergy with Regular Constraints (Technical Report). CoRR abs/2212.02317 (2022)
2020
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2010-15975
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-15975
Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar:
String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). CoRR abs/2010.15975 (2020)
2019
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1904-10786
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-10786
Milan Ceska, Vojtech Havlena, Lukás Holík, Jan Korenek, Ondrej Lengál, Denis Matousek, Jirí Matousek, Jakub Semric, Tomás Vojnar:
Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. CoRR abs/1904.10786 (2019)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-08697
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-08697
Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). CoRR abs/1905.08697 (2019)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-01996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-01996
Lukás Holík, Ondrej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomás Vojnar:
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). CoRR abs/1910.01996 (2019)
2018
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-08487
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-08487
Lukás Holík, Ondrej Lengál, Juraj Síc, Margus Veanes, Tomás Vojnar:
Simulation Algorithms for Symbolic Automata (Technical Report). CoRR abs/1807.08487 (2018)
2017
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FiedorHJLV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FiedorHJLV17
Tomás Fiedor, Lukás Holík, Petr Janku, Ondrej Lengál, Tomás Vojnar:
Lazy Automata Techniques for WS1S. CoRR abs/1701.06282 (2017)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/HolikMVW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HolikMVW17
Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff:
Effect Summaries for Thread-Modular Analysis. CoRR abs/1705.03701 (2017)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Holik17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Holik17
Lukás Holík:
Simulations and Antichains for Efficient Handling of Finite Automata. CoRR abs/1706.03208 (2017)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-08647
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-08647
Milan Ceska, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. CoRR abs/1710.08647 (2017)
2016
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/HolikMM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HolikMM16
Lukás Holík, Roland Meyer, Sebastian Muskalla:
Antichains for Inclusion Games. CoRR abs/1603.07256 (2016)
2015
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FiedorHLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FiedorHLV15
Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar:
Nested Antichains for WS1S. CoRR abs/1501.03849 (2015)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DudkaHPTV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DudkaHPTV15
Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar:
From Low-Level Pointers to High-Level Containers. CoRR abs/1510.07995 (2015)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/HazizaHMW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HazizaHMW15
Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff:
Pointer Race Freedom. CoRR abs/1511.00184 (2015)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AlmeidaHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlmeidaHM15
Ricardo Almeida, Lukás Holík, Richard Mayr:
Reduction of Nondeterministic Tree Automata. CoRR abs/1512.08823 (2015)
2013
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1304-5806
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-5806
Lukás Holík, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar:
Fully Automated Shape Analysis Based on Forest Automata. CoRR abs/1304.5806 (2013)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.