Roy Mennicke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2014
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | MFCS | Model Checking Concurrent Recursive Programs Using Temporal Logics. | Roy Mennicke |
| 2013 | LICS | The Complexity of Model Checking Multi-stack Systems. | Benedikt Bollig, Dietrich Kuske, Roy Mennicke |
| 2012 | CONCUR | Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems. | Roy Mennicke |
| 2011 | DCC | Tree Structure Compression with RePair. | Markus Lohrey, Sebastian Maneth, Roy Mennicke |