| A modeling and verification framework for optical quantum circuits | 0 | 0.34 | 2019 |
| Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic. | 0 | 0.34 | 2019 |
| Formal Meta-level Analysis Framework for Quantum Programming Languages. | 2 | 0.52 | 2018 |
| Formal Analysis of Discrete-Time Systems using z-Transform. | 0 | 0.34 | 2018 |
| Hierarchical Verification of Quantum Circuits. | 1 | 0.35 | 2016 |
| On the Formal Verification of Optical Quantum Gates in HOL | 2 | 0.43 | 2015 |
| Formal Analysis of Optical Systems. | 4 | 0.45 | 2014 |
| On the Quantum Formalization of Coherent Light in HOL. | 6 | 0.81 | 2014 |
| Formal Verification of Optical Quantum Flip Gate. | 3 | 0.42 | 2014 |
| On the Formalization of Z-Transform in HOL. | 7 | 0.78 | 2014 |
| Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory. | 9 | 0.96 | 2013 |
