-
1
Model for Wall Shear Stress from Obliquely Impinging Planar Underexpanded Jets
Veröffentlicht in Applied sciences
VolltextArtikel -
2
-
3
-
4
Beyond model checking of idealized Lustre in Kind 2
Veröffentlicht in ACM SIGAda Ada Letters
VolltextArtikel -
5
-
6
-
7
-
8
-
9
Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)
Veröffentlicht in arXiv.org
VolltextArtikel -
10
-
11
-
12
-
13
-
14
-
15
Microbial induced calcite precipitation can consolidate martian and lunar regolith simulants
Veröffentlicht in PloS one
VolltextArtikel -
16
-
17
-
18
Pore–microcrack interaction governs failure in bioconsolidated space bricks
Veröffentlicht in Ceramics international
VolltextArtikel -
19
Space bricks: From LSS to machinable structures via MICP
Veröffentlicht in Ceramics international
VolltextArtikel -
20