-
1
-
2
Unlocking concurrency.
Veröffentlicht in ACM queue : architecting tomorrow's computing. (2006)Artikel -
3
-
4
Probabilistic checking of proofs a new characterization of NP.
Veröffentlicht in Journal of the ACMArtikel -
5
-
6
-
7
Corrigendum Reasoning about knowledge and probability?.
Veröffentlicht in Journal of the ACMArtikel -
8
-
9
-
10