-
1
-
2
FAST Ultra-Deep Survey: Data Release for FUDS0
Veröffentlicht in The Astrophysical journal. Supplement series
VolltextArtikel -
3
-
4
-
5
The Most Distant H i Galaxies Discovered by the 500 m Dish FAST
Veröffentlicht in Astrophysical journal. Letters
VolltextArtikel -
6
-
7
-
8
-
9
-
10
-
11
-
12
A linear type system for multicore programming in ATS
Veröffentlicht in Science of computer programming
VolltextArtikel -
13
The Arecibo Ultra-Deep Survey
Veröffentlicht in Monthly notices of the Royal Astronomical Society
VolltextArtikel -
14
-
15
-
16
Dependent types for program termination verification
Veröffentlicht in Higher-order and symbolic computation
VolltextArtikel -
17
-
18
-
19
Program Synthesis and Vulnerability Injection Using a Grammar VAE
Veröffentlicht in Journal of software
VolltextArtikel -
20