Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins. - Qinsi Wang; Natasa Miskov-Zivanov; Cheryl Telmer; Edmund M. Clarke (ACM Great Lakes Symposium on VLSI, 2015)

Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking. - Kai-Wen Liang; Qinsi Wang; Cheryl Telmer; Divyaa Ravichandran; Peter Spirtes; Natasa Miskov-Zivanov (CMSB, 2017)

Recipes for Translating Big Data Machine Reading to Executable Cellular Signaling Models. - Khaled Sayed; Cheryl A. Telmer; Adam A. Butchy; Natasa Miskov-Zivanov (MOD, 2017)

Dynamic system explanation: DySE, a framework that evolves to reason about complex systems - lessons learned. - Cheryl A. Telmer; Khaled Sayed; Adam A. Butchy; Kara N. Bocan; Emilee Holtzapple; Casey E. Hansen; Gaoxiang Zhou; Yasmine Ahmed; Natasa Miskov-Zivanov (AIDR, 2019)

FLUTE: Fast and reliable knowledge retrieval from biomedical literature. - Emilee Holtzapple; Cheryl A. Telmer; Natasa Miskov-Zivanov (Database J. Biol. Databases Curation, 2020)

Classifying domain-specific text documents containing ambiguous keywords. - Kamran Karimi; Sergei Agalakov; Cheryl A. Telmer; Thomas R. Beatman; Troy J. Pells; Bradley I. M. Arshinoff; Carolyn Ku; Saoirse Foley; Veronica F. Hinman; Charles A. Ettensohn; Peter D. Vize (Database J. Biol. Databases Curation, 2021)

Echinobase: leveraging an extant model organism database to build a knowledgebase supporting research on the genomics and biology of echinoderms. - Bradley I. Arshinoff; Gregory A. Cary; Kamran Karimi; Saoirse Foley; Sergei Agalakov; Francisco Delgado; Vaneet S. Lotay; Carolyn Ku; Troy J. Pells; Thomas R. Beatman; Eugene Kim; R. Andrew Cameron; et al. (Nucleic Acids Res., 2022)

An open-set semi-supervised multi-task learning framework for context classification in biomedical texts. - Difei Tang; Thomas Yu Chow Tam; Haomiao Luo; Cheryl A. Telmer; Natasa Miskov-Zivanov (J. Biomed. Informatics, 2025)