Alice Miller

61 papers and 514 indexed citations i.

About

Alice Miller has authored 61 papers that have received a total of 514 indexed citations. This includes 26 papers in Computational Theory and Mathematics, 18 papers in Software and 12 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (21 papers), Software Reliability and Analysis Research (10 papers) and Software Testing and Debugging Techniques (9 papers). Alice Miller is often cited by papers focused on Formal Methods in Verification (21 papers), Software Reliability and Analysis Research (10 papers) and Software Testing and Debugging Techniques (9 papers) and collaborates with scholars based in United Kingdom, United States and China. Alice Miller's co-authors include Muffy Calder, Alastair F. Donaldson, Tingdi Zhao, Yu Lu and Chris Johnson and has published in prestigious journals such as Analytical Chemistry, JNCI Journal of the National Cancer Institute and Industrial & Engineering Chemistry Research.

In The Last Decade

Rankless by CCL
2025