Konstantinos Papafilippou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2022–2025
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CSL | Exponential Lower Bounds on Definable Fixed Points. | Konstantinos Papafilippou, David Fernndez-Duque |
| 2024 | AiML | Projectivity Meets Uniform Post-Interpolant: Classical and Intuitionistic Logic. | Mojtaba Mojtahedi, Konstantinos Papafilippou |
| 2023 | JELIA | The Universal Tangle for Spatial Reasoning. | David Fernndez-Duque, Konstantinos Papafilippou |
| 2022 | LFCS | Hyperarithmetical Worm Battles. | David Fernndez-Duque, Konstantinos Papafilippou, Joost J. Joosten |