Michael Sperber
About
Michael Sperber has authored 22 papers that have received a total of 205 indexed citations.
This includes 11 papers in Artificial Intelligence, 7 papers in Hardware and Architecture and 4 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (10 papers), Parallel Computing and Optimization Techniques (7 papers) and Formal Methods in Verification (4 papers). Michael Sperber is often cited by papers focused on Logic, programming, and type systems (10 papers), Parallel Computing and Optimization Techniques (7 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in Germany, United States and Philippines. Michael Sperber's co-authors include Peter Thiemann, Lissy F. Jarvik, Jacob Matthews, Stefan Monnier and Matthew Flatt and has published in prestigious journals such as American Journal of Psychiatry, Psychosomatic Medicine and Journal of American History
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Marilyn Fischer Top journals papers by Simon Atkinson are published in Top authors papers by Nikos Aréchiga are co-authored with Top fields papers by Daniele Cignoli are about Top authors papers by Michael Flor are co-authored with Top fields papers by Kay B. Leissner are about Top journals papers by Yaozhu Pan are published in Top authors papers by Yuzhu Hao are co-authored with