Johannes Kloibhofer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LICS | Interpolation for the two-way modal μ-calculus. | Johannes Kloibhofer, Yde Venema |
| 2025 | TABLEAUX | Interpolation for Converse PDL. | Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema |
| 2023 | TABLEAUX | Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. | Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema |
| 2021 | KR | An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract). | Stefan Hetzl, Johannes Kloibhofer |