An Integrated Constraint-Logic and Object-Oriented Programming Language
The Münster Logic-Imperative Language2020

An Obata-type characterization of doubly-warped product Kähler manifolds
In: Münster Journal of Mathematics, H. Münster Journal of Mathematics, S. 295-321






Analysis of CoFGE experiments with Delta2D
In: Mercator Journal of Biomolecular Analysis, H. Mercator Journal of Biomolecular Analysis, S. 1-45



Analysis on Riemannian foliations of bounded geometry
In: Münster Journal of Mathematics, H. Münster Journal of Mathematics, S. 221-265
Analytic filling of totally real tori
In: Münster Journal of Mathematics, H. Münster Journal of Mathematics, S. 207-219

Analyzing marker substances for Complex Regional Pain Syndrome (CRPS)
In: Mercator Journal of Biomolecular Analysis, H. Mercator Journal of Biomolecular Analysis, S. 1-23



