Klaus-Dieter Schewe
Scholar

Klaus-Dieter Schewe

Google Scholar ID: e74FobUAAAAJ
Professor
formal methods and semanticslogic in CSdatabase theoryconceptual modellingsystems engineering
Google Scholar↗
Citations & Impact
All-time
Citations
683
 
H-index
14
 
i10-index
19
 
Publications
20
 
Co-authors
41
list available
Contact
No contact links provided.
Publications
2 items
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
Co-author 1
Qing Wang
Qing Wang
School of Computing, Australian National University
Hui Ma
Hui Ma
Victoria University of Wellington
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Sebastian Link
Sebastian Link
Professor of Computer Science, The University of Auckland
Co-author 7
Co-author 7
Co-author 8
Co-author 8