-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
In Vitro Antioxidant and Enzyme Inhibitory Activities of Walnut Male Flowers
Veröffentlicht in Akademik Gıda
VolltextArtikel -
15
NOX2 in autoimmunity, tumor growth and metastasis
Veröffentlicht in The Journal of pathology
VolltextArtikel -
16
Cycle encoding-based parameter synthesis for timed automata safety
Veröffentlicht in Acta informatica
VolltextArtikel -
17
-
18
-
19
Language-Guided Controller Synthesis for Linear Systems
Veröffentlicht in IEEE transactions on automatic control
VolltextArtikel -
20
An automated system repair framework with signal temporal logic
Veröffentlicht in Acta informatica
VolltextArtikel