-
1
Using SyGuS to Synthesize Reactive Motion Plans
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
2
-
3
-
4
SMaSH: a benchmarking toolkit for human genome variant calling
Veröffentlicht in Bioinformatics (Oxford, England)
VolltextArtikel -
5
SM a SH: a benchmarking toolkit for human genome variant calling
Veröffentlicht in Bioinformatics (Oxford, England)
VolltextArtikel -
6
-
7
-
8
Using human-in-the-loop synthesis to author functional reactive programs
Veröffentlicht in arXiv.org
VolltextArtikel -
9
-
10
SMaSH: A Benchmarking Toolkit for Human Genome Variant Calling
Veröffentlicht in arXiv.org
VolltextArtikel -
11
-
12
-
13
Effect of prolonged lipopolysaccharide exposure on lung function and health
Veröffentlicht in The FASEB journal
VolltextArtikel -
14
-
15
-
16
-
17
Global Proteomic Profiling of Salmonella Infection by a Giant Phage
Veröffentlicht in Journal of virology
VolltextArtikel -
18
-
19
-
20