-
1
Formal Methods in Railways: A Systematic Mapping Study
Veröffentlicht in ACM computing surveys
VolltextArtikel -
2
Total Mercury Released to the Environment by Human Activities
Veröffentlicht in Environmental science & technology
VolltextArtikel -
3
Low-Water Activity Foods: Increased Concern as Vehicles of Foodborne Pathogens
Veröffentlicht in Journal of food protection
VolltextArtikel -
4
Measuring induction times and crystal nucleation rates
Veröffentlicht in Faraday discussions
VolltextArtikel -
5
Nucleation of Organic Crystals-A Molecular Perspective
Veröffentlicht in Angewandte Chemie International Edition
VolltextArtikel -
6
Crystal Nucleation Rates from Probability Distributions of Induction Times
Veröffentlicht in Crystal growth & design
VolltextArtikel -
7
Solvates, Salts, and Cocrystals: A Proposal for a Feasible Classification System
Veröffentlicht in Crystal growth & design
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14
Progress and challenges in utilization of ejectors for cryogenic cooling
Veröffentlicht in Applied thermal engineering
VolltextArtikel -
15
-
16
Three novel bird strike likelihood modelling techniques: The case of Brisbane Airport, Australia
Veröffentlicht in PloS one
VolltextArtikel -
17
Soundness of workflow nets: classification, decidability, and analysis
Veröffentlicht in Formal aspects of computing
VolltextArtikel -
18
-
19
-
20