MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
Toward a quantum process algebra
Proceedings of the 1st conference on Computing frontiers
Towards a quantum programming language
Mathematical Structures in Computer Science
Communicating quantum processes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Functional Quantum Programming Language
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Acta Informatica
Mathematical Structures in Computer Science
LQP: the dynamic logic of quantum information
Mathematical Structures in Computer Science
Quantum programming languages: survey and bibliography
Mathematical Structures in Computer Science
Simulating and Compiling Code for the Sequential Quantum Random Access Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
Commutativity of quantum weakest preconditions
Information Processing Letters
Proof rules for the correctness of quantum programs
Theoretical Computer Science
Probabilistic bisimulations for quantum processes
Information and Computation
An algebra of quantum processes
ACM Transactions on Computational Logic (TOCL)
An Algebraic Language for Distributed Quantum Computing
IEEE Transactions on Computers
Reasoning about faulty quantum programs
Acta Informatica
Reasoning About Imperative Quantum Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Acta Informatica
| Hi-index | 0.00 |