Research Output per year
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.
- 19 Similar Profiles
Model checking
Engineering & Materials Science
Specifications
Engineering & Materials Science
information flow
Physics & Astronomy
Concurrency control
Engineering & Materials Science
Message passing
Engineering & Materials Science
Static analysis
Engineering & Materials Science
Technical presentations
Engineering & Materials Science
Computer science
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2008 2018
An Exercise in Verifying Sequential Programs with VerCors
Joosten, S. J. C., Oortwijn, W., Safari, M. & Huisman, M. 16 Jul 2018 6 p.Research output: Contribution to conference › Paper
Open Access
File
File editors
Data structures
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 conference › Paper
Open Access
File
Mercedes: Maximal Reliability of Concurrent and Distributed Software
Huisman, M. 2018 1 p.Research output: Contribution to conference › Paper
Open Access
File
Software reliability for everyone
Huisman, M. 25 Jan 2018 Enschede. 32 p.Research output: Book/Report › Inaugural 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: Thesis › PhD Thesis - Research UT, graduation UT
Open Access
File
Synchronization
Specifications
Data storage equipment
Data structures
Acoustic waves