TEACHING | RESOURCES | PUBLICATIONS
WORK TOGETHER | SCHEDULE A MEETING | OFFICE HOURS

Publications

• Evaluating a Specification for its Support of Mode Awareness using Discrete and Continuous Model Checking
  Alyssa Byrnes and Cynthia Sturton
  ​The 23rd IEEE International Conference on Intelligent Transportation Systems, November 2020.

• Using a Driver’s Eye Data to Predict Accident-Causing Drowsiness Levels
  Alyssa Byrnes and Cynthia Sturton
  ​The 21st IEEE International Conference on Intelligent Transportation Systems, November 2018.
  Drowsy Driver Dataset

• A closed-form solution might be given by a tree. Valuations of quadratic polynomials
  A. Byrnes, J. Fink, G. Lavigne, I. Nogues, S. Rajasekaran, A. Yuan, L. Almodovar, X. Guan, A. Kesarwani, L. Medina, E. Rowland, V. H. Moll

• Recursion rules for the hypergeometric zeta function
  Alyssa Byrnes, Lin Jiu, Victor H. Moll and Christophe Vignat
  International Journal of Number Theory Vol. 10, No. 07.