Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Home Page

* | 2009 | |
---|---|---|

60 | EE | Alex A. Aravind, Wim H. Hesselink: A queue based mutual exclusion algorithm. Acta Inf. 46(1): 73-86 (2009) |

2008 | ||

59 | EE | Wim H. Hesselink: Simulation Refinement for Concurrency Verification. Electr. Notes Theor. Comput. Sci. 214: 3-23 (2008) |

58 | EE | Michael H. F. Wilkinson, Hui Gao, Wim H. Hesselink, Jan-Eppo Jonker, Arnold Meijster: Concurrent Computation of Attribute Filters on Shared Memory Parallel Machines. IEEE Trans. Pattern Anal. Mach. Intell. 30(10): 1800-1813 (2008) |

57 | EE | Wim H. Hesselink, Jos B. T. M. Roerdink: Euclidean Skeletons of Digital Image and Volume Data in Linear Time by the Integer Medial Axis Transform. IEEE Trans. Pattern Anal. Mach. Intell. 30(12): 2204-2217 (2008) |

56 | EE | Wim H. Hesselink: Universal extensions to simulate specifications. Inf. Comput. 206(1): 108-128 (2008) |

55 | EE | Wim H. Hesselink: A challenge for atomicity verification. Sci. Comput. Program. 71(1): 57-72 (2008) |

2007 | ||

54 | EE | Wim H. Hesselink: A criterion for atomicity revisited. Acta Inf. 44(2): 123-151 (2007) |

53 | EE | Wim H. Hesselink, J. C. Hummelen, H. T. Jonkman, H. G. Reker, Gerard R. Renardel de Lavalette, M. H. van der Veen: Kekulé Cells for Molecular Computation CoRR abs/0704.2282: (2007) |

52 | EE | Hui Gao, Wim H. Hesselink: A general lock-free algorithm using compare-and-swap. Inf. Comput. 205(2): 225-241 (2007) |

51 | EE | Wim H. Hesselink: A linear-time algorithm for Euclidean feature transform sets. Inf. Process. Lett. 102(5): 181-186 (2007) |

50 | EE | Hui Gao, Jan Friso Groote, Wim H. Hesselink: Lock-free parallel and concurrent garbage collection by mark&sweep. Sci. Comput. Program. 64(3): 341-374 (2007) |

2006 | ||

49 | EE | Wim H. Hesselink: Splitting forward simulations to copewith liveness. Acta Inf. 42(8-9): 583-602 (2006) |

48 | EE | Wim H. Hesselink: Refinement verification of the lazy caching algorithm. Acta Inf. 43(3): 195-222 (2006) |

2005 | ||

47 | Hendrik Wietze de Haan, Wim H. Hesselink, Gerben Meyer, Gerard R. Renardel de Lavalette: Experiments with strategies for agents in the social interaction game Mafia. BNAIC 2005: 89-95 | |

46 | EE | Hui Gao, Jan Friso Groote, Wim H. Hesselink: Lock-Free Parallel Garbage Collection. ISPA 2005: 263-274 |

45 | EE | Wim H. Hesselink: Eternity variables to prove simulation of specifications. ACM Trans. Comput. Log. 6(1): 175-201 (2005) |

44 | EE | Hui Gao, Jan Friso Groote, Wim H. Hesselink: Lock-free dynamic hash tables with open addressing. Distributed Computing 18(1): 21-42 (2005) |

2004 | ||

43 | EE | Hui Gao, Wim H. Hesselink: A Formal Reduction for Lock-Free Parallel Algorithms. CAV 2004: 44-56 |

42 | EE | Hui Gao, Jan Friso Groote, Wim H. Hesselink: Almost Wait-Free Resizable Hashtable. IPDPS 2004 |

41 | EE | Wim H. Hesselink: An assertional proof for a construction of an atomic variable. Formal Asp. Comput. 16(4): 387-393 (2004) |

40 | EE | Hendrik Wietze de Haan, Wim H. Hesselink, Gerard R. Renardel de Lavalette: Knowledge-Based Asynchronous Programming. Fundam. Inform. 63(2-3): 259-281 (2004) |

39 | EE | Wim H. Hesselink: Using eternity variables to specify and prove a serializable database interface. Sci. Comput. Program. 51(1-2): 47-85 (2004) |

2003 | ||

38 | EE | Wim H. Hesselink: Preference rankings in the face of uncertainty. Acta Inf. 39(3): 211-231 (2003) |

37 | EE | Hui Gao, Jan Friso Groote, Wim H. Hesselink: Efficient almost wait-free parallel accessible dynamic hashtables CoRR cs.DC/0303011: (2003) |

36 | EE | Wim H. Hesselink: Salembier's Min-tree algorithm turned into breadth first search. Inf. Process. Lett. 88(5): 225-229 (2003) |

2002 | ||

35 | EE | Wim H. Hesselink: Eternity Variables to Simulate Specifications. MPC 2002: 117-130 |

34 | EE | Wim H. Hesselink: An assertional criterion for atomicity. Acta Inf. 38(5): 343-366 (2002) |

33 | EE | Wim H. Hesselink: Eternity variables to prove simulation of specifications CoRR cs.DC/0207095: (2002) |

2001 | ||

32 | EE | Wim H. Hesselink, Jan Friso Groote: Wait-free concurrent memory management by Create and Read until Deletion (CaRuD). Distributed Computing 14(1): 31-39 (2001) |

31 | EE | Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, Rogier Vermeulen: An algorithm for the asynchronous Write-All problem based on process collision. Distributed Computing 14(2): 75-81 (2001) |

30 | Wim H. Hesselink, Arnold Meijster, Coenraad Bron: Concurrent determination of connected components. Sci. Comput. Program. 41(2): 173-194 (2001) | |

