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 scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 11 Similar Profiles
information flow Physics & Astronomy
Concurrency control Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Specifications Engineering & Materials Science
Data structures Engineering & Materials Science
Theorem proving Engineering & Materials Science
Model checking Engineering & Materials Science
Security systems Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2008 2018

An overview of GPU Computing Research in the Netherlands: Results from the NIRICT GPGPU Reconnaissance workshop

Huisman, M., Varbanescu, A. L., van Werkhoven, B. & Wijs, A. 2018 7 p.

Research output: Contribution to conferencePaper

Open Access
File

Mercedes: Maximal Reliability of Concurrent and Distributed Software

Huisman, M. 2018 1 p.

Research output: Contribution to conferencePaper

Open Access
File

Software reliability for everyone

Huisman, M. 25 Jan 2018 Enschede. 32 p.

Research output: Book/ReportInaugural speech

Open Access
File

Specification and verification of synchronisation classes in Java: A practical approach

Amighi, A. 17 Jan 2018 Enschede. 206 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Synchronization
Specifications
Data storage equipment
Data structures
Acoustic waves
Open Access
File