Book Chapter
Problems of Adiabatic Quantum Program Design
Evgeniya Khusnitdinova and A. C. Cem Say
Lecture Notes in Computer Science, 2006, Volume 4263, Computer and Information Sciences – ISCIS 2006, Pages 1040-1049
Book Chapter
A Symbolic Classical Computer Language for Simulation of Quantum Algorithms
Peter Nyman
Lecture Notes in Computer Science, 2009, Volume 5494, Quantum Interaction, Pages 158-173
Journal Article
Quantum programming languages
Jiafu Xu and Fanming Song
Frontiers of Computer Science in China, 2008, Volume 2, Number 2, Pages 161-166
Journal Article
Quantum programming languages: A tentative study
JiaFu Xu and FangMin Song
Science in China Series F: Information Sciences, 2008, Volume 51, Number 6, Pages 623-637
Book Chapter
Ugo Montanari and Software Verification
Gian-Luigi Ferrari
Lecture Notes in Computer Science, 2008, Volume 5065, Concurrency, Graphs and Models, Pages 618-624
Journal Article
Reasoning about faulty quantum programs
Paolo Zuliani
Acta Informatica, 2009, Volume 46, Number 6, Pages 403-432
Book Chapter
POSSIBILITIES FOR QUANTUM INFORMATION PROCESSING
Štěpán Holub
NATO Security through Science Series, 2006, Imaging for Detection and Identification, Pages 151-167
Book Chapter
Quantum Predicative Programming
Anya Tafliovich and Eric C. R. Hehner
Lecture Notes in Computer Science, 2006, Volume 4014, Mathematics of Program Construction, Pages 433-454
Reference Work Entry
Quantum Information Processing
Seth Lloyd
2009, Encyclopedia of Complexity and Systems Science, Part 17, Pages 7361-7399
Journal Article
Quantum Malware
Lian-Ao Wu and Daniel Lidar
Quantum Information Processing, 2006, Volume 5, Number 2, Pages 69-81