Konstantin Kueffner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Monitoring Discounted Sum Properties. | Filip Cano, Thomas A. Henzinger, Konstantin Kueffner, N. Ege Sara |
| 2025 | AAAI | Fairness Shields: Safeguarding against Biased Decision Makers. | Filip Cano, Thomas A. Henzinger, Bettina Knighofer, Konstantin Kueffner, Kaushik Mallik |
| 2025 | KDD | Monitoring Robustness and Individual Fairness. | Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik, David Pape |
| 2025 | RV | Algorithmic Fairness: A Runtime Perspective. | Filip Cano, Thomas A. Henzinger, Konstantin Kueffner |
| 2025 | RV | Alignment Monitoring. | Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh, I Sun |
| 2025 | RV | Formal Verification of Neural Certificates Done Dynamically. | Thomas A. Henzinger, Konstantin Kueffner, Emily Yu |
| 2024 | FSCD | Abstraction-Based Decision Making for Statistical Properties (Invited Talk). | Filip Cano, Thomas A. Henzinger, Bettina Knighofer, Konstantin Kueffner, Kaushik Mallik |
| 2023 | CAV | Monitoring Algorithmic Fairness. | Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik |
| 2023 | RV | Monitoring Algorithmic Fairness Under Partial Observations. | Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik |
| 2019 | COMPLEXIS | A Generalized Notion of Time for Modeling Temporal Networks. | Konstantin Kueffner, Mark Strembeck |