Joachim Parrow

35 papers and 2.1k indexed citations i.

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.