Alice A. Miller

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 3

Top Topics

Automated Verification

Pursuit Algorithm

Top Venues

Comput. Electr. Eng.

Publications

Helen C. Purchase, Alice A. Miller
Mix-and-Match MCQs: Four for the Price of One. ITiCSE (2) (2022)
Mojisola Grace Asogbon, Yu Lu, Oluwarotimi Williams Samuel, Liwen Jing, Alice A. Miller, Guanglin Li, Kelvin Kian Loong Wong
GBRAMP: A generalized backtracking regularized adaptive matching pursuit algorithm for signal reconstruction. Comput. Electr. Eng. 92 (2021)
Yu Lu, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson
Towards the Automated Verification of Weibull Distributions for System Failure Rates. FMICS-AVoCS (2016)