Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research Units
Projects
Research output
Datasets
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
Contact Expert
View Scopus Profile
Marieke Huisman
prof.dr.
Full Professor
,
Digital Society Institute
Full Professor
,
Formal Methods and Tools
https://orcid.org/0000-0003-4467-072X
1998
2021
Research activity per year
Overview
Fingerprint
Network
Research output
(176)
Datasets
(1)
Similar Profiles
(6)
Supervised Work
(5)
If you made any changes in Pure these will be visible here soon.
Fingerprint
Dive into the research topics where Marieke Huisman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Safety
100%
Formal Methods
80%
Compositional Verification
72%
Formal Verification
51%
Tunnel
46%
Specification
39%
Parallel Algorithms
39%
Traffic
39%
Flow Control
31%
Control System
31%
Graph Algorithms
23%
Correctness
22%
Verify
21%
Software Verification
20%
Model
19%
Community
17%
Deadlock
15%
Local Properties
15%
Abstraction
15%
Demonstrate
14%
Timing
13%
Java
13%
Three-step Methods
13%
Graph in graph theory
12%
Software System
12%
Modularity
12%
Industry
12%
Flow Graphs
11%
Shortest Path Problem
10%
Hardware
10%
Software
10%
Software Product Lines
10%
Model Checking
9%
Standard Model
9%
Internal
9%
Prototype
9%
Routing
9%
Efficient Solution
9%
Electronics
9%
Fragment
8%
Web-based
7%
Presentation
7%
Design
7%
Calculus
6%
Reuse
6%
Evaluation
6%
Language
6%
Fixed point
6%
Post-processing
6%
Temporal Logic
5%
