Tomas Vojnar

Identifiers

• name variant Tomas Vojnar 0.60 · backfill

Papers (5)

1. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection (Technical Report) cs.FL · 2017 · author #5
2. Nested Antichains for WS1S cs.LO · 2015 · author #4
3. Abstraction Refinement for Trace Inclusion of Infinite State Systems cs.LO · 2014 · author #3
4. Deciding Entailments in Inductive Separation Logic with Tree Automata cs.LO · 2014 · author #3
5. Fully Automated Shape Analysis Based on Forest Automata cs.LO · 2013 · author #5

Mentions

• 1501.03849 #4 · backfill · confidence 0.70 Tomas Vojnar
• 1410.5056 #3 · backfill · confidence 0.70 Tomas Vojnar
• 1402.2127 #3 · backfill · confidence 0.70 Tomas Vojnar
• 1304.5806 #5 · backfill · confidence 0.70 Tomas Vojnar

Frequent Coauthors

• Adam Rogalewicz 3 shared papers
• Lukas Holik 3 shared papers
• Ondrej Lengal 3 shared papers
• Radu Iosif 2 shared papers
• Jiri Simacek 1 shared papers
• Milan Ceska 1 shared papers
• Tomas Fiedor 1 shared papers
• Vojtech Havlena 1 shared papers