Bilaketaren emaitzak - "Computation by Abstract Devices."
-
1
-
2
-
3
-
4
Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop.
Argitaratua izan da Software engineering notes.Artikulua -
5
Quantum lower bounds for the collision and the element distinctness problems.
Argitaratua izan da Journal of the ACMArtikulua -
6
Probabilistic checking of proofs a new characterization of NP.
Argitaratua izan da Journal of the ACMArtikulua -
7
Transforming cabbage into turnip polynomial algorithm for sorting signed permutations by reversals.
Argitaratua izan da Journal of the ACMArtikulua -
8
-
9
Unlocking concurrency.
Argitaratua izan da ACM queue : architecting tomorrow's computing. (2006)Artikulua -
10
Lower bounds on the bounded coefficient complexity of bilinear maps.
Argitaratua izan da Journal of the ACMArtikulua


