Sökresultat - "Computation by abstract devices."
-
1
-
2
-
3
-
4
-
5
Quantum lower bounds for the collision and the element distinctness problems.
I publikationen Journal of the ACMArtikel -
6
Probabilistic checking of proofs a new characterization of NP.
I publikationen Journal of the ACMArtikel -
7
-
8
-
9
Unlocking concurrency.
I publikationen ACM queue : architecting tomorrow's computing. (2006)Artikel -
10
Lower bounds on the bounded coefficient complexity of bilinear maps.
I publikationen Journal of the ACMArtikel


