Klaus-Dieter Schewe

Identifiers

No identifiers captured yet.

Papers (8)

1. TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory cs.LO · 2025 · author #1
2. Concurrent Computing with Shared Replicated Memory cs.DC · 2019 · author #1
3. The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic cs.LO · 2018 · author #3
4. Serialisable Multi-Level Transaction Control: A Specification and Verification cs.DB · 2017 · author #2
5. Specifying Transaction Control to Serialize Concurrent Program Executions cs.DB · 2017 · author #2
6. A Logic for Non-Deterministic Parallel Abstract State Machines cs.LO · 2017 · author #2
7. A Complete Logic for Database Abstract State Machines cs.LO · 2016 · author #2
8. A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis cs.LO · 2015 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Flavio Ferrarotti 5 shared papers
• Qing Wang 4 shared papers
• Egon B\"orger 3 shared papers
• Loredana Tec 3 shared papers
• Andreas Prinz 1 shared papers
• Guillaume Dupont 1 shared papers
• Jos\'e Mar\'ia Turull-Torres 1 shared papers
• Neeraj Kumar Singh 1 shared papers
• Peter Rivi\`ere 1 shared papers
• Sen\'en Gonz\'alez 1 shared papers
• Yamine A\"it Ameur 1 shared papers