| 2026 | ICPRAM | Impact of Head Pose Angles on Face Image Quality and Recognition Performance. | Alexander Kurz, Jacob Carnap, Olaf Henniger |
| 2025 | CALCO | Logic Enriched over a Quantale (Invited Talk). | Alexander Kurz |
| 2025 | ICPRAM | Occlusion Detection for Face Image Quality Assessment. | Jacob Carnap, Alexander Kurz, Olaf Henniger, Arjan Kuijper |
| 2023 | CALCO | Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties. | Alexander Kurz, Wolfgang Poiger |
| 2021 | IROS | Semantic Image Alignment for Vehicle Localization. | Markus Herb, Matthias Lemberger, Marcel M. Schmitt, Alexander Kurz, Tobias Weiherer, Nassir Navab, Federico Tombari |
| 2020 | AiML | Logic-Induced Bisimulations. | Jim de Groot, Helle Hvid Hansen, Alexander Kurz |
| 2019 | CALCO | Nominal String Diagrams. | Samuel Balco, Alexander Kurz |
| 2018 | ITP | Software Tool Support for Modular Reasoning in Modal Logics of Actions. | Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano |
| 2017 | CALCO | The Positivication of Coalgebraic Logics. | Fredrik Dahlqvist, Alexander Kurz |
| 2015 | CALCO | Extensions of Functors From Set to V-cat. | Adriana Balan, Alexander Kurz, Jir Velebil |
| 2015 | CALCO | Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. | Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries |
| 2013 | CALCO | Positive Fragments of Coalgebraic Logics. | Adriana Balan, Alexander Kurz, Jir Velebil |
| 2013 | CALCO | Presenting Distributive Laws. | Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot |
| 2012 | AiML | Expressiveness of Positive Coalgebraic Logic. | Krzysztof Kapulkin, Alexander Kurz, Jir Velebil |
| 2012 | FOSSACS | On Nominal Regular Languages with Binders. | Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto |
| 2011 | AIME | A Case Study of Stacked Multi-view Learning in Dementia Research. | Rui Li, Andreas Hapfelmeier, Jana Schmidt, Robert Perneczky, Alexander Drzezga, Alexander Kurz, Stefan Kramer |
| 2011 | CALCO | Finitary Functors: From Set to Preord and Poset. | Adriana Balan, Alexander Kurz |
| 2011 | CALCO | Relation Liftings on Preorders and Posets. | Marta Blkov, Alexander Kurz, Daniela Petrisan, Jir Velebil |
| 2010 | AiML | Coalgebraic Lindstrom Theorems. | Alexander Kurz, Yde Venema |
| 2008 | AiML | Completeness of the finitary Moss logic. | Clemens Kupke, Alexander Kurz, Yde Venema |
| 2008 | ICDM | Interpreting PET Scans by Structured Patient Data: A Data Mining Case Study in Dementia Research. | Andreas Hapfelmeier, Jana Schmidt, Marianne Mueller, Stefan Kramer, Robert Perneczky, Alexander Kurz, Alexander Drzezga |
| 2007 | CALCO | Free Modal Algebras: A Coalgebraic Perspective. | Nick Bezhanishvili, Alexander Kurz |
| 2007 | CALCO | Higher Dimensional Trees, Algebraically. | Neil Ghani, Alexander Kurz |
| 2007 | CALCO | The Goldblatt-Thomason Theorem for Coalgebras. | Alexander Kurz, Jir Rosick |
| 2007 | LICS | Pi-Calculus in Logical Form. | Marcello M. Bonsangue, Alexander Kurz |
| 2006 | FOSSACS | Presenting Functors by Operations and Equations. | Marcello M. Bonsangue, Alexander Kurz |
| 2005 | CALCO | Ultrafilter Extensions for Coalgebras. | Clemens Kupke, Alexander Kurz, Dirk Pattinson |
| 2005 | FOSSACS | Duality for Logics of Transition Systems. | Marcello M. Bonsangue, Alexander Kurz |
| 2002 | FOSSACS | Logics Admitting Final Semantics. | Alexander Kurz |
| 2001 | FOSSACS | On the Duality between Observability and Reachability. | Michel Bidoit, Rolf Hennicker, Alexander Kurz |
| 1998 | AiML | A Co-Variety-Theorem for Modal Logic. | Alexander Kurz |