Publication
-
A new quantum lower bound method, with applications to direct product theorems and time-space tradeoffs In Proceedings
January 2006 -
Preface Article
Electronic Notes in Theoretical Computer Science, 1-2.January 2006 -
New limits on fault-tolerant quantum computation In Proceedings
January 2006
-
Bisimilarity is not finitely based over BPA with interrupt In Proceedings
January 2006 -
Guest editors’ introduction: Special issue on Process Theory for hybrid systems Article
Journal of Logic and Algebraic Programming, 1-3.January 2006 -
Simulated Time for Testing Railway Interlockings with TTCN-3 In Proceedings
January 2006 -
Deploying Loosely Coupled, Component-based Applications into distributed environments In Proceedings
January 2006 -
A Component Coordination Model Based on Mobile Channels Article
Electronic Notes in Theoretical Computer Science, 121-138.January 2006