Thomas Johnsson
About
Thomas Johnsson has authored 6 papers that have received a total of 394 indexed citations.
This includes 5 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (5 papers), Formal Methods in Verification (4 papers) and Parallel Computing and Optimization Techniques (3 papers). Thomas Johnsson is often cited by papers focused on Logic, programming, and type systems (5 papers), Formal Methods in Verification (4 papers) and Parallel Computing and Optimization Techniques (3 papers) and collaborates with scholars based in Sweden, South Sudan and United Kingdom. Thomas Johnsson's co-authors include John Hughes, Jon Fairbairn, Rishiyur S. Nikhil, Philip Wadler and Paul Hudak and has published in prestigious journals such as ACM SIGPLAN Notices, International Studies of Management and Organization and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by O. Legendre Top countries impacted by papers by J. Meidam Top fields papers by H.-Y. Wang are about Top countries impacted by papers by Youji Nagashima Top countries impacted by papers by Leonard Rudolf Top countries impacted by papers by Kan-ichi Yokota Top countries impacted by papers by Manuel Calimlim Top journals papers by Daniel Bachurski are published in