-
1
-
2
-
3
The Maude LTL model checker and its implementation
Veröffentlicht in Lecture notes in computer science
VolltextArtikel -
4
-
5
-
6
Regiospecific total synthesis of 6-deoxyanthracyclines
Veröffentlicht in Tetrahedron
VolltextArtikel -
7
Novel Approach to Forecasting Photospheric Emergence of Active Regions
Veröffentlicht in Astrophysical journal. Letters
VolltextArtikel -
8
-
9
-
10
-
11
-
12
Dissipative instability in a partially ionised prominence plasma slab
Veröffentlicht in Astronomy and astrophysics (Berlin)
VolltextArtikel -
13
-
14
-
15
-
16
-
17
TRACE observations of driven loop oscillations
Veröffentlicht in Astronomy and astrophysics (Berlin)
VolltextArtikel -
18
-
19
-
20