papers

Graduate work with Dr. Yiannis Papelis at VMASC on runtime verification for unmanned vessels (2019), and undergraduate work in the ODU Bioinformatics Lab with Dr. Jing He on geometric modeling of β-sheets in cryo-EM density maps (2016–2018). Each paper is reproduced here in full; DOI links lead to the version of record.

  1. Evaluating LTL Formulas for On-Board Unmanned Vehicle Health Monitoring
    Alice Poteat and Yiannis Papelis
    ICAS 2019: The Fifteenth International Conference on Autonomic and Autonomous Systems, IARIA, 9–14, 2019. ISBN 978-1-61208-712-2
  2. Quantification of Twist from the Central Lines of β-Strands
    Tunazzina Islam, Alice Poteat and Jing He
    Journal of Computational Biology 25(1):114–120, 2018 · doi:10.1089/cmb.2017.0174
  3. Analysis of β-strand Twist from the 3-dimensional Image of a Protein
    Tunazzina Islam, Alice Poteat and Jing He
    Proceedings of the 8th ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics (ACM-BCB ’17), 650–654, 2017 · doi:10.1145/3107411.3107507
  4. An Iterative Bézier Method for Fitting Beta-sheet Component of a Cryo-EM Density Map
    Alice Poteat and Jing He
    Molecular Based Mathematical Biology 5:31–39, 2017 · doi:10.1515/mlbmb-2017-0003