Welcome...

W.H.M. Oortwijn MSc (Wytse)

PhD Candidate / PhD Student

Expertise

Message Passing
Program Processors
Supercomputers
Throughput
Parallel Algorithms
Algebra
Positive Ions
Model Checking
Emergency Services
Air Traffic Control
Control Systems

Publications

Recent Articles
Oortwijn, W., Dijk, T. V., & Pol, J. V. D. (2017). Distributed Binary Decision Diagrams for Symbolic Reachability. In SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (pp. 21-30). ACM. DOI: 10.1145/3092282.3092284
Orchard, D. (Ed.), Oortwijn, W. H. M., Yoshida, N. (Ed.), Blom, S., & Huisman, M. (2016). Future-based Static Analysis of Message Passing Programs. 65-72. Paper presented at Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, .DOI: 10.4204/EPTCS.211.7
Oortwijn, W. H. M., van Dijk, T., & van de Pol, J. C. (2015). A Distributed Hash Table for Shared Memory. In R. Wyrzykowski, E. Deelman, J. Dongarra, K. Karczewski, J. Kitowski, & K. Wiatr (Eds.), Proceedings of the 11th International Conference on Parallel Processing and Applied Mathematics (PPAM 2016), Revised Selected Papers (pp. 15-24). (Lecture Notes in Computer Science; Vol. 9574). London: Springer. DOI: 10.1007/978-3-319-32152-3_2

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3082
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3082
P.O. Box 217
7500 AE Enschede
The Netherlands