Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 16 Peace, Justice and Strong Institutions
Fingerprint
Dive into the research topics where Wim Hesselink is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Waitfree linearization of an arbitrary data object
Hesselink, W. H., Sept-2025, In: Formal Aspects of Computing. 37, 3, 26 p., 23.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Downloads (Pure) -
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, p. 1-20 20 p., 16.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Citation (Scopus)41 Downloads (Pure) -
MCSH, a lock with the standard interface
Hesselink, W. H. & Buhr, P., Jun-2023, In: ACM Transactions on Parallel Computing. 10, 2, 22 p., 11.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile6 Citations (Scopus)246 Downloads (Pure) -
Trylock, a case for temporal logic and eternity variables
Hesselink, W. H., Apr-2022, In: Science of computer programming. 216, 102767.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Citations (Scopus)131 Downloads (Pure) -
UNITY and Büchi automata
Hesselink, W. H., Mar-2021, In: Formal Aspects of Computing. 33, p. 185–205 21 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Citation (Scopus)228 Downloads (Pure)