Scholar
Malte Lochau
Google Scholar ID: C22MnKEAAAAJ
Professor der Informatik, Universität Siegen
Software Engineering
Modellbasierte Entwicklung
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,650
H-index
29
i10-index
58
Publications
20
Co-authors
0
Publications
2 items
Witnesses and Counterexamples for Timed Bisimulation
2026
Cited
0
Checking Timed Bisimilarity with Virtual Clocks
2024
Cited
0
