( en | de | ru )

 

Disambiguation of "Hahn, Christopher"

Author of the publication

copydeleteadd this publication to your clipboard
The Hierarchy of Hyperlogics.

, , , and . LICS, page 1-13. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christopher Hahn

Christopher Hahn

Christopher Christopher

Simone Hahn

Analyse des molekularen Mechanismus der Aktivität des Typ-III-Effektors AvrBs3 aus Xanthomonas campestris pv. vesicatoria. Uni Halle-Wittenberg, (2009)

Stefanie Hahn

Vergleich der Wirkung von subkutan versus oral verabreichtem Methotrexat bei Kindern mit juveniler idiopathischer Arthritis. Uni Tübingen, (2009)
 

Other publications of authors with the same name

EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties., , and . CAV (2), volume 10427 of Lecture Notes in Computer Science, page 564-570. Springer, (2017)Algorithms for Monitoring Hyperproperties.. RV, volume 11757 of Lecture Notes in Computer Science, page 70-90. Springer, (2019)The Value of Community Clouds for Collaboration in the Public Sector., , and . AMCIS, Association for Information Systems, (2015)Teaching Temporal Logics to Neural Networks., , , and . CoRR, (2020)Realizing ømega-regular Hyperproperties., , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 40-63. Springer, (2020)Monitoring hyperproperties., , , and . Formal Methods Syst. Des., 54 (3): 336-363 (2019)Formal Specifications from Natural Language., , , , , and . CoRR, (2022)Self-Stabilizing Phase Clocks and the Adaptive Majority Problem., , , and . CoRR, (2021)Train Small, Model Big: Scalable Physics Simulators via Reduced Order Modeling and Domain Decomposition., , , , , , , , , and . CoRR, (2024)Logical and deep learning methods for temporal reasoning.. Saarland University, Saarbrücken, Germany, (2021)