C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Joshua Miller
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Healthcare Professionals
Formal Verification
Model Checker
Fourth Order
Top Venues
CoRR
AMIA
</>
Publications
</>
Mohit Tekriwal
,
Joshua Miller
,
Jean-Baptiste Jeannin
Formal verification of iterative convergence of numerical algorithms.
CoRR
(2022)
Chao-Wei Tsai
,
Kayley Abell-Hart
,
Joshua Miller
,
Danielle J. Kelly
,
Mary M. Saltz
,
Veena Lingam
Inpatient Point of Care Glucose Performance Analysis Using Paired Timestamps.
AMIA
(2020)