Publication
-
Exponential Separations for One-Way Quantum Communication Complexity, with Applications to Cryptography In Proceedings
January 2007
-
Task Scheduling in Rebeca (Extended Abstract) In Proceedings
January 2007 -
Robust Polynomials and Quantum Algorithms Article
Theory of Computing Systems, 40(4), 379-395.January 2007
-
Quantum and classical strong direct product theorems and optimal time-space tradeoffs Article
SIAM Journal on Computing, 36(5), 1472-1493.January 2007
-
January 2007
-
The many faces of rationalizability Article
The B.E. Journal of Theoretical Economics, 7(1), 1-39.January 2007 -
A second-order, unconditionally positive, mass-conserving integration scheme for biochemical systems. Article
Applied Numerical Mathematics, 36-58.January 2007
-
Bisimulation for Neighbourhood Structures Tech Report
January 2007