No photo of Marieke Huisman

Marieke Huisman

prof.dr.

20082018
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
Specifications
Concurrency control
Message passing
Static analysis
Technical presentations
Computer science
Computer programming languages
Data structures
Semantics
File editors
Emergency services
Network protocols
Theorem proving
Air traffic control
Specification languages
Security systems
Concretes
Scheduling
Graphics processing unit

Physics & Astronomy

General

information flow
scheduling

Chemistry and Materials

quantitative analysis