Joachim Parrow
About
Joachim Parrow has authored 35 papers that have received a total of 2.1k indexed citations.
This includes 24 papers in Computational Theory and Mathematics, 23 papers in Artificial Intelligence and 13 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (20 papers), Logic, programming, and type systems (20 papers) and Logic, Reasoning, and Knowledge (12 papers). Joachim Parrow is often cited by papers focused on Formal Methods in Verification (20 papers), Logic, programming, and type systems (20 papers) and Logic, Reasoning, and Knowledge (12 papers) and collaborates with scholars based in Sweden, United Kingdom and United States. Joachim Parrow's co-authors include Björn Victor, Magnus Johansson, Jesper Bengtson, Bengt Jönsson and David Walker and has published in prestigious journals such as Future Generation Computer Systems, Theoretical Computer Science and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Paul M. Petty are about Top countries impacted by papers by Akira Yada Top countries impacted by papers by Tammy M. Owings Top journals papers by Michael J. Mac are published in Top authors papers by Joanne L. Gellerman are co-authored with Top journals papers by I. Gallimberti are published in Top journals papers by G. P. Davidson are published in Top journals papers by Thomas Bertero are published in