Ondrej Lengal

Identifiers

• name variant Ondrej Lengal 0.60 · backfill

Papers (5)

1. Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report) cs.LO · 2017 · author #1
2. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection (Technical Report) cs.FL · 2017 · author #4
3. Register automata with linear arithmetic cs.FL · 2017 · author #2
4. Nested Antichains for WS1S cs.LO · 2015 · author #3
5. Fully Automated Shape Analysis Based on Forest Automata cs.LO · 2013 · author #2

Mentions

• 1501.03849 #3 · backfill · confidence 0.70 Ondrej Lengal
• 1304.5806 #2 · backfill · confidence 0.70 Ondrej Lengal

Frequent Coauthors

• Lukas Holik 3 shared papers
• Tomas Vojnar 3 shared papers
• Adam Rogalewicz 1 shared papers
• Anthony W. Lin 1 shared papers
• Jiri Simacek 1 shared papers
• Milan Ceska 1 shared papers
• Philipp Ruemmer 1 shared papers
• Rupak Majumdar 1 shared papers
• Tomas Fiedor 1 shared papers
• Tony Tan 1 shared papers
• Vojtech Havlena 1 shared papers
• Yu-Fang Chen 1 shared papers
• Zhilin Wu 1 shared papers