Petr Janku
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2020
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | PLDI | Efficient handling of string-number conversion. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Luks Holk, Wei-Cheng Wu |
| 2019 | ATVA | Chain-Free String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Luks Holk, Petr Janku |
| 2017 | TACAS | Lazy Automata Techniques for WS1S. | Toms Fiedor, Luks Holk, Petr Janku, Ondrej Lengl, Toms Vojnar |