Joakim Wright
About
Joakim Wright has authored 20 papers that have received a total of 301 indexed citations.
This includes 19 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 3 papers in Software. The topics of these papers are Logic, programming, and type systems (17 papers), Formal Methods in Verification (10 papers) and Logic, Reasoning, and Knowledge (8 papers). Joakim Wright is often cited by papers focused on Logic, programming, and type systems (17 papers), Formal Methods in Verification (10 papers) and Logic, Reasoning, and Knowledge (8 papers) and collaborates with scholars based in Finland, United Kingdom and Australia. Joakim Wright's co-authors include R. J. R. Back, Ralph‐Johan Back, Jim Grundy, Jan Van Leeuwen and Gerhard Goos and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Tran The Long Top authors papers by Bingbing Duan are co-authored with Top countries impacted by papers by M. W. Goldberg Top authors papers by Doris Heyden are co-authored with Top journals papers by Tomohiro Inoue are published in Top authors papers by Yonggang Zuo are co-authored with Top authors papers by Jolanta Orzeł-Gryglewska are co-authored with Top fields papers by Yassin El-Ayouty are about