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 Shunuan Liu Top journals papers by Antti Arppe are published in Top journals papers by Bingbing Duan are published in Top journals papers by C. Diéval are published in Top countries impacted by papers by Seyed M. Miran Top fields papers by Michael Treu are about Top fields papers by J. E. De Alencar are about Top countries impacted by papers by Abdelmonem S. Hassan