1. Ali Abhari , Arvin Faruque , Mohammad Javad Dousti , Lukas Svec, Oana Catu, Amlan Chakrabati, Chen-Fu Chiang, Seth Vanderwilt, John Black, Frederic Chong, Margaret Martonosi, Martin Suchara, Ken Brown, Massoud Pedram, and Todd Brun. 2012 . Scaffold : Quantum Programming Language. Princeton University . Ali Abhari, Arvin Faruque, Mohammad Javad Dousti, Lukas Svec, Oana Catu, Amlan Chakrabati, Chen-Fu Chiang, Seth Vanderwilt, John Black, Frederic Chong, Margaret Martonosi, Martin Suchara, Ken Brown, Massoud Pedram, and Todd Brun. 2012. Scaffold: Quantum Programming Language. Princeton University.
2. Matthew Amy , Martin Roetteler , and Krysta M . Svore . 2017 . Verified Compilation of Space-Efficient Reversible Circuits. In Computer Aided Verification, Rupak Majumdar and Viktor Kunčak (Eds.). Springer International Publishing , Cham. 3–21. isbn:978-3-319-63390-9 Matthew Amy, Martin Roetteler, and Krysta M. Svore. 2017. Verified Compilation of Space-Efficient Reversible Circuits. In Computer Aided Verification, Rupak Majumdar and Viktor Kunčak (Eds.). Springer International Publishing, Cham. 3–21. isbn:978-3-319-63390-9
3. Approximate quantum Fourier transform and decoherence
4. Circuit for Shor's algorithm using 2n+3 qubits
5. Daniel J. Bernstein. 2008. ChaCha a variant of Salsa20. The State of the Art of Stream Ciphers. ECRYPT Network of Excellence in Cryptology 273–278. https://cr.yp.to/papers.html##chacha Daniel J. Bernstein. 2008. ChaCha a variant of Salsa20. The State of the Art of Stream Ciphers. ECRYPT Network of Excellence in Cryptology 273–278. https://cr.yp.to/papers.html##chacha