Christopher Hahn

76 papers A* 5A 1B 9C 1Journal 39Unranked 20
YearRankTypeTitle / Venue / Authors
2025 — conf
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection.
IJCNLP-AACL (Findings)
Abhinav Lalwani, Tasha Kim, Lovish Chopra, Christopher Hahn, Zhijing Jin, Mrinmaya Sachan
2025 — conf
LawInstruct: A Resource for Studying Language Model Adaptation to the Legal Domain.
NAACL (Findings)
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 J jnl
FLawN-T5: An Empirical Examination of Effective Instruction-Tuning Data Mixtures for Legal Reasoning.
CoRR
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 — conf
Forming Large Patterns with Local Robots in the OBLOT Model.
SAND
Christopher Hahn, Jonas Harbig, Peter Kling
2024 J jnl
Forming Large Patterns with Local Robots in the OBLOT Model.
CoRR
Christopher Hahn, Jonas Harbig, Peter Kling
2024 J jnl
NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection.
CoRR
Abhinav Lalwani, Lovish Chopra, Christopher Hahn, Caroline Trippel, Zhijing Jin, Mrinmaya Sachan
2024 — conf
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.
TACAS (3)
Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt
2024 J jnl
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.
CoRR
Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt
2024 J jnl
Scalable physics-guided data-driven component model reduction for steady Navier-Stokes flow.
CoRR
Seung Whan Chung, Youngsoo Choi, Pratanu Roy, Thomas Roy, Tiras Y. Lin, Du T. Nguyen, Christopher Hahn, Eric B. Duoss, Sarah E. Baker
2024 J jnl
Scaled-up prediction of steady Navier-Stokes equation with component reduced order modeling.
CoRR
Seung Whan Chung, Youngsoo Choi, Pratanu Roy, Thomas Roy, Tiras Y. Lin, Du T. Nguyen, Christopher Hahn, Eric B. Duoss, Sarah E. Baker
2024 B conf
Symmetry Preservation in Swarms of Oblivious Robots with Limited Visibility.
OPODIS
Raphael Gerlach, Sören von der Gracht, Christopher Hahn, Jonas Harbig, Peter Kling
2024 J jnl
Symmetry Preservation in Swarms of Oblivious Robots with Limited Visibility.
CoRR
Raphael Gerlach, Sören von der Gracht, Christopher Hahn, Jonas Harbig, Peter Kling
2024 J jnl
Train Small, Model Big: Scalable Physics Simulators via Reduced Order Modeling and Domain Decomposition.
CoRR
Seung Whan Chung, Youngsoo Choi, Pratanu Roy, Thomas Moore, Thomas Roy, Tiras Y. Lin, Du Y. Nguyen, Christopher Hahn, Eric B. Duoss, Sarah E. Baker
2024 B conf
Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers.
FMCAD
Daniel Mendoza, Christopher Hahn, Caroline Trippel
2024 J jnl
Undecided State Dynamics with Stubborn Agents.
CoRR
Petra Berenbrink, Felix Biermeier, Christopher Hahn
2023 A* conf
Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model.
PODC
Talley Amir, James Aspnes, Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser, John Lazarsfeld
2023 J jnl
Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model.
CoRR
Talley Amir, James Aspnes, Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser, John Lazarsfeld
2023 A* conf
Iterative Circuit Repair Against Formal Specifications.
ICLR
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
2023 J jnl
Iterative Circuit Repair Against Formal Specifications.
CoRR
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
2023 B conf
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning.
FMCAD
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
2023 J jnl
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning.
CoRR
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
2023 — conf
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.
CAV (2)
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
2023 J jnl
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.
CoRR
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
2022 J jnl
Attention Flows for General Transformers.
CoRR
Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner
2022 — conf
Explaining Hyperproperty Violations.
CAV (1)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
2022 J jnl
Explaining Hyperproperty Violations.
CoRR
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
2022 J jnl
Formal Specifications from Natural Language.
CoRR
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner
2022 — conf
Loosely-Stabilizing Phase Clocks and The Adaptive Majority Problem.
SAND
Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser
2022 J jnl
Runtime Enforcement of Hyperproperties.
CoRR
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
2022 B conf
Temporal Causality in Reactive Systems.
ATVA
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
2022 J jnl
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
IEEE Trans. Vis. Comput. Graph.
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
2021 J jnl
Efficient Monitoring of Hyperproperties using Prefix Trees.
CoRR
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2021 J jnl
Generating Symbolic Reasoning Problems with Transformer GANs.
CoRR
Jens U. Kreber, Christopher Hahn
2021 A conf
Infinite Balanced Allocation via Finite Capacities.
ICDCS
Petra Berenbrink, Tom Friedetzky, Christopher Hahn, Lukas Hintze, Dominik Kaaser, Peter Kling, Lars Nagel
2021 — —
Logical and deep learning methods for temporal reasoning.
Christopher Hahn
2021 A* conf
Neural Circuit Synthesis from Specification Patterns.
NeurIPS
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
2021 J jnl
Neural Circuit Synthesis from Specification Patterns.
CoRR
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
2021 J jnl
Realizing Omega-regular Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
2021 B conf
Runtime Enforcement of Hyperproperties.
ATVA
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
2021 J jnl
Self-Stabilizing Phase Clocks and the Adaptive Majority Problem.
CoRR
Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser
2021 A* conf
Teaching Temporal Logics to Neural Networks.
ICLR
Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner
2021 J jnl
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
CoRR
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
2020 J jnl
Efficient monitoring of hyperproperties using prefix trees.
Int. J. Softw. Tools Technol. Transf.
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2020 — conf
Realizing ømega-regular Hyperproperties.
CAV (2)
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
2020 J jnl
Synthesis from hyperproperties.
Acta Informatica
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
2020 J jnl
Teaching Temporal Logics to Neural Networks.
CoRR
Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt
2020 J jnl
The Hierarchy of Hyperlogics.
CoRR
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
2019 B conf
Algorithms for Monitoring Hyperproperties.
RV
Christopher Hahn
2019 — conf
Constraint-Based Monitoring of Hyperproperties.
TACAS (2)
Christopher Hahn, Marvin Stenger, Leander Tentrup
2019 J jnl
Constraint-Based Monitoring of Hyperproperties.
CoRR
Christopher Hahn, Marvin Stenger, Leander Tentrup
2019 J jnl
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃
CoRR
Bernd Finkbeiner, Christopher Hahn, Tobias Hans
2019 J jnl
Model Checking Quantitative Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
2019 J jnl
Monitoring hyperproperties.
Formal Methods Syst. Des.
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2019 J jnl
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2019 J jnl
Synthesizing Reactive Systems from Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
2019 A* conf
The Hierarchy of Hyperlogics.
LICS
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
2018 B conf
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment.
ATVA
Bernd Finkbeiner, Christopher Hahn, Tobias Hans
2018 — conf
Model Checking Quantitative Hyperproperties.
CAV (1)
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
2018 J jnl
Monitoring Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2018 — conf
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.
TACAS (2)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2018 — conf
Synthesizing Reactive Systems from Hyperproperties.
CAV (1)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
2017 — conf
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties.
CAV (2)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger
2017 B conf
Monitoring Hyperproperties.
RV
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
2016 C conf
Business and IT Capabilities for Cloud Platform Success.
ICIS
Christopher Hahn, Jan C. Huntgeburth, Till J. Winkler, Rüdiger Zarnekow
2016 B conf
Deciding Hyperproperties.
CONCUR
Bernd Finkbeiner, Christopher Hahn
2016 J jnl
Deciding Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn
2016 J jnl
Digitalisierung der IT-Industrie mit Cloud Plattformen - Implikationen für Entwickler und Anwender.
HMD Prax. Wirtsch.
Christopher Hahn
2016 — conf
Leverage Once, EARN Repeatedly - Capabilities for Creating and appropriating Value in Cloud Platform Ecosystems.
ECIS
Christopher Hahn, Jan C. Huntgeburth, Rüdiger Zarnekow
2015 — conf
A value proposition oriented typology of electronic marketplaces for B2B SaaS applications.
AMCIS
Christopher Hahn, Dennis Röher, Rüdiger Zarnekow
2015 — conf
The Value of Community Clouds for Collaboration in the Public Sector.
AMCIS
Stine Labes, Christopher Hahn, Rüdiger Zarnekow
2014 — conf
Classification Framework for Analyzing Business Models of E-Marketplaces.
MKWI
Christopher Hahn, Stine Labes, Rüdiger Zarnekow
2014 J jnl
How collaborative technology supports cognitive processes in collaborative process modeling: A capabilities-gains-outcome model (Extended Abstract).
EMISA Forum
Jan Recker, Jan Mendling, Christopher Hahn
2013 — conf
An Exploratory Study on Cloud Strategies.
AMCIS
Christopher Hahn, Jonas Repschlaeger, Koray Erek, Rüdiger Zarnekow
2013 J jnl
How collaborative technology supports cognitive processes in collaborative process modeling: A capabilities-gains-outcome model.
Inf. Syst.
Jan Recker, Jan Mendling, Christopher Hahn
2012 — conf
How to Choose the Right BPM Tool: A Maturity-Centric Decision Framework with a Case Evaluation in the European Market.
EMISA
Christopher Hahn, Fabian Friedrich, Till J. Winkler, Gerrit Tamm, Konstantin Petruch
2010 — conf
An Exploratory Study of IT-Enabled Collaborative Process Modeling.
Business Process Management Workshops
Christopher Hahn, Jan Recker, Jan Mendling