Tree Structure Compression with RePair. - Markus Lohrey; Sebastian Maneth; Roy Mennicke (DCC, 2011)

Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems. - Roy Mennicke (Log. Methods Comput. Sci., 2013)

XML tree structure compression using RePair. - Markus Lohrey; Sebastian Maneth; Roy Mennicke (Inf. Syst., 2013)

Model Checking Concurrent Recursive Programs Using Temporal Logics. - Roy Mennicke (MFCS (1), 2014)

Model Checking Concurrent Systems Using Temporal Logics. - Roy Mennicke (2016)

The Complexity of Model Checking Multi-Stack Systems. - Benedikt Bollig; Dietrich Kuske; Roy Mennicke (Theory Comput. Syst., 2017)