-
1
Induction of myelodysplasia by myeloid-derived suppressor cells
Veröffentlicht in The Journal of clinical investigation
VolltextArtikel -
2
-
3
Inactivation of DAP12 in PMN inhibits TREM1-mediated activation in rheumatoid arthritis
Veröffentlicht in PloS one
VolltextArtikel -
4
-
5
-
6
Backward Bisimulation in Markov Chain Model Checking
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
7
-
8
Chalcones identify cTXNPx as a potential antileishmanial drug target
Veröffentlicht in PLoS neglected tropical diseases
VolltextArtikel -
9
-
10
-
11
-
12
Efficient model checking of the stochastic logic CSLTA
Veröffentlicht in Performance evaluation
VolltextArtikel -
13
-
14
Second Hankel Determinants for the Class of Typically Real Functions
Veröffentlicht in Abstract and Applied Analysis
VolltextArtikel -
15
-
16
-
17
Model Checking Timed and Stochastic Properties with CSL
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
18
-
19
-
20