Peter Bezdek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2014–2016
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SEFM | LTL Parameter Synthesis of Parametric Timed Automata. | Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cern |
| 2015 | ICALP | Language Emptiness of Continuous-Time Parametric Timed Automata. | Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jir Srba |
| 2014 | ICTAC | On Clock-Aware LTL Properties of Timed Automata. | Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cern |