Cheryl Telmer

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 1

Top Topics

Formal Analysis

Finite State Machines

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

Kai-Wen Liang, Qinsi Wang, Cheryl Telmer, Divyaa Ravichandran, Peter Spirtes, Natasa Miskov-Zivanov
Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking. CMSB (2017)
Qinsi Wang, Natasa Miskov-Zivanov, Cheryl Telmer, Edmund M. Clarke
Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins. ACM Great Lakes Symposium on VLSI (2015)