Michael Y. Levin
About
Michael Y. Levin has authored 12 papers that have received a total of 846 indexed citations.
This includes 6 papers in Artificial Intelligence, 6 papers in Software and 4 papers in Computational Theory and Mathematics. The topics of these papers are Software Testing and Debugging Techniques (6 papers), Software Reliability and Analysis Research (6 papers) and Logic, programming, and type systems (5 papers). Michael Y. Levin is often cited by papers focused on Software Testing and Debugging Techniques (6 papers), Software Reliability and Analysis Research (6 papers) and Logic, programming, and type systems (5 papers) and collaborates with scholars based in United States, United Kingdom and Israel. Michael Y. Levin's co-authors include Patrice Godefroid, Benjamin C. Pierce, Dávid Molnár, Adam Kieżun and Gabriela Jacques-Silva and has published in prestigious journals such as Communications of the ACM, IEEE Software and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Patrick Wiegel Top countries impacted by papers by Edith Narzt Top fields papers by Vanessa Rowe are about Top authors papers by Hasina Begum are co-authored with Top authors papers by D. Scalia are co-authored with Top fields papers by Pingzhen Guo are about Top journals papers by Gretchen P. Kenagy are published in Top journals papers by Marisa Viñals are published in