-
1
-
2
-
3
A Temporal Logic for Programmable Logic Controllers
Veröffentlicht in Automatic control and computer sciences
VolltextArtikel -
4
Dedicative Verification of Reflex Programs
Veröffentlicht in Programming and computer software
VolltextArtikel -
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
Olga Arsenjevna Oleinik
Veröffentlicht in Journal of mathematical sciences (New York, N.Y.)
VolltextArtikel -
13
Stepping Transfer Messenger RNA through the Ribosome
Veröffentlicht in The Journal of biological chemistry
VolltextArtikel -
14
Machine learning-based prediction of COVID-19 diagnosis based on symptoms
Veröffentlicht in NPJ digital medicine
VolltextArtikel -
15
-
16
-
17
-
18
-
19
-
20