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.

  • 1 Similar Profiles
Message passing Engineering & Materials Science
Parallel algorithms Engineering & Materials Science
Supercomputers Engineering & Materials Science
Program processors Engineering & Materials Science
Throughput Engineering & Materials Science
Positive ions Engineering & Materials Science
Algebra Engineering & Materials Science
Emergency services Engineering & Materials Science

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

Research Output 2015 2017

  • 2 Conference contribution
  • 2 Paper

Distributed Binary Decision Diagrams for Symbolic Reachability

Oortwijn, W., Dijk, T. V. & Pol, J. V. D. Jul 2017 SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. ACM, p. 21-30 10 p.

Research output: Scientific - peer-reviewConference contribution

Binary decision diagrams
Network performance
Parallel algorithms

Future-based Static Analysis of Message Passing Programs

Orchard, D. (ed.), Oortwijn, W. H. M., Yoshida, N. (ed.), Blom, S. & Huisman, M. Apr 2016 p. 65-72 8 p.

Research output: Scientific - peer-reviewPaper

Message passing
Emergency services
Air traffic control
Model checking

Static Verification of Message Passing Programs

Oortwijn, W. H. M., Blom, S. & Huisman, M. Mar 2016 2 p.

Research output: ScientificPaper

Message passing
Positive ions
Application programming interfaces (API)
Industrial applications
1 Citations

A Distributed Hash Table for Shared Memory

Oortwijn, W. H. M., van Dijk, T. & van de Pol, J. C. Sep 2015 Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II. Wyrzykowski, R., Deelman, E., Dongarra, J., Karczewski, K., Kitowski, J. & Wiatr, K. (eds.). London: Springer, p. 15-24 10 p. (Lecture Notes in Computer Science; vol. 9574)

Research output: Scientific - peer-reviewConference contribution

Parallel algorithms
Program processors