Scholar
Klaus-Dieter Schewe
Google Scholar ID: e74FobUAAAAJ
Professor
formal methods and semantics
logic in CS
database theory
conceptual modelling
systems engineering
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
3,971
H-index
30
i10-index
124
Publications
20
Co-authors
41
list available
Contact
No contact links provided.
Publications
3 items
A Behavioural Theory of Probabilistic Algorithms Using Probabilistic Abstract State Machines
2026
Cited
0
TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
2025
Cited
0
Behavioural Theory of Reflective Algorithms II: Reflective Parallel Algorithms
2025
Cited
0
Resume (English only)
Co-authors
41 total
Co-author 1
Qing Wang
School of Computing, Australian National University
Hui Ma
Victoria University of Wellington
Co-author 4
Co-author 5
Sebastian Link
Professor of Computer Science, The University of Auckland
Co-author 7
Co-author 8
