Petr Bauch

Identifiers

• name variant Petr Bauch 0.60 · backfill

Papers (3)

1. Analysing Sanity of Requirements for Avionics Systems (Preliminary Version) cs.SE · 2015 · author #2
2. Control Explicit---Data Symbolic Model Checking: An Introduction cs.SE · 2013 · author #2
3. Computing Optimal Cycle Mean in Parallel on CUDA cs.DC · 2011 · author #2

Mentions

• 1510.02669 #2 · backfill · confidence 0.70 Petr Bauch
• 1303.7379 #2 · backfill · confidence 0.70 Petr Bauch
• 1111.0627 #2 · backfill · confidence 0.70 Petr Bauch

Frequent Coauthors

• Ji\v{r}\'i Barnat 2 shared papers
• Lubo\v{s} Brim 2 shared papers
• Jan Beran 1 shared papers
• Jiri Barnat 1 shared papers
• Milan \v{C}e\v{s}ka 1 shared papers
• Nikola Bene\v{s} 1 shared papers
• Tom\'a\v{s} Kratochv\'ila 1 shared papers