Roy Mennicke

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Model Checking Concurrent Systems Using Temporal Logics.
PhD thesis, 2016

2014
Model Checking Concurrent Recursive Programs Using Temporal Logics.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

2013
XML tree structure compression using RePair.
Inf. Syst., 2013

The Complexity of Model Checking Multi-stack Systems.
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.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Tree Structure Compression with RePair.
Proceedings of the 2011 Data Compression Conference (DCC 2011), 2011


  Loading...