Tom\'a\v{s} Vojnar

Identifiers

• name variant Tom\'a\v{s} Vojnar 0.60 · backfill

Papers (7)

1. Event Calculus Meets Hybrid ASP cs.LO · 2026 · author #8
2. Automata Terms in a Lazy WSkS Decision Procedure (Technical Report) cs.LO · 2019 · author #4
3. Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata cs.FL · 2019 · author #9
4. Simulation Algorithms for Symbolic Automata (Technical Report) cs.LO · 2018 · author #5
5. Effect Summaries for Thread-Modular Analysis cs.PL · 2017 · author #3
6. Lazy Automata Techniques for WS1S cs.LO · 2017 · author #5
7. From Low-Level Pointers to High-Level Containers cs.PL · 2015 · author #5

Mentions

• 1510.07995 #5 · backfill · confidence 0.70 Tom\'a\v{s} Vojnar
• 2606.04905 #8 · arxiv_oai · confidence 0.70 Tom\'a\v{s} Vojnar

Frequent Coauthors

• Luk\'a\v{s} Hol\'ik 6 shared papers
• Ond\v{r}ej Leng\'al 4 shared papers
• Vojt\v{e}ch Havlena 2 shared papers
• Bohuslav K\v{r}ena 1 shared papers
• Denis Matou\v{s}ek 1 shared papers
• Gopal Gupta 1 shared papers
• Jakub N\v{e}mec 1 shared papers
• Jakub Semri\v{c} 1 shared papers
• Jan Fiedor 1 shared papers
• Jan Ko\v{r}enek 1 shared papers
• Javier Romero 1 shared papers
• Ji\v{r}\'i Matou\v{s}ek 1 shared papers
• Joaqu\'in Arias 1 shared papers
• Juraj S\'i\v{c} 1 shared papers
• Kamil Dudka 1 shared papers
• Marek Trt\'ik 1 shared papers
• Margus Veanes 1 shared papers
• Milan \v{C}e\v{s}ka 1 shared papers
• Ond\v{r}ej Va\v{s}\'i\v{c}ek 1 shared papers
• Petr Jank\r{u} 1 shared papers