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.
- 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-review › Paper
Mercedes: Maximal Reliability of Concurrent and Distributed Software
Huisman, M. 2018 1 p.Research output: Scientific - peer-review › Paper
Software reliability for everyone
Huisman, M. 25 Jan 2018 Enschede. 32 p.Research output: Other research output › Inaugural speech
Software reliability
Specification and verification of synchronisation classes in Java: A practical approach
Amighi, A. 17 Jan 2018 Enschede. 206 p.Research output: Scientific › PhD Thesis - Research UT, graduation UT
Synchronization
Specifications
Data structures
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Beyer, D. & Huisman, M. (ed.) 2018 Springer. (Lecture Notes in Computer Science; vol. 10806)Research output: Scientific › Book editing