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.

  • 18 Similar Profiles
Specifications Engineering & Materials Science
Synchronization Engineering & Materials Science
Model checking Engineering & Materials Science
Flow graphs Engineering & Materials Science
Technical presentations Engineering & Materials Science
Data structures Engineering & Materials Science
Temporal logic Engineering & Materials Science
Algebra 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: Scientific - peer-reviewPaper

Mercedes: Maximal Reliability of Concurrent and Distributed Software

Huisman, M. 2018 1 p.

Research output: Scientific - peer-reviewPaper

Software reliability for everyone

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

Research output: Other research outputInaugural speech

Software reliability

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

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Synchronization
Specifications
Data structures