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

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

The quartet spaces of G. 't Hooft

Hesselink, W. H., apr.-2018, In: Indagationes mathematicae-New series. 29, 2, blz. 628-632 4 blz.

Onderzoeksoutput › › peer review

Tournaments for mutual exclusion: verification and concurrent complexity

Hesselink, W. H., sep.-2017, In: Formal Aspects of Computing. 29, 5, blz. 833-852 19 blz.

Onderzoeksoutput › › peer review

Lees meer
Bekijk volledig onderzoeksprofiel
Volg de RUGfacebook twitter 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 gepersonaliserde content en maakt gebruik van marketingcookies.
Stel je cookievoorkeur in. Lees onze privacy en cookie disclaimer voor meer informatie.