-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
Temporal logics with language parameters
Veröffentlicht in Information and computation
VolltextArtikel -
9
-
10
Automata and fixpoints for asynchronous hyperproperties
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
11
-
12
-
13
-
14
-
15
Codon Usage Influences Gating of Small K+ Channels
Veröffentlicht in Biophysical journal
VolltextArtikel -
16
Deciding Asynchronous Hyperproperties for Recursive Programs
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
17
-
18
-
19
-
20