Skip to ContentSkip to Navigation
Rijksuniversiteit Groningenfounded in 1614  -  top 100 university
Sluiten
Over ons Praktische zaken Waar vindt u ons prof. dr. W.H. (Wim H.) Hesselink

prof. dr. W.H. (Wim H.) Hesselink

Bijzonder hoogleraar
Publicaties

Publicaties

Waitfree linearization of an arbitrary data object

Hesselink, W. H., 18-mrt.-2025, (Accepted/In press) In: Formal Aspects of Computing.

Onderzoeksoutput › › peer review

First-come-first-served as a separate principle

Hesselink, W. H., Buhr, P. A. & Parsons, C. A., 8-nov.-2024, In: ACM Transactions on Parallel Computing. 11, 4, blz. 1-20 20 blz., 16.

Onderzoeksoutput › › peer review

MCSH, a lock with the standard interface

Hesselink, W. H. & Buhr, P., jun.-2023, In: ACM Transactions on Parallel Computing. 10, 2, 22 blz., 11.

Onderzoeksoutput › › peer review

Trylock, a case for temporal logic and eternity variables

Hesselink, W. H., apr.-2022, In: Science of computer programming. 216, 102767.

Onderzoeksoutput › › peer review

UNITY and Büchi automata

Hesselink, W. H., mrt.-2021, In: Formal Aspects of Computing. 33, blz. 185–205 21 blz.

Onderzoeksoutput › › peer review

Conditionally complete sponges: New results on generalized lattices

Gronde ,van de, J. & Hesselink, W. H., mrt.-2019, In: Indagationes mathematicae-New series. 30, 2, blz. 265-287 23 blz.

Onderzoeksoutput › › peer review

Group mutual exclusion by fetch-and-increment

Aravind, A. A. & Hesselink, W. H., feb.-2019, In: ACM Transactions on Parallel Computing. 5, 4, 29 blz., 14.

Onderzoeksoutput › › peer review

The Nullcone of the Lie algebra of $G_2$

Hesselink, W. H., jul.-2019, In: Indagationes mathematicae-New series. 30, 4, blz. 623-648 26 blz.

Onderzoeksoutput › › peer review

Fast mutual exclusion by the Triangle algorithm

Hesselink, W., Buhr, P. & Dice, D., 25-feb.-2018, In: Concurrency and Computation. 30, 4, 28 blz., e4183.

Onderzoeksoutput › › peer review

High-contention mutual exclusion by elevator algorithms

Buhr, P. A., Dice, D. & Hesselink, W. H., 25-sep.-2018, In: Concurrency and Computation. 30, 18, 29 blz., 4475.

Onderzoeksoutput › › peer review

Bekijk volledig onderzoeksprofiel
Volg de RUGfacebook linkedin rss instagram youtube
Functioneel
Biedt de basisfuncties en maakt gebruik van geanonimiseerde cookies.
Standaard
Biedt de optimale werking en maakt gebruik van onder andere videocookies.
Volledig
Biedt gepersonaliseerde content en maakt gebruik van marketingcookies.
Stel je cookievoorkeur in. Lees onze privacy en cookie disclaimer voor meer informatie.