Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract). - Parosh Aziz Abdulla; Mats Kindahl (CONCUR, 1995)

An Improved Search Strategy for Lossy Channel Systems. - Parosh Aziz Abdulla; Mats Kindahl; Doron A. Peled (FORTE, 1997)

A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). - Parosh Aziz Abdulla; Bengt Jonsson 001; Mats Kindahl; Doron A. Peled (CAV, 1998)

Review of "Types and Programming Languages by Benjamin C. Pierce"; The MIT Press, 2002. - Mats Kindahl (SIGACT News, 2005)

Model checking race-freeness. - Parosh Aziz Abdulla; Frédéric Haziza; Mats Kindahl (SIGARCH Comput. Archit. News, 2008)

MySQL High Availability - Tools for Building Robust Data Centers, 2nd Edition. - Charles Bell; Mats Kindahl; Lars Thalmann (O'Reilly, 2014)