More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Christopher Hahn

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sand/HahnHK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sand/HahnHK24
Christopher Hahn, Jonas Harbig, Peter Kling:
Forming Large Patterns with Local Robots in the OBLOT Model. SAND 2024: 14:1-14:20
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CoslerHOS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CoslerHOS24
Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt:
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. TACAS (3) 2024: 45-67
[i32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-10245
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-10245
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:
Train Small, Model Big: Scalable Physics Simulators via Reduced Order Modeling and Domain Decomposition. CoRR abs/2401.10245 (2024)
[i31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-12131
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-12131
Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt:
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. CoRR abs/2401.12131 (2024)
[i30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-02127
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-02127
Joel Niklaus, Lucia Zheng, Arya D. McCarthy, Christopher Hahn, Brian M. Rosen, Peter Henderson, Daniel E. Ho, Garrett Honke, Percy Liang, Christopher D. Manning:
FLawN-T5: An Empirical Examination of Effective Instruction-Tuning Data Mixtures for Legal Reasoning. CoRR abs/2404.02127 (2024)
[i29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-02771
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-02771
Christopher Hahn, Jonas Harbig, Peter Kling:
Forming Large Patterns with Local Robots in the OBLOT Model. CoRR abs/2404.02771 (2024)
[i28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-02318
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-02318
Abhinav Lalwani, Lovish Chopra, Christopher Hahn, Caroline Trippel, Zhijing Jin, Mrinmaya Sachan:
NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection. CoRR abs/2405.02318 (2024)
[i27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-07335
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-07335
Petra Berenbrink, Felix Biermeier, Christopher Hahn:
Undecided State Dynamics with Stubborn Agents. CoRR abs/2406.07335 (2024)
[i26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-19277
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-19277
Raphael Gerlach, Sören von der Gracht, Christopher Hahn, Jonas Harbig, Peter Kling:
Symmetry Preservation in Swarms of Oblivious Robots with Limited Visibility. CoRR abs/2409.19277 (2024)
[i25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-21534
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-21534
Seung Whan Chung, Youngsoo Choi, Pratanu Roy, Thomas Roy, Tiras Y. Lin, Du T. Nguyen, Christopher Hahn, Eric B. Duoss, Sarah E. Baker:
Scaled-up prediction of steady Navier-Stokes equation with component reduced order modeling. CoRR abs/2410.21534 (2024)
[i24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-21583
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-21583
Seung Whan Chung, Youngsoo Choi, Pratanu Roy, Thomas Roy, Tiras Y. Lin, Du T. Nguyen, Christopher Hahn, Eric B. Duoss, Sarah E. Baker:
Scalable physics-guided data-driven component model reduction for steady Navier-Stokes flow. CoRR abs/2410.21583 (2024)
2023
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CoslerHMST23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CoslerHMST23
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel:
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CAV (2) 2023: 383-396
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/WuHLMRB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/WuHLMRB23
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett:
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. FMCAD 2023: 1-11
[c28]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/CoslerSHF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/CoslerSHF23
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner:
Iterative Circuit Repair Against Formal Specifications. ICLR 2023
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/AmirABBHKL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/AmirABBHKL23
Talley Amir, James Aspnes, Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser, John Lazarsfeld:
Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model. PODC 2023: 13-23
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-12508
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-12508
Talley Amir, James Aspnes, Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser, John Lazarsfeld:
Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model. CoRR abs/2302.12508 (2023)
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-01158
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-01158
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner:
Iterative Circuit Repair Against Formal Specifications. CoRR abs/2303.01158 (2023)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-04864
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-04864
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel:
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CoRR abs/2303.04864 (2023)
[i20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-11087
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-11087
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett:
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. CoRR abs/2305.11087 (2023)
2022
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tvcg/HorakCMHFMDFD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvcg/HorakCMHFMDFD22
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt:
Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE Trans. Vis. Comput. Graph. 28(1): 357-367 (2022)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CoenenFFHMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CoenenFFHMS22
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber:
Temporal Causality in Reactive Systems. ATVA 2022: 208-224
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CoenenDFFHHMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CoenenDFFHHMS22
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber:
Explaining Hyperproperty Violations. CAV (1) 2022: 407-429
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sand/BerenbrinkBHK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sand/BerenbrinkBHK22
Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser:
Loosely-Stabilizing Phase Clocks and The Adaptive Majority Problem. SAND 2022: 7:1-7:17
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-04146
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-04146
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo:
Runtime Enforcement of Hyperproperties. CoRR abs/2203.04146 (2022)
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-15389
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-15389
Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner:
Attention Flows for General Transformers. CoRR abs/2205.15389 (2022)
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-01962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-01962
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner:
Formal Specifications from Natural Language. CoRR abs/2206.01962 (2022)
[i16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-02074
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-02074
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber:
Explaining Hyperproperty Violations. CoRR abs/2206.02074 (2022)
2021
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Hahn21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Hahn21
Christopher Hahn:
Logical and deep learning methods for temporal reasoning. Saarland University, Saarbrücken, Germany, 2021
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CoenenFHHS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CoenenFHHS21
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo:
Runtime Enforcement of Hyperproperties. ATVA 2021: 283-299
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/BerenbrinkFHHKK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/BerenbrinkFHHKK21
Petra Berenbrink, Tom Friedetzky, Christopher Hahn, Lukas Hintze, Dominik Kaaser, Peter Kling, Lars Nagel:
Infinite Balanced Allocation via Finite Capacities. ICDCS 2021: 965-975
[c21]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/HahnSKRF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/HahnSKRF21
Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner:
Teaching Temporal Logics to Neural Networks. ICLR 2021
[c20]
- view
  - electronic edition @ neurips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/SchmittHRF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/SchmittHRF21
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner:
Neural Circuit Synthesis from Specification Patterns. NeurIPS 2021: 15408-15420
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07109
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07109
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Efficient Monitoring of Hyperproperties using Prefix Trees. CoRR abs/2101.07109 (2021)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-07161
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07161
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup:
Realizing Omega-regular Hyperproperties. CoRR abs/2101.07161 (2021)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-13002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-13002
Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser:
Self-Stabilizing Phase Clocks and the Adaptive Majority Problem. CoRR abs/2106.13002 (2021)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-11864
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-11864
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner:
Neural Circuit Synthesis from Specification Patterns. CoRR abs/2107.11864 (2021)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-03698
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-03698
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt:
Visual Analysis of Hyperproperties for Understanding Model Checking Results. CoRR abs/2108.03698 (2021)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-10054
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-10054
Jens U. Kreber, Christopher Hahn:
Generating Symbolic Reasoning Problems with Transformer GANs. CoRR abs/2110.10054 (2021)
2020
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/acta/FinkbeinerHLST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/FinkbeinerHLST20
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesis from hyperproperties. Acta Informatica 57(1-2): 137-163 (2020)
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/FinkbeinerHST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FinkbeinerHST20
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Efficient monitoring of hyperproperties using prefix trees. Int. J. Softw. Tools Technol. Transf. 22(6): 729-740 (2020)
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerHHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHHT20
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup:
Realizing ømega-regular Hyperproperties. CAV (2) 2020: 40-63
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-04218
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-04218
Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt:
Teaching Temporal Logics to Neural Networks. CoRR abs/2003.04218 (2020)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-05934
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-05934
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann:
The Hierarchy of Hyperlogics. CoRR abs/2005.05934 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/FinkbeinerHST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FinkbeinerHST19
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring hyperproperties. Formal Methods Syst. Des. 54(3): 336-363 (2019)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CoenenFHH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CoenenFHH19
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann:
The Hierarchy of Hyperlogics. LICS 2019: 1-13
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Hahn19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Hahn19
Christopher Hahn:
Algorithms for Monitoring Hyperproperties. RV 2019: 70-90
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HahnST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HahnST19
Christopher Hahn, Marvin Stenger, Leander Tentrup:
Constraint-Based Monitoring of Hyperproperties. TACAS (2) 2019: 115-131
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-11138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-11138
Bernd Finkbeiner, Christopher Hahn, Tobias Hans:
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃^*∀^* Fragment. CoRR abs/1903.11138 (2019)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-13511
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-13511
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesizing Reactive Systems from Hyperproperties. CoRR abs/1905.13511 (2019)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-13514
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-13514
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
Model Checking Quantitative Hyperproperties. CoRR abs/1905.13514 (2019)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-13517
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-13517
Christopher Hahn, Marvin Stenger, Leander Tentrup:
Constraint-Based Monitoring of Hyperproperties. CoRR abs/1905.13517 (2019)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-00798
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-00798
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. CoRR abs/1906.00798 (2019)
2018
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FinkbeinerHH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FinkbeinerHH18
Bernd Finkbeiner, Christopher Hahn, Tobias Hans:
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment. ATVA 2018: 521-527
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerHT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHT18
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah:
Model Checking Quantitative Hyperproperties. CAV (1) 2018: 144-163
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerHLST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHLST18
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesizing Reactive Systems from Hyperproperties. CAV (1) 2018: 289-306
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FinkbeinerHST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FinkbeinerHST18
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. TACAS (2) 2018: 194-200
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-00758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-00758
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring Hyperproperties. CoRR abs/1807.00758 (2018)
2017
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FinkbeinerHS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FinkbeinerHS17
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger:
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties. CAV (2) 2017: 564-570
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FinkbeinerHST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FinkbeinerHST17
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring Hyperproperties. RV 2017: 190-207
2016
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/hmd/Hahn16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/hmd/Hahn16
Christopher Hahn:
Digitalisierung der IT-Industrie mit Cloud Plattformen - Implikationen für Entwickler und Anwender. HMD Prax. Wirtsch. 53(5): 594-606 (2016)
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/FinkbeinerH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FinkbeinerH16
Bernd Finkbeiner, Christopher Hahn:
Deciding Hyperproperties. CONCUR 2016: 13:1-13:14
[c8]
- view
  - electronic edition @ aisnet.org
  - no references & citations available
- export record
  dblp key:
  - conf/ecis/HahnHZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecis/HahnHZ16
Christopher Hahn, Jan C. Huntgeburth, Rüdiger Zarnekow:
Leverage Once, EARN Repeatedly - Capabilities for Creating and appropriating Value in Cloud Platform Ecosystems. ECIS 2016: Research Paper 93
[c7]
- view
  - electronic edition @ aisnet.org
  - no references & citations available
- export record
  dblp key:
  - conf/icis/HahnHWZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icis/HahnHWZ16
Christopher Hahn, Jan C. Huntgeburth, Till J. Winkler, Rüdiger Zarnekow:
Business and IT Capabilities for Cloud Platform Success. ICIS 2016
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FinkbeinerH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerH16
Bernd Finkbeiner, Christopher Hahn:
Deciding Hyperproperties. CoRR abs/1606.07047 (2016)
2015
[c6]
- view
  - electronic edition @ aisnet.org
  - no references & citations available
- export record
  dblp key:
  - conf/amcis/HahnRZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcis/HahnRZ15
Christopher Hahn, Dennis Röher, Rüdiger Zarnekow:
A value proposition oriented typology of electronic marketplaces for B2B SaaS applications. AMCIS 2015
[c5]
- view
  - electronic edition @ aisnet.org
  - no references & citations available
- export record
  dblp key:
  - conf/amcis/LabesHZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcis/LabesHZ15
Stine Labes, Christopher Hahn, Rüdiger Zarnekow:
The Value of Community Clouds for Collaboration in the Public Sector. AMCIS 2015
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/emisa/ReckerMH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/emisa/ReckerMH14
Jan Recker, Jan Mendling, Christopher Hahn:
How collaborative technology supports cognitive processes in collaborative process modeling: A capabilities-gains-outcome model (Extended Abstract). EMISA Forum 34(1): 40 (2014)
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mkwi/HahnLZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkwi/HahnLZ14
Christopher Hahn, Stine Labes, Rüdiger Zarnekow:
Classification Framework for Analyzing Business Models of E-Marketplaces. MKWI 2014: 503-517
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/is/ReckerMH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/ReckerMH13
Jan Recker, Jan Mendling, Christopher Hahn:
How collaborative technology supports cognitive processes in collaborative process modeling: A capabilities-gains-outcome model. Inf. Syst. 38(8): 1031-1045 (2013)
[c3]
- view
  - electronic edition @ aisnet.org
  - no references & citations available
- export record
  dblp key:
  - conf/amcis/HahnREZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcis/HahnREZ13
Christopher Hahn, Jonas Repschlaeger, Koray Erek, Rüdiger Zarnekow:
An Exploratory Study on Cloud Strategies. AMCIS 2013
2012
[c2]
- view
- export record
  dblp key:
  - conf/emisa/HahnFWTP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emisa/HahnFWTP12
Christopher Hahn, Fabian Friedrich, Till J. Winkler, Gerrit Tamm, Konstantin Petruch:
How to Choose the Right BPM Tool: A Maturity-Centric Decision Framework with a Case Evaluation in the European Market. EMISA 2012: 109-122
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/HahnRM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/HahnRM10
Christopher Hahn, Jan Recker, Jan Mendling:
An Exploratory Study of IT-Enabled Collaborative Process Modeling. Business Process Management Workshops 2010: 61-72

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.