Jan Strej\v{c}ek

Identifiers

• name variant Jan Strej\v{c}ek 0.60 · backfill

Papers (11)

1. SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode cs.SE · 2018 · author #3
2. Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science cs.LO · 2016 · author #4
3. On the Complexity of the Quantified Bit-Vector Arithmetic with Binary Encoding cs.LO · 2016 · author #2
4. Tighter Loop Bound Analysis (Technical report) cs.PL · 2016 · author #2
5. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment cs.FL · 2013 · author #4
6. On Synergy of Metal, Slicing, and Symbolic Execution cs.PL · 2012 · author #2
7. Compact Symbolic Execution cs.PL · 2012 · author #2
8. LTL to B\"uchi Automata Translation: Fast and More Deterministic cs.FL · 2012 · author #4
9. Abstracting Path Conditions cs.SE · 2011 · author #1
10. A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness cs.LO · 2010 · author #4
11. Almost Linear B\"uchi Automata cs.FL · 2009 · author #3

Mentions

• 1306.4636 #4 · backfill · confidence 0.70 Jan Strej\v{c}ek
• 1201.4719 #2 · backfill · confidence 0.70 Jan Strej\v{c}ek
• 1201.4715 #2 · backfill · confidence 0.70 Jan Strej\v{c}ek
• 1201.0682 #4 · backfill · confidence 0.70 Jan Strej\v{c}ek
• 1112.5671 #1 · backfill · confidence 0.70 Jan Strej\v{c}ek
• 1011.4214 #4 · backfill · confidence 0.70 Jan Strej\v{c}ek
• 0911.2033 #3 · backfill · confidence 0.70 Jan Strej\v{c}ek

Frequent Coauthors

• Marek Trt\'ik 4 shared papers
• Tom\'a\v{s} Babiak 4 shared papers
• Mojm\'ir K\v{r}et\'insk\'y 3 shared papers
• Vojt\v{e}ch \v{R}eh\'ak 3 shared papers
• Ji\v{r}\'i Slab\'y 2 shared papers
• Adam Rambousek 1 shared papers
• Franti\v{s}ek Blahoudek 1 shared papers
• Jan Bouda 1 shared papers
• Jan Kofro\v{n} 1 shared papers
• Luk\'a\v{s} Hol\'ik 1 shared papers
• Marek Chalupa 1 shared papers
• Martina Vitovsk\'a 1 shared papers
• Martin Jon\'a\v{s} 1 shared papers
• Pavel \v{C}adek 1 shared papers