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
,
Formal Methods and Tools
Full Professor
,
Digital Society Institute
https://orcid.org/0000-0003-4467-072X
1998
2022
Research activity per year
Overview
Fingerprint
Network
Research output
(186)
Datasets
(4)
Similar Profiles
(6)
Supervised Work
(6)
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
Formal Methods
100%
Formal Verification
70%
Specification
65%
Safety
55%
Heterogeneous Systems
36%
Compaction
35%
Correctness
33%
Tunnel
31%
Safety-critical Systems
30%
Parallel Algorithms
30%
Distributed Systems
28%
Paradigm
27%
Prefix
27%
Traffic
26%
Synchronization
25%
Control System
21%
Community
20%
Hardware
17%
Verify
16%
Graph Algorithms
16%
Java
15%
Software Verification
13%
Verification and Validation
13%
Concurrent Programming
12%
Concurrent
11%
Abstract Interpretation
11%
Model
11%
Deadlock
10%
Concurrency
9%
Demonstrate
9%
Performance
9%
Timing
9%
Programming Model
9%
Theorem Proving
9%
Thread
9%
Model Checking
9%
Business
8%
Software System
8%
Graph in graph theory
8%
Modularity
8%
Industry
8%
Trends
8%
Notation
7%
Language
7%
Shortest Path Problem
7%
Software
7%
Refinement
7%
Software Product Lines
7%
Internal
6%
Routing
6%