1 citations · 1 across the 4 of their papers we have counts for
4 papers
A Cooperative Proof of Work Scheme for Distributed Consensus Protocols
Wouter Kuijper
We propose a refinement to the well known, and widely used, proof-of-work scheme of zeroing a cryptographic hash. Our refinement allows multiple autonomous users to cooperate on th…
Celestial Walk: A Terminating Oblivious Walk for Convex Subdivisions
Wouter Kuijper, Victor Ermolaev, Olivier Devillers
We present a new oblivious walking strategy for convex subdivisions. Our walk is faster than the straight walk and more generally applicable than the visibility walk. To prove term…
Zig-zagging in a Triangulation
Wouter Kuijper
We present an oblivious walk for point location in 2-dimensional triangulations and a corresponding, strictly monotonically decreasing distance measure.
Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing
Wouter Kuijper, Michael Weber
We introduce a new compile-time notion of type subsumption based on type simulation. We show how to apply this static subsumption relation to support a more intuitive, object orien…