1. A. Baltag & S. Smets (2005): Complete Axiomatizations for Quantum Actions. International Journal of Theoretical Physics 44(12), doi:10.1007/s10773-005-8022-2.
  2. A. Baltag & S. Smets (2006): LQP: the dynamic logic of quantum information. Mathematical Structures in Computer Science 16(3), doi:10.1017/S0960129506005299.
  3. A. Baltag & S. Smets (2008): A Dynamic-Logical Perspective on Quantum Behavior. Studia Logica 89(2), doi:10.1007/s11225-008-9126-5.
  4. C. H. Bennett & S. J. Wiesner (1992): Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states. Physical Review Letters 69(20), doi:10.1103/PhysRevLett.69.2881.
  5. C. H. Bennett (1993): Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Physical Review Letters 70(13), doi:10.1103/PhysRevLett.70.1895.
  6. E. M. Clarke, Jr., O. Grumberg & D. A. Peled (1999): Model Checking. MIT Press.
  7. V. Danos & E. D'Hondt (2008): Classical Knowledge for Quantum Cryptographic Reasoning. Electronic Notes in Theoretical Computer Science 192(3), doi:10.1016/j.entcs.2008.10.026.
  8. V. Danos, E. Kashefi & P. Panangaden (2007): The Measurement Calculus. J. ACM 54(2), doi:10.1145/1219092.1219096.
  9. V. Danos (2007): Distributed Measurement-based Quantum Computation. Electronic Notes in Theoretical Computer Science 170, doi:10.1016/j.entcs.2006.12.012.
  10. E. D'Hondt & P. Panangaden (2005): Reasoning about quantum knowledge. In: Proceedings of FSTTCS '05, doi:10.1007/11590156_45.
  11. E. D'Hondt & M. Sadrzadeh (2011): Classical Knowledge for Quantum Security. Electronic Notes in Theoretical Computer Science 270(1), doi:10.1016/j.entcs.2011.01.014.
  12. A. K. Ekert (1991): Quantum cryptography based on Bell's theorem. Physical Review Letters 67(6), doi:10.1103/PhysRevLett.67.661.
  13. M. Elboukhari, M. Azizi & A. Azizi (2010): Analysis of the Security of BB84 by Model Checking. IJNSA 2(2), doi:10.5121/ijnsa.2010.2207.
  14. R. Fagin (2003): Reasoning About Knowledge. MIT Press.
  15. S. J. Gay, R. Nagarajan & N. Papanikolaou (2008): QMC: A Model Checker for Quantum Systems. In: Proceedings of CAV 2008, doi:10.1007/978-3-540-70545-1_51.
  16. M. Kwiatkowska, G. Norman & D. Parker (2004): Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transf. 6(2), doi:10.1007/s10009-004-0140-2.
  17. A. Lomuscio, H. Qu & F. Raimondi (2009): MCMAS: a model checker for the verification of multi-agent systems. In: Proceedings of CAV '09, doi:10.1007/11691372_31.
  18. R. van der Meyden & M. Patra (2003): Knowledge in Quantum Systems. In: Proc. of TARK '03, doi:10.1145/846241.846257.
  19. M. A. Nielsen & I. L. Chuang (2000): Quantum Computation and Quantum Information. Cambridge University Press.
  20. M. Ying, Y. Li, N. Yu & Y. Feng (2010): Model-Checking Linear-Time Properties of Quantum Systems.

Comments and questions to:
For website issues: