Andreas Roth

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
Specification and verification of encapsulation in Java programs Lecture Notes in Computer Science	2021-05-20	Paper
Instantaneous control of interacting particle systems in the mean-field limit Journal of Computational Physics	2021-01-28	Paper
First-order quarter- and mixed-moment realizability theory and Kershaw closures for a Fokker-Planck equation in two space dimensions Kinetic and Related Models	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 Communications in Mathematical Sciences	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 Electronic Notes in Theoretical Computer Science	2014-01-10	Paper
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
scientific article; zbMATH DE number 2177623 (Why is no real title available?)	2005-06-21	Paper
scientific article; zbMATH DE number 48488 (Why is no real title available?)	1992-09-17	Paper
Control point insertion for B-spline curves Bulletin of the Australian Mathematical Society	1988-01-01	Paper

Research outcomes over time

This page was built for person: Andreas Roth