2000 | ||

29 | EE | Wim H. Hesselink, Albert Thijs: Fixpoint semantics and simulation. Theor. Comput. Sci. 238(1-2): 275-311 (2000) |

28 | EE | Wim H. Hesselink: A generalization of Naundorf's fixpoint theorem. Theor. Comput. Sci. 247(1-2): 291-296 (2000) |

1999 | ||

27 | EE | Wim H. Hesselink: Progress Under Bounded Fairness. Distributed Computing 12(4): 197-207 (1999) |

26 | EE | Wim H. Hesselink: The Verified Incremental Design of a Distributed Spanning Tree Algorithm: Extended Abstract. Formal Asp. Comput. 11(1): 45-55 (1999) |

25 | EE | Wim H. Hesselink: Predicate Transformers for Recursive Procedures with Local Variables. Formal Asp. Comput. 11(6): 616-636 (1999) |

1998 | ||

24 | Wim H. Hesselink: The design of a linearization of a concurrent data object. PROCOMET 1998: 205-224 | |

23 | EE | Wim H. Hesselink: Invariants for the Construction of a Handshake Register. Inf. Process. Lett. 68(4): 173-177 (1998) |

1997 | ||

22 | Wim H. Hesselink: A Mechanical Proof of Segall's PIF Algorithm. Formal Asp. Comput. 9(2): 208-226 (1997) | |

21 | Wim H. Hesselink: Theories for Mechanical Proofs of Imperative Programs. Formal Asp. Comput. 9(5-6): 448-468 (1997) | |

1996 | ||

20 | Wim H. Hesselink: Bounded Delay for a Free Address. Acta Inf. 33(3): 233-254 (1996) | |

1995 | ||

19 | Wim H. Hesselink: Angelic Termination in Dijkstra`s Calculus. MPC 1995: 322-334 | |

18 | Wim H. Hesselink: Wait-Free Linearization with a Mechanical Proof. Distributed Computing 9(1): 21-36 (1995) | |

17 | Wim H. Hesselink: Safety and Progress of Recursive Procedures. Formal Asp. Comput. 7(4): 389-411 (1995) | |

1994 | ||

16 | Wim H. Hesselink: Compact Image Representation using Gabor Wavelets. EUROSIM 1994: 863-870 | |

15 | Wim H. Hesselink: Wait-Free Linearization with an Assertional Proof. Distributed Computing 8(2): 65-80 (1994) | |

14 | Wim H. Hesselink: Proof Rules for Recursive Procedures. Formal Asp. Comput. 5(6): 554-570 (1994) | |

13 | Wim H. Hesselink: Nondeterminacy and Recursion via Stacks and Games. Theor. Comput. Sci. 124(2): 273-295 (1994) | |

1992 | ||

12 | EE | Wim H. Hesselink, Ronald Reinds: Temporal Preconditions of Recursive Procedures. REX Workshop 1992: 236-260 |

11 | Wim H. Hesselink: LR-Parsing Derived. Sci. Comput. Program. 19(2): 171-196 (1992) | |

10 | Wim H. Hesselink: Processes and Formalism for Unbounded Choice. Theor. Comput. Sci. 99(1): 105-119 (1992) | |

1991 | ||

9 | Coenraad Bron, Wim H. Hesselink: Smoothsort Revisited. Inf. Process. Lett. 39(5): 269-276 (1991) | |

8 | Wim H. Hesselink: Repetitions, Known or Unknown? Inf. Process. Lett. 40(1): 51-57 (1991) | |

1990 | ||

7 | Wim H. Hesselink: Command Algebras, Recursion and Program Transformation. Formal Asp. Comput. 2(1): 60-104 (1990) | |

6 | Wim H. Hesselink: Axioms and Models of Linear Logic. Formal Asp. Comput. 2(2): 139-166 (1990) | |

1989 | ||

5 | Wim H. Hesselink: Initialisation with a Final Value, an Exercise in Program Transformation. MPC 1989: 273-280 | |

4 | Wim H. Hesselink: Predicate-Transformer Semantics of General Recursion. Acta Inf. 26(4): 309-332 (1989) | |

1988 | ||

3 | EE | Wim H. Hesselink: A Mathematical Approach to Nondeterminism in Data Types. ACM Trans. Program. Lang. Syst. 10(1): 87-117 (1988) |

2 | Wim H. Hesselink: Interpretations of Recursion under Unbounded Nondeterminacy. Theor. Comput. Sci. 59: 211-234 (1988) | |

1 | Wim H. Hesselink: Deadlock and Fairness in Morphisms of Transition Systems. Theor. Comput. Sci. 59: 235-257 (1988) |

1 | Alex A. Aravind | [60] |

2 | Coenraad Bron | [9] [30] |

3 | Hui Gao | [37] [42] [43] [44] [46] [50] [52] [58] |

4 | Jan Friso Groote | [31] [32] [37] [42] [44] [46] [50] |

5 | Hendrik Wietze de Haan | [40] [47] |

6 | J. C. Hummelen | [53] |

7 | Jan-Eppo Jonker | [58] |

8 | H. T. Jonkman | [53] |

9 | Gerard R. Renardel de Lavalette | [40] [47] [53] |

10 | Sjouke Mauw | [31] |

11 | Arnold Meijster | [30] [58] |

12 | Gerben Meyer | [47] |

13 | Ronald Reinds | [12] |

14 | H. G. Reker | [53] |

15 | J. B. T. M. Roerdink (Jos B. T. M. Roerdink) | [57] |

16 | Albert Thijs | [29] |

17 | M. H. van der Veen | [53] |

18 | Rogier Vermeulen | [31] |

19 | Michael H. F. Wilkinson | [58] |