Roy Mennicke

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

Collaborative distances:

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

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

The Complexity of Model Checking Multi-stack Systems.

Benedikt Bollig, Dietrich Kuske, Roy Mennicke

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012

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

Roy Mennicke

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Tree Structure Compression with RePair.

Markus Lohrey, Sebastian Maneth, Roy Mennicke

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