Scholar
Anne E. Haxthausen
Google Scholar ID: r8_nv64AAAAJ
Associate Professor of Computer Science, Technical University of Denmark
Formal Methods
Semantics
Safety
Railways
#dtusse
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,492
H-index
26
i10-index
60
Publications
20
Co-authors
0
Publications
1 items
Scenario-based System Testing for Distributed Robotics Applications
2026
Cited
0
