Roy Mennicke

Model Checking Concurrent Recursive Programs Using Temporal Logics

Roy Mennicke, Roy Mennicke, 2014, MFCS.

The Complexity of Model Checking Multi-Stack Systems

Benedikt Bollig, Dietrich Kuske, Roy Mennicke, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems

Roy Mennicke, 2012, CONCUR.

Tree Structure Compression with RePair

Sebastian Maneth, Markus Lohrey, Roy Mennicke, 2011, 2011 Data Compression Conference.

XML tree structure compression using RePair

Sebastian Maneth, Markus Lohrey, Roy Mennicke, 2013, Inf. Syst..

Model Checking Concurrent Systems Using Temporal Logics

Roy Mennicke, Roy Mennicke, 2015 .

Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems

Roy Mennicke, Roy Mennicke, 2012, CONCUR.