Jan L. A. Snepscheut

Hot Clock nMOS

Charles L. Seitz, Alexander Hamilton Frey, Sven Mattisson et al. · 1985 · 79 citations

Engineering, Computer Engineering, Electrical Engineering +14

Fair mutual exclusion on a graph of processes

Jan L. A. Snepscheut · Distributed Computing · 1987 · 38 citations

Computing, Computer Science, Computer Systems +11

An algorithm for transitive reduction of an acyclic graph

David Gries, Alain J. Martin, Jan L. A. Snepscheut et al. · Science of Computer Programming · 1989 · 29 citations

Computing, Computer Science, Mathematics +8

“Algorithms for on-the-fly garbage collection” revisited

Jan L. A. Snepscheut · Information Processing Letters · 1987 · 21 citations

Computing, Computer Engineering, Computer Science +12

Semantics of Exceptions

K. Rustan M. Leino, Jan L. A. Snepscheut · CaltechAUTHORS (California Institute of Technology) · 1993 · 16 citations · Full text

Computing, Computer Science, Formal Methods +9