The following pages link to Christopher Hahn (Q2008279):
Displaying 9 items.
- Monitoring hyperproperties (Q2008281) (← links)
- Runtime enforcement of hyperproperties (Q2147207) (← links)
- Realizing \(\omega\)-regular hyperproperties (Q2226720) (← links)
- Synthesis from hyperproperties (Q2303878) (← links)
- (Q4608665) (← links)
- Train small, model big: scalable physics simulators via reduced order modeling and domain decomposition (Q6557808) (← links)
- The hierarchy of hyperlogics (Q6654505) (← links)
- Scaled-up prediction of steady Navier-Stokes equation with component reduced order modeling (Q6750868) (← links)
- Scalable physics-guided data-driven component model reduction for steady Navier-Stokes flow (Q6750875) (← links)
