- K.N. Smith, Technology-dependent Quantum Logic Synthesis and Compilation, Ph.D. dissertation, Dept. of Electrical and Computer Engineering, Southern Methodist University, December 21, 2019, (directed by M.A. Thornton).
- D.K. Houngninou, Implementation of Switching Function Circuit Models as Vector Space Transformations, Ph.D. dissertation, Dept. of Computer Science and Engineering, Southern Methodist University, December 16, 2017, (directed by M.A. Thornton).
- D.Y. Feinstein, Computer-Aided-Design Methods for Emerging Quantum Computing Techniques, Ph.D. dissertation, Dept. of Computer Science and Engineering, Southern Methodist University, April 18, 2008, (directed by M.A. Thornton).
- L. Spenner, Quantum Logic Implementation of Unary Arithmetic Operations with Inheritance, M.S.Cp.E. thesis, Dept. of Computer Science and Engineering, Southern Methodist University, April 24, 2008, (directed by M.A. Thornton).
- D. Goodman, A Quantum Logic Simulator Based on Decision Diagrams, M.S.Cp.E. thesis, Dept. of Computer Science and Engineering, Southern Methodist University, April 2007, (directed by M.A. Thornton).
- L. Chai, ESOP Circuit Minimization Based on the Function On-Set, M.S.E.E. thesis, Dept. of Electrical and Computer Engineering, Mississippi State University, August 2000, (directed by M.A. Thornton).