Publications

Journal Articles

 

Conferences

Abstracts

Books, Book Chapters, and Encyclopedia Articles

  • M. A. Thornton, D. K. Houngninou, and D. M. Miller, “On Computing the Reed-Muller Spectrum/Algebraic Normal Form for Cryptography and Switching Theory,” Chapter 1 in Advances in the Boolean Domain, Cambridge Scholars Publishing, Bernd Steinbach (Ed.), 2022.
  • M. A. Thornton, D. K. Houngninou, and D. M. Miller, “Extracting the Reed-Muller Spectrum/Algebraic Normal Form from a Circuit Specification,” Chapter 2 in Advances in the Boolean Domain, Cambridge Scholars Publishing, Bernd Steinbach (Ed.), 2022.
  • M. A. Thornton, “Keyboard Dynamics“, Article in the Encyclopedia of Cryptography, Security and Privacy, 3rd edition, S. Jajodia, P. Samarati, and M. Yung (Ed.), Springer, 2021.
  • M. A. Thornton, “Foreward” in Further Improvements in the Boolean Domain, Cambridge Scholars Publishing, Bernd Steinbach (Ed.), 2018.
  • M. A. Thornton, “A Vector Space Method for Boolean Networks,” Chapter 1, Section 1.1, in Problems and New Solutions in the Boolean Domain, Cambridge Scholars Publishing, Bernd Steinbach (Ed.), 2016.
  • M. A. Thornton and M. A. Thornton, “Boolean Function Spectra and Circuit Probabilities,” Chapter 4, Section 4.1, in Problems and New Solutions in the Boolean Domain, Cambridge Scholars Publishing,Bernd Steinbach (Ed.), 2016.
  • M. A. Thornton, Modeling Digital Switching Circuits with Linear Algebra, Morgan & Claypool Publishers, 2014.
  • R. Kotamarti, M. A. Thornton, and M. H. Dunham, “Quantum Computing Approach for Alignment-free Sequence Search and Classification,” Chapter 17 in Multidisciplinary Computational Intelligence Techniques: Applications in Business, Engineering, and Medicine, S. Ali, N. Abbadeni, and M. Batouche (Eds.), IGI-Global Press, 2012.
  • M. A. Thornton and P. A. Laplante, Licensing Professional Software Engineers in the United States of America, Article in the Encyclopedia of Software Engineering, Taylor & Francis, 2012.
  • M. A. Thornton, “Keystroke Dynamics”, Article in the Encyclopedia of Cryptography, Security and Privacy, 2nd edition, Springer Publishers, H. C. A. van Tilborg and S. Jajodia (Eds.), 2011.
  • L. Li and M. A. Thornton, Digital System Verification: A Combined Formal Methods and Simulation Framework, Morgan & Claypool Publishers, 2010.
  • D. M. Miller and M. A. Thornton, Multiple-Valued Logic Concepts and Representations, Morgan & Claypool Publishers, 2008.
  • R. B. Reese and M. A. Thornton, Introduction to Logic Synthesis Using Verilog HDL, Morgan & Claypool Publishers, 2006.
  • M. A. Thornton, R. Drechsler, and D.M. Miller, Spectral Techniques in VLSI CAD, Kluwer Academic Publishers, 2001.

Technical Reports

 

Workshops