-
1
-
2
OpenComet: an automated tool for comet assay image analysis
Veröffentlicht in Redox biology
VolltextArtikel -
3
-
4
Approximate Verification of the Symbolic Dynamics of Markov Chains
Veröffentlicht in Journal of the ACM
VolltextArtikel -
5
-
6
-
7
Statistical verification of autonomous system controllers under timing uncertainties
Veröffentlicht in Real-time systems
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
Effect of Mild Sway on the Interfacial Mass Transfer Rate of Stored Liquids
Veröffentlicht in Journal of heat transfer
VolltextArtikel -
16
-
17
Approximate probabilistic analysis of biopathway dynamics
Veröffentlicht in Bioinformatics (Oxford, England)
VolltextArtikel -
18
Extreme mooring tensions due to snap loads on a floating offshore wind turbine system
Veröffentlicht in Marine structures
VolltextArtikel -
19
Microvesicle‐associated tissue factor and Trousseau's syndrome
Veröffentlicht in Journal of thrombosis and haemostasis
VolltextArtikel -
20