×
Edit Profile (opens in new tab)

Mennicke, Roy

Co-Author Distance
Author ID: mennicke.roy Recent zbMATH articles by "Mennicke, Roy"
Published as: Mennicke, Roy
Documents Indexed: 5 Publications since 2012
Co-Authors: 2 Co-Authors with 2 Joint Publications
85 Co-Co-Authors

Co-Authors

3 single-authored
2 Bollig, Benedikt
2 Kuske, Dietrich

Serials

1 Theory of Computing Systems
1 Logical Methods in Computer Science

Fields

5 Mathematical logic and foundations (03-XX)
5 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

4 Publications have been cited 11 times in 8 Documents Cited by ▼ Year ▼
Propositional dynamic logic with converse and repeat for message-passing systems. Zbl 1297.68171
Mennicke, Roy
4
2013
The complexity of model checking multi-stack systems. Zbl 1366.68164
Bollig, Benedikt; Kuske, Dietrich; Mennicke, Roy
3
2013
Model checking concurrent recursive programs using temporal logics. Zbl 1425.68263
Mennicke, Roy
3
2014
The complexity of model checking multi-stack systems. Zbl 1372.68164
Bollig, Benedikt; Kuske, Dietrich; Mennicke, Roy
1
2017
The complexity of model checking multi-stack systems. Zbl 1372.68164
Bollig, Benedikt; Kuske, Dietrich; Mennicke, Roy
1
2017
Model checking concurrent recursive programs using temporal logics. Zbl 1425.68263
Mennicke, Roy
3
2014
Propositional dynamic logic with converse and repeat for message-passing systems. Zbl 1297.68171
Mennicke, Roy
4
2013
The complexity of model checking multi-stack systems. Zbl 1366.68164
Bollig, Benedikt; Kuske, Dietrich; Mennicke, Roy
3
2013
all cited Publications top 5 cited Publications
all top 5

Cited by 14 Authors

6 Bollig, Benedikt
4 Gastin, Paul
2 Fortin, Marie-Josée
2 Kuske, Dietrich
1 Aiswarya, Cyriac
1 Cyriac, Aiswarya
1 Grindei, Manuela-Lidia
1 Habermehl, Peter
1 Köcher, Chris
1 La Torre, Salvatore
1 Mennicke, Roy
1 Napoli, Margherita
1 Parlato, Gennaro
1 Zeitoun, Marc

Cited in 5 Serials

2 Information and Computation
1 Journal of Computer and System Sciences
1 Formal Methods in System Design
1 Theory of Computing Systems
1 Journal of Applied Logic

Cited in 2 Fields

8 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)

Citations by Year