Lukas Holik

Identifiers

• name variant Lukas Holik 0.60 · backfill

Papers (4)

1. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection (Technical Report) cs.FL · 2017 · author #3
2. Nested Antichains for WS1S cs.LO · 2015 · author #2
3. Proceedings 15th International Workshop on Verification of Infinite-State Systems cs.FL · 2014 · author #1
4. Fully Automated Shape Analysis Based on Forest Automata cs.LO · 2013 · author #1

Mentions

• 1501.03849 #2 · backfill · confidence 0.70 Lukas Holik
• 1402.6610 #1 · backfill · confidence 0.70 Lukas Holik
• 1304.5806 #1 · backfill · confidence 0.70 Lukas Holik

Frequent Coauthors

• Ondrej Lengal 3 shared papers
• Tomas Vojnar 3 shared papers
• Adam Rogalewicz 1 shared papers
• Jiri Simacek 1 shared papers
• Lorenzo Clemente 1 shared papers
• Milan Ceska 1 shared papers
• Tomas Fiedor 1 shared papers
• Vojtech Havlena 1 shared papers