-
1
Lipidomic Analysis of Chlamydomonas reinhardtii under Nitrogen and Sulfur Deprivation
Veröffentlicht in PloS one
VolltextArtikel -
2
-
3
Lipidomic Analysis of Chlamydomonas reinhardtii under Nitrogen and Sulfur Deprivation: e0137948
Veröffentlicht in PloS one
VolltextArtikel -
4
Verified high-order inversion of functional dependencies and Interval Newton methods
Veröffentlicht in Reliable computing
VolltextArtikel -
5
Verification of invertibility of complicated functions over large domains
Veröffentlicht in Reliable computing
VolltextArtikel -
6
Controlling the wrapping effect in the solution of ODEs for asteroids
Veröffentlicht in Reliable computing
VolltextArtikel -
7
-
8
-
9
-
10
-
11
Verified Control of Near-Earth Asteroid Orbits
Veröffentlicht in IFAC Proceedings Volumes
VolltextArtikel