No photo of Vincent Bloemen

Vincent Bloemen

20142018
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's research documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Engineering & Materials Science

Model checking
Parallel algorithms
Temporal logic
Synchronization
Cost functions
Students
Specifications
Hardware
Formal methods
Textbooks
Set theory
Explosions
Scalability

Mathematics

Temporal Logic
Model Checking
Linear Time
Breadth-first Search
Depth-first Search
Parallelism
Reactive Systems
Formal Methods
Parallelization
Explosion
Parallel Algorithms
Low Complexity
Search Algorithm
Automata
Scalability
Efficient Algorithms
Attack
Heuristics
Cycle