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
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
Co-authors
5 total
Qing Wang
School of Computing, Australian National University
Hui Ma
Victoria University of Wellington
Sebastian Link
Professor of Computer Science, The University of Auckland
Verena Geist
Software Competence Center Hagenberg GmbH (SCCH)
Jorge Martinez-Gil
Software Competence Center Hagenberg GmbH
