Insights to Angluin's Learning. - Therese Berg; Bengt Jonsson 001; Martin Leucker; Mayank Saksena (SVV@ICLP, 2003)

A Survey of Regular Model Checking. - Parosh Aziz Abdulla; Bengt Jonsson 001; Marcus Nilsson; Mayank Saksena (CONCUR, 2004)

Proving Liveness by Backwards Reachability. - Parosh Aziz Abdulla; Bengt Jonsson 001; Ahmed Rezine; Mayank Saksena (CONCUR, 2006)

Systematic Acceleration in Regular Model Checking. - Bengt Jonsson 001; Mayank Saksena (CAV, 2007)

Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. - Mayank Saksena; Oskar Wibling; Bengt Jonsson 001 (TACAS, 2008)

Verifying Absence of ∞ Loops in Parameterized Protocols. - Mayank Saksena (2008)

Regular model checking for LTL(MSO). - Parosh Aziz Abdulla; Bengt Jonsson 001; Marcus Nilsson; Julien d'Orso; Mayank Saksena (Int. J. Softw. Tools Technol. Transf., 2012)