Mark S. Miller
About
Mark S. Miller has authored 16 papers that have received a total of 258 indexed citations.
This includes 7 papers in Artificial Intelligence, 3 papers in Computer Networks and Communications and 2 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (4 papers), Security and Verification in Computing (3 papers) and Logic, Reasoning, and Knowledge (2 papers). Mark S. Miller is often cited by papers focused on Logic, programming, and type systems (4 papers), Security and Verification in Computing (3 papers) and Logic, Reasoning, and Knowledge (2 papers) and collaborates with scholars based in United States and Belgium. Mark S. Miller's co-authors include Daniel G. Bobrow, Ken Kahn, Alan H. Karp, Tom Van Cutsem and Ankur Taly and has published in prestigious journals such as Communications of the ACM, SAE technical papers on CD-ROM/SAE technical paper series and Journal of Applied Behavior Analysis
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Barbara Wiens-Tuers Top countries impacted by papers by Melissa Mirosh Top fields papers by Maya Jegen are about Top countries impacted by papers by Chad R. Messick Top fields papers by Carrie Tzou are about Top authors papers by Doron J. Kahn are co-authored with Top journals papers by Hanane Boutaj are published in Top authors papers by Alfred A. Chan are co-authored with