Roy Mennicke

According to our database, Roy Mennicke authored at least 6 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

The Complexity of Model Checking Multi-Stack Systems.

Benedikt Bollig, Dietrich Kuske, Roy Mennicke

Theory Comput. Syst., 2017

2016

Model Checking Concurrent Systems Using Temporal Logics.

Roy Mennicke

PhD thesis, 2016

2014

Model Checking Concurrent Recursive Programs Using Temporal Logics.

Roy Mennicke

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

2013

XML tree structure compression using RePair.

Markus Lohrey, Sebastian Maneth, Roy Mennicke

Inf. Syst., 2013

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

Roy Mennicke

Log. Methods Comput. Sci., 2013

2011

Tree Structure Compression with RePair.

Markus Lohrey, Sebastian Maneth, Roy Mennicke

Proceedings of the 2011 Data Compression Conference (DCC 2011), 2011