Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
View Scopus Profile
Anne Elisabeth Haxthausen
Associate Professor
,
Department of Applied Mathematics and Computer Science
Software Systems Engineering
https://orcid.org/0000-0001-7349-8872
Phone
45257510
Email
aeha
dtu
dk
Website
http://people.compute.dtu.dk/aeha
Richard Petersens Plad
,
321, 026
2800
Kgs. Lyngby
Denmark
Overview
Fingerprint
Network
Publications
(131)
Projects
(16)
Activities
(21)
Press/Media
(4)
Similar Profiles
(9)
If you made any changes in Pure these will be visible here soon.
Fingerprint
Dive into the research topics where Anne Elisabeth Haxthausen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Interlocking System
100%
Models
99%
Model Checking
46%
Control
43%
Specifications
41%
Specification Language
34%
Domains
25%
Networks
20%
Design
20%
Formal Verification
18%
Algebraic Specifications
15%
Application
13%
Domain-Specific Language
13%
Case Study
13%
Validation
11%
Distributed Control
11%
Software
11%
Certification
9%
Railway System
9%
Semantics
9%
Physical System
8%
Standards
8%
Algorithms
8%
Formal Specification
8%
Testing
7%
Software Engineering
7%
Real World
7%
Configuration Data
7%
Control Software
6%
Order Function
6%
Systems Design
6%
Generation
6%
Subnetwork
6%
State Transition
6%
Representation
5%
Transition System
5%
Software Development
5%
Computer
5%
Complexity
5%
