Andreas Roth

Available identifiers

zbMath Open roth.andreas-barthelMaRDI QIDQ305083

List of research outcomes

Publication	Date of Publication	Type
Specification and Verification of Encapsulation in Java Programs	2021-05-20	Paper
Instantaneous control of interacting particle systems in the mean-field limit	2021-01-28	Paper
First-order quarter- and mixed-moment realizability theory and Kershaw closures for a Fokker-Planck equation in two space dimensions	2017-03-14	Paper
Controlling a self-organizing system of individuals guided by a few external agents -- particle description and mean-field limit	2016-10-05	Paper
Single to double mill small noise transition via semi-Lagrangian finite volume methods	2016-08-26	Paper
A Retarded Mean-Field Approach for Interacting Fiber Structures	2015-01-26	Paper
Ensuring the correctness of lightweight tactics for JavaCard dynamic logic	2014-01-10	Paper
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics	2008-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q3021903	2005-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q3997372	1992-09-17	Paper
Control point insertion for B-spline curves	1988-01-01	Paper

Research outcomes over time

This page was built for person: Andreas Roth