The following pages link to Andreas Roth (Q305083):
Displaying 9 items.
- Single to double mill small noise transition via semi-Lagrangian finite volume methods (Q305084) (← links)
- First-order quarter- and mixed-moment realizability theory and Kershaw closures for a Fokker-Planck equation in two space dimensions (Q516271) (← links)
- Instantaneous control of interacting particle systems in the mean-field limit (Q2223226) (← links)
- Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic (Q2871841) (← links)
- (Q3021903) (← links)
- Control point insertion for <i>B</i>-spline curves (Q3796615) (← links)
- (Q3997372) (← links)
- Specification and Verification of Encapsulation in Java Programs (Q4989029) (← links)
- Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics (Q5387854) (← links)
