Christopher Hahn

MaRDI QIDQ2008279zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A scalable reduced-order model for the steady Navier-Stokes equations International Journal for Numerical Methods in Engineering	2026-07-14	Paper
The hierarchy of hyperlogics	2024-12-19	Paper
Train small, model big: scalable physics simulators via reduced order modeling and domain decomposition Computer Methods in Applied Mechanics and Engineering	2024-06-18	Paper
Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing	2024-03-26	Paper
Scaled-up prediction of steady Navier-Stokes equation with component reduced order modeling (available as arXiv preprint)	2024-01-01	Paper
Scalable physics-guided data-driven component model reduction for steady Navier-Stokes flow (available as arXiv preprint)	2024-01-01	Paper
Constraint-based monitoring of hyperproperties Tools and Algorithms for the Construction and Analysis of Systems	2023-11-24	Paper
Temporal causality in reactive systems Automated Technology for Verification and Analysis	2023-06-02	Paper
Model checking quantitative hyperproperties Computer Aided Verification	2023-05-26	Paper
Synthesizing reactive systems from hyperproperties Computer Aided Verification	2023-05-26	Paper
Explaining Hyperproperty Violations	2022-12-07	Paper
Runtime enforcement of hyperproperties (available as arXiv preprint)	2022-06-22	Paper
Loosely-stabilizing phase clocks and the adaptive majority problem	2022-01-01	Paper
Realizing \(\omega\)-regular hyperproperties (available as arXiv preprint)	2021-02-09	Paper
Synthesis from hyperproperties Acta Informatica	2020-03-06	Paper
Monitoring hyperproperties Formal Methods in System Design	2019-11-25	Paper
scientific article; zbMATH DE number 6851935 (Why is no real title available?) (available as arXiv preprint)	2018-03-21	Paper

Research outcomes over time

This page was built for person: Christopher Hahn