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
Contact
No contact links provided.
Publications
1 items
Scenario-based System Testing for Distributed Robotics Applications
2026
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)