Chris Winstead
Utah State University
H-index: 20
North America-United States
Top articles of Chris Winstead
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker | Joshua Jeppson Matthias Volk Bryant Israelsen Riley Roberts Andrew Williams | 2023/9/15 | |
The syndrome bit flipping algorithm for LDPC codes | IEEE Communications Letters | Emmanuel Boutillon Chris Winstead Fakhreddine Ghaffari | 2023/5/1 |
A comparison of weighted stochastic simulation methods for the analysis of genetic circuits | bioRxiv | Payton J Thomas Mohammad Ahmadi Hao Zheng Chris J Myers | 2021/9/23 |
Counterexample Generation for Infinite-State Chemical Reaction Networks | arXiv preprint arXiv:2207.05207 | Mohammad Ahmadi Zhen Zhang Chris Myers Chris Winstead Hao Zheng | 2022/7/11 |
Remote Microelectronics Laboratory Education in the COVID-19 Pandemic | Chris J Winstead | 2022/5/13 | |
Decoding LDPC codes with probabilistic local maximum likelihood bit flipping | Rejoy Roy Mathews Chris Winstead | 2020/10/24 |