Jan Obdrzlek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
15
Active years
2001–2024
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SEFM | Minuska: Towards a Formally Verified Programming Language Framework. | Jan Tusil, Jan Obdrzlek |
| 2023 | LPAR | Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. | Jan Tusil, Traian Serbanuta, Jan Obdrzlek |
| 2016 | LICS | A New Perspective on FO Model Checking of Dense Graph Classes. | Jakub Gajarsk, Petr Hlinen, Jan Obdrzlek, Daniel Lokshtanov, M. S. Ramanujan |
| 2015 | FOCS | FO Model Checking on Posets of Bounded Width. | Jakub Gajarsk, Petr Hlinen, Daniel Lokshtanov, Jan Obdrzlek, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh |
| 2014 | ISAAC | Faster Existential FO Model Checking on Posets. | Jakub Gajarsk, Petr Hlinen, Jan Obdrzlek, Sebastian Ordyniak |
| 2013 | ESA | Kernelization Using Structural Parameters on Sparse Graph Classes. | Jakub Gajarsk, Petr Hlinen, Jan Obdrzlek, Sebastian Ordyniak, Felix Reidl, Peter Rossmanith, Fernando Snchez Villaamil, Somnath Sikdar |
| 2013 | ICALP | FO Model Checking of Interval Graphs. | Robert Ganian, Petr Hlinen, Daniel Krl', Jan Obdrzlek, Jarett Schwartz, Jakub Teska |
| 2013 | IWOCA | Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes. | Robert Ganian, Jan Obdrzlek |
| 2012 | MFCS | When Trees Grow Low: Shrubs and Fast MSO1. | Robert Ganian, Petr Hlinen, Jaroslav Nesetril, Jan Obdrzlek, Patrice Ossona de Mendez, Reshma Ramadurai |
| 2012 | STACS | Lower Bounds on the Complexity of MSO_1 Model-Checking. | Robert Ganian, Petr Hlinen, Alexander Langer, Jan Obdrzlek, Peter Rossmanith, Somnath Sikdar |
| 2011 | ATVA | Efficient Loop Navigation for Symbolic Execution. | Jan Obdrzlek, Marek Trtk |
| 2011 | STACS | Clique-width: When Hard Does Not Mean Impossible. | Robert Ganian, Petr Hlinen, Jan Obdrzlek |
| 2009 | STACS | Qualitative Reachability in Stochastic BPA Games. | Toms Brzdil, Vclav Brozek, Antonn Kucera, Jan Obdrzlek |
| 2007 | CSL | Clique-Width and Parity Games. | Jan Obdrzlek |
| 2006 | SODA | DAG-width: connectivity measure for directed graphs. | Jan Obdrzlek |
| 2003 | CAV | Fast Mu-Calculus Model Checking when Tree-Width Is Bounded. | Jan Obdrzlek |
| 2001 | SC | A parallel java grande benchmark suite. | L. A. Smith, J. Mark Bull, Jan Obdrzlek |