Model checking quantum Markov chains

<i>Quantum Computation and Quantum Information</i>

Michael A. Nielsen, Isaac L. Chuang, Lov K. Grover · American Journal of Physics · 2002 · 22.7K citations

Computing, Physics, Quantum Computing +10

Quantum computation and quantum information

Jim Law · ACM SIGSOFT Software Engineering Notes · 2001 · 19.2K citations

Computing, Computer Science, Physics +13

Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels

Charles H. Bennett, Gilles Brassard, Claude Crépeau et al. · Physical Review Letters · 1993 · 13.8K citations · Full text

Natural Sciences, Communication, Physics +16

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Probability and Measure.

PE, P. Billingsley · Journal of the American Statistical Association · 1996 · 6.7K citations

Natural Sciences, Mathematics, Derivatives +16