Raymond E. Miller
About
Raymond E. Miller has authored 82 papers that have received a total of 3.4k indexed citations.
This includes 31 papers in Computational Theory and Mathematics, 24 papers in Computer Networks and Communications and 16 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (19 papers), Petri Nets in System Modeling (10 papers) and Software Testing and Debugging Techniques (8 papers). Raymond E. Miller is often cited by papers focused on Formal Methods in Verification (19 papers), Petri Nets in System Modeling (10 papers) and Software Testing and Debugging Techniques (8 papers) and collaborates with scholars based in United States, China and India. Raymond E. Miller's co-authors include George O. Kohler, E. M. Bickoff, Donald de Fremery, Kurt Moedritzer and R. H. T. Edwards and has published in prestigious journals such as Analytical Chemistry, Journal of Agricultural and Food Chemistry and Inorganic Chemistry
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Muhammad Aslam are published in Top countries impacted by papers by Hosung Park Top fields papers by Jens Vuust are about Top journals papers by John Oddén are published in Top fields papers by Lynne M. Ausman are about Top fields papers by Enrique Barrajón‐Catalán are about Top authors papers by Arthur J. Morris are co-authored with Top fields papers by Terry Young are about