No photo of Marieke Huisman

Marieke Huisman

prof.dr.

20082019
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
Formal methods
Message passing
Static analysis
Theorem proving
Technical presentations
Human engineering
Quality assurance
Computer science
Synchronization
Computer programming languages
Data structures
Surface mount technology
Technology transfer
Semantics
File editors
Emergency services
Network protocols
Software engineering
Air traffic control
Specification languages
Petri nets
Security systems
Invariance
Concretes
Costs
Automation
Scheduling

Social Sciences

Greece