Concepedia

Alice Miller

AM

31

Publications

855

Citations

19

H-Index

1960

Active since

Affiliations

University of Glasgow(Current)

Beihang University

Ben-Gurion University of the Negev

University of Oxford

Missouri University of Science and Technology

Alice Miller is an author at University of Glasgow specializing in engineering, computer science, and verification.

Top concepts

EngineeringComputer ScienceVerificationFormal VerificationSystems EngineeringFormal MethodsAutomated ReasoningComputer EngineeringBusinessMedicine

Publications per year

1960–2024

31

Publications

31

A Hepatitis Virus Complicating Studies With Mouse Leukemia

Robert A. Manaker, Chester V. Piczak, Alice Miller et al. · JNCI Journal of the National Cancer Institute · 1961 · 93 citations

Hepatic Disorders, Hepatology, Mouse Leukemia +15

Rapid Development of Improved Data-Dependent Acquisition Strategies

Vinny Davies, Joe Wandy, Stefan Weidt et al. · Analytical Chemistry · 2021 · 66 citations · Full text

Engineering, Measurement, Metabolomic Profiling +28

Risk Assessment of Railway Transportation Systems using Timed Fault Trees

Zhaoguang Peng, Yu Lu, Alice Miller et al. · Quality and Reliability Engineering International · 2014 · 59 citations

Railway Traffic, Engineering, Safety Science +18

The effect of krill oil supplementation on skeletal muscle function and size in older adults: A randomised controlled trial

Saleh Alkhedhairi, Faris F. Aba Alkhayl, Ahmad Dzulkarnain Ismail et al. · Clinical Nutrition · 2022 · 49 citations · Full text

Feature interaction detection by pairwise analysis of LTL properties—A case study

Muffy Calder, Alice Miller · Formal Methods in System Design · 2006 · 41 citations

Image Analysis, Engineering, Data Science +6

Rows per page

1–5 of 31