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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andreas Roth