-
1
-
2
-
3
Elderly Patient-Derived Endothelial Cells for Vascularization of Engineered Muscle
Veröffentlicht in Molecular therapy
VolltextArtikel -
4
Synthesis with rational environments
Veröffentlicht in Annals of mathematics and artificial intelligence
VolltextArtikel -
5
-
6
-
7
SAT-based explicit LTLf satisfiability checking
Veröffentlicht in Artificial intelligence
VolltextArtikel -
8
Reasoning About Strategies: On the Model-Checking Problem
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel -
9
-
10
-
11
-
12
-
13
-
14
Elranatamab in relapsed or refractory multiple myeloma: the MagnetisMM-1 phase 1 trial
Veröffentlicht in Nature medicine
VolltextArtikel -
15
Supervisory control and reactive synthesis: a comparative introduction
Veröffentlicht in Discrete event dynamic systems
VolltextArtikel -
16
-
17
-
18
-
19
-
20