( en | de | ru )

 

Disambiguierung von "Hahn, Christopher"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking Quantitative Hyperproperties.

, , und . CoRR, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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)
 

Weitere Publikationen von Autoren mit dem selben Namen

Constraint-Based Monitoring of Hyperproperties., , und . TACAS (2), Volume 11428 von Lecture Notes in Computer Science, Seite 115-131. Springer, (2019)Teaching Temporal Logics to Neural Networks., , , , und . ICLR, OpenReview.net, (2021)Runtime Enforcement of Hyperproperties., , , , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 283-299. Springer, (2021)Visual Analysis of Hyperproperties for Understanding Model Checking Results., , , , , , , , und . IEEE Trans. Vis. Comput. Graph., 28 (1): 357-367 (2022)MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ^*^* ∃ ∗ ∀ ∗ Fragment., , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 521-527. Springer, (2018)Monitoring Hyperproperties., , , und . RV, Volume 10548 von Lecture Notes in Computer Science, Seite 190-207. Springer, (2017)Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model., , , , , , und . PODC, Seite 13-23. ACM, (2023)Synthesizing Reactive Systems from Hyperproperties., , , , und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 289-306. Springer, (2018)nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models., , , , und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 383-396. Springer, (2023)Explaining Hyperproperty Violations., , , , , , , und . CAV (1), Volume 13371 von Lecture Notes in Computer Science, Seite 407-429. Springer, (2022)