Publication
-
Efficient hybrid encryption from ID-based encryption Article
Designs, Codes and Cryptography, 53(3), 205-240.January 2010 -
Does the Polynomial Hierarchy Collapse if Onto Functions are Invertible? Article
Theory of Computing Systems, 46(1), 143-156.January 2010 -
Non-deterministic Kleene coalgebras Tech Report
January 2010
-
A Practical Algorithm for Reconstructing Level-1 Phylogenetic Networks Article
IEEE/ACM Transactions on Computational Biology and BioinformaticsJanuary 2010
-
Monotonicity testing and shortest-path routing on the cube In Proceedings
January 2010 -
The Complexity of Nash Equilibria in Stochastic Multiplayer Games Article
Logical Methods in Computer ScienceJanuary 2010
-
One-Counter Markov Decision Processes In Proceedings
January 2010
-
Collapsing and Separating Complete Notions Under Worst-Case and Average-Case Hypotheses In Proceedings
January 2010