Roy Mennicke

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Artifact Centric

Formal Specification

Propositional Dynamic Logic

Top Venues

Theory Comput. Syst.

Technische Universität Ilmenau, Germany (PHD)

Education History

Technische Universität Ilmenau, Germany

PHD

Publications

Benedikt Bollig, Dietrich Kuske, Roy Mennicke
The Complexity of Model Checking Multi-Stack Systems. Theory Comput. Syst. 60 (4) (2017)
Roy Mennicke
Model Checking Concurrent Recursive Programs Using Temporal Logics. MFCS (1) (2014)
Markus Lohrey, Sebastian Maneth, Roy Mennicke
XML tree structure compression using RePair. Inf. Syst. 38 (8) (2013)
Benedikt Bollig, Dietrich Kuske, Roy Mennicke
The Complexity of Model Checking Multi-stack Systems. LICS (2013)
Roy Mennicke
Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems. Log. Methods Comput. Sci. 9 (2) (2013)
Roy Mennicke
Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems. CONCUR (2012)
Markus Lohrey, Sebastian Maneth, Roy Mennicke
Tree Structure Compression with RePair. DCC (2011)
Markus Lohrey, Sebastian Maneth, Roy Mennicke
Tree structure compression with RePair CoRR (2010)