Centrum Wiskunde & Informatica

Robust Polynomials and Quantum Algorithms Article

Theory of Computing Systems, 40(4), 379-395.

H.M. Buhrman (Harry), I. Newman, H. Röhrig (Hein) and R.M. de Wolf (Ronald)

January 2007
Exponential Separations for One-Way Quantum Communication Complexity, with Applications to Cryptography In Proceedings

D. Gavinsky, J. Kempe, I. Kerenidis, R. Raz and R.M. de Wolf (Ronald)

January 2007
Bisimulation for Neighbourhood Structures Tech Report

H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit

January 2007
SAT-based Abstraction Refinement for Real-time Systems Article

Electronic Notes in Theoretical Computer Science, 107-122.

S. Kemper (Stephanie) and A. Platzer

January 2007
Symmetry and partial order reduction techniques in model checking Rebeca Tech Report

M.M. Jaghoori (Mohammad Mahdi), M. Sirjani (Marjan), M.R. Mousavi and A. Movaghar (Ali)

January 2007
Task Scheduling in Rebeca (Extended Abstract) In Proceedings

M.M. Jaghoori (Mohammad Mahdi), F.S. de Boer (Frank) and M. Sirjani (Marjan)

January 2007
Coalgebraic foundations of linear systems In Proceedings

J.J.M.M. Rutten (Jan)

January 2007
Behavioural differential equations and coinduction for binary trees In Proceedings

A.M. Silva (Alexandra) and J.J.M.M. Rutten (Jan)

January 2007

Previous

Next