| 2017 | FORTE | Weak Nominal Modal Logic. | Joachim Parrow, Tjark Weber, Johannes Borgstrm, Lars-Henrik Eriksson |
| 2016 | CPP | Bisimulation up-to techniques for psi-calculi. | Johannes man Pohjola, Joachim Parrow |
| 2016 | ESOP | The Expressive Power of Monotonic Parallel Composition. | Johannes man Pohjola, Joachim Parrow |
| 2015 | CONCUR | Modal Logics for Nominal Transition Systems. | Joachim Parrow, Johannes Borgstrm, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber |
| 2015 | ITiCSE | Motivation and Grade Gap Related to Gender in a Programming Course. | Virginia Grande, Joachim Parrow |
| 2011 | SEFM | Broadcast Psi-calculi with an Application to Wireless Protocols. | Johannes Borgstrm, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Bjrn Victor, Johannes man Pohjola, Joachim Parrow |
| 2010 | LICS | Weak Equivalences in Psi-Calculi. | Magnus Johansson, Jesper Bengtson, Joachim Parrow, Bjrn Victor |
| 2009 | LICS | Psi-calculi: Mobile Processes, Nominal Data, and Logic. | Jesper Bengtson, Magnus Johansson, Joachim Parrow, Bjrn Victor |
| 2008 | ICALP | Extended pi-Calculi. | Magnus Johansson, Joachim Parrow, Bjrn Victor, Jesper Bengtson |
| 2007 | FOSSACS | Formalising the | Jesper Bengtson, Joachim Parrow |
| 2005 | FORTE | Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. | Oskar Wibling, Joachim Parrow, Arnold Neville Pears |
| 2005 | ICALP | A Fully Abstract Encoding of the | Michael Baldamus, Joachim Parrow, Bjrn Victor |
| 2004 | FORTE | Automatized Verification of Ad Hoc Routing Protocols. | Oskar Wibling, Joachim Parrow, Arnold Neville Pears |
| 2004 | LICS | Spi Calculus Translated to ?--Calculus Preserving May-Tests. | Michael Baldamus, Joachim Parrow, Bjrn Victor |
| 1998 | CONCUR | The Tau-Laws of Fusion. | Joachim Parrow, Bjrn Victor |
| 1998 | ICALP | Concurrent Constraints in the Fusion Calculus. | Bjrn Victor, Joachim Parrow |
| 1998 | LICS | The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes | Joachim Parrow, Bjrn Victor |
| 1996 | CONCUR | Constraints as Processes. | Bjrn Victor, Joachim Parrow |
| 1994 | STACS | The Complete Axiomatization of Cs-congruence. | Joachim Parrow, Peter Sjdin |
| 1992 | CONCUR | Multiway Synchronization Verified with Coupled Simulation. | Joachim Parrow, Peter Sjdin |
| 1991 | CONCUR | Modal Logics for Mobile Processes. | Robin Milner, Joachim Parrow, David Walker |
| 1990 | CONCUR | An Implementation of a Translational Semantics for an Imperative Language. | Lars-ke Fredlund, Bengt Jonsson, Joachim Parrow |
| 1990 | ICALP | Structural and Behavioural Equivalences of Networks. | Joachim Parrow |
| 1989 | STACS | Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs. | Bengt Jonsson, Joachim Parrow |
| 1983 | ISCA | Caddie - An Interactive Design Environment | Bjrn Pehrson, Joachim Parrow |