Petr Bauch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2010–2014
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | PDP | Model Checking Parallel Programs with Inputs. | Jiri Barnat, Petr Bauch, Vojtech Havel |
| 2012 | SEFM | Checking Sanity of Software Requirements. | Jiri Barnat, Petr Bauch, Lubos Brim |
| 2010 | ICPADS | Employing Multiple CUDA Devices to Accelerate LTL Model Checking. | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska |