Arthur I. Baars
About
Arthur I. Baars has authored 12 papers that have received a total of 135 indexed citations.
This includes 9 papers in Software, 7 papers in Artificial Intelligence and 4 papers in Computational Theory and Mathematics. The topics of these papers are Software Testing and Debugging Techniques (5 papers), Formal Methods in Verification (4 papers) and Logic, programming, and type systems (4 papers). Arthur I. Baars is often cited by papers focused on Software Testing and Debugging Techniques (5 papers), Formal Methods in Verification (4 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in Spain, The Netherlands and Germany. Arthur I. Baars's co-authors include Tanja E. J. Vos, S. Doaitse Swierstra, Pavel Avgustinov, Joachim Wegener and Kiran Lakhotia and has published in prestigious journals such as ACM SIGPLAN Notices, Science of Computer Programming and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Sabine Zinn are about Top fields papers by Mary Jo Jackson are about Top countries impacted by papers by Alfred Vagts Top journals papers by Christopher Schröder are published in Top authors papers by Anthony Clark Arend are co-authored with Top journals papers by Xinxin Rao are published in Top authors papers by Alison Gerard are co-authored with Top fields papers by Martin Palkovič are about