-
1
bcl-2 Protein in Non-Small-Cell Lung Carcinoma
Veröffentlicht in The New England journal of medicine
VolltextArtikel -
2
XDuce: A statically typed XML processing language
Veröffentlicht in ACM transactions on Internet technology
VolltextArtikel -
3
-
4
-
5
Testing noninterference, quickly
Veröffentlicht in Journal of functional programming
VolltextArtikel -
6
-
7
-
8
-
9
-
10
Bounded Quantification Is Undecidable
Veröffentlicht in Information and computation
VolltextArtikel -
11
-
12
Regular expression types for XML
Veröffentlicht in ACM transactions on programming languages and systems
VolltextArtikel -
13
-
14
-
15
Local type inference
Veröffentlicht in ACM transactions on programming languages and systems
VolltextArtikel -
16
-
17
-
18
-
19
-
20
Evidence for electronic localization in YBa2-yLayCu3Ox
Veröffentlicht in Physics letters. A
VolltextArtikel