Christopher Hahn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
15
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCNLP | Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection. | Abhinav Lalwani, Tasha Kim, Lovish Chopra, Christopher Hahn, Zhijing Jin, Mrinmaya Sachan |
| 2025 | NAACL | LawInstruct: A Resource for Studying Language Model Adaptation to the Legal Domain. | Joel Niklaus, Lucia Zheng, Arya D. McCarthy, Christopher Hahn, Brian M. Rosen, Peter Henderson, Daniel E. Ho, Garrett Honke, Percy Liang, Christopher D. Manning |
| 2024 | FMCAD | Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers. | Daniel Mendoza, Christopher Hahn, Caroline Trippel |
| 2024 | OPODIS | Symmetry Preservation in Swarms of Oblivious Robots with Limited Visibility. | Raphael Gerlach, Sren von der Gracht, Christopher Hahn, Jonas Harbig, Peter Kling |
| 2024 | TACAS | NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. | Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt |
| 2023 | CAV | nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. | Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel |
| 2023 | FMCAD | Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. | Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett |
| 2023 | ICLR | Iterative Circuit Repair Against Formal Specifications. | Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner |
| 2023 | PODC | Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model. | Talley Amir, James Aspnes, Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser, John Lazarsfeld |
| 2022 | ATVA | Temporal Causality in Reactive Systems. | Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber |
| 2022 | CAV | Explaining Hyperproperty Violations. | Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber |
| 2021 | ATVA | Runtime Enforcement of Hyperproperties. | Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo |
| 2021 | ICDCS | Infinite Balanced Allocation via Finite Capacities. | Petra Berenbrink, Tom Friedetzky, Christopher Hahn, Lukas Hintze, Dominik Kaaser, Peter Kling, Lars Nagel |
| 2021 | ICLR | Teaching Temporal Logics to Neural Networks. | Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner |
| 2020 | CAV | Realizing mega-regular Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup |
| 2019 | LICS | The Hierarchy of Hyperlogics. | Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann |
| 2019 | RV | Algorithms for Monitoring Hyperproperties. | Christopher Hahn |
| 2019 | TACAS | Constraint-Based Monitoring of Hyperproperties. | Christopher Hahn, Marvin Stenger, Leander Tentrup |
| 2018 | ATVA | MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment. | Bernd Finkbeiner, Christopher Hahn, Tobias Hans |
| 2018 | CAV | Synthesizing Reactive Systems from Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup |
| 2018 | CAV | Model Checking Quantitative Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Hazem Torfah |
| 2018 | TACAS | RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup |
| 2017 | CAV | EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger |
| 2017 | RV | Monitoring Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup |
| 2016 | CONCUR | Deciding Hyperproperties. | Bernd Finkbeiner, Christopher Hahn |
| 2016 | ICIS | Business and IT Capabilities for Cloud Platform Success. | Christopher Hahn, Jan C. Huntgeburth, Till J. Winkler, Rdiger Zarnekow |
| 2010 | BPM | An Exploratory Study of IT-Enabled Collaborative Process Modeling. | Christopher Hahn, Jan Recker, Jan Mendling |