Jan L. A. van de Snepscheut | Academic Influence

Jan L. A. van de Snepscheut's AcademicInfluence.com Rankings

Jan L. A. van de Snepscheut

Computer Science

#1351

World Rank

#1398

Historical Rank

Database

#9684

World Rank

#10237

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Jan L. A. van de Snepscheut's Degrees

PhD Computer Science University of Amsterdam

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Jan L. A. van de Snepscheut Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Johannes Lambertus Adriana van de Snepscheut was a computer scientist and educator. He was a student of Martin Rem and Edsger Dijkstra. At the time of his death he was the executive officer of the computer science department at the California Institute of Technology. He was also developing an editor for proving theorems called "Proxac".

(See a Problem?)

Jan L. A. van de Snepscheut's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Twisted Cube (1987) (190)
Trace Theory and VLSJ Design (1985) (141)
Hot Clock nMOS (1985) (96)
What Computing Is All About (1993) (56)
Trace theory and the definition of hierarchical components (1983) (36)
An Algorithm for Transitive Reduction of an Acyclic Graph (1989) (33)
"Algorithms for On-the-Fly Garbage Collection" Revisited (1987) (22)
Distributed Sorting (1990) (22)
Semantics of Exceptions (1994) (20)
Synchronous Communication Between Asynchronous Components (1981) (20)
Fair mutual exclusion on a graph of processes (1987) (19)
Inorder traversal of a binary tree and its inversion (1989) (18)
On the design of some systolic algorithms (1989) (16)
A Derivation of a Distributed Implementation of Warshall's Algorithm (1986) (15)
A Distributed Implementation of a Task Pool (1991) (15)
Mechanized Support for Stepwise Refinement (1994) (13)
Design of Synchronization Algorithms (1989) (11)
Proxac: An Editor for Program Transformation (1993) (8)
Inversion of a Recursive Tree Traversal (1991) (7)
Deriving circuits from programs (1983) (6)
Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings (1989) (5)
Submicron Systems Architecture (1993) (5)
On Lattice Theory and Program Semantics (1993) (5)
An implementation strategy (1985) (4)
An Interconnection Network for Distributed Recursive Computations (1990) (3)
Distribution and inversion of Warshall's algorithm (1989) (3)
A Tutorial Introduction to Mosaic Pascal (1992) (3)
Weakest preconditions for progress (1991) (2)
SATHE: Some aspects of an ALGOL implementation (1980) (2)
Networks of Machines for Distributed Recursive Computations (1984) (1)
On what we have rejected (1985) (1)
Introducing the notion of processes to hardware (1979) (1)
An Alternative Implementation of Communication Primitives (1986) (1)
Efficiency of Programs (1993) (1)
Some Programming Heuristics (1993) (0)
A Theory of Program Comprehension : Joining Vision Science and Program Comprehension (2002) (0)
A distributed algorithm for mutual exclusion: an experiment in presentation (1989) (0)
The Halting Problem and Formal Proofs (1993) (0)
Finite state machines (1985) (0)
Implementation Issues: Compilation (1993) (0)
Proccedings of the 375th Anniversary of the Groningen University on Mathematics of Program Construction (1989) (0)
Foreword (Special Issue on Mathematics of Program Construction) (1990) (0)
An Example of a Compiler (1993) (0)
Mathematics of Program Construction (1989) (0)
Evaluating Expressions with a Queue (1985) (0)
Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University (1989) (0)
A LISP Programming Exercise (1992) (0)
Molecular Dynamics on the Mosaic (1992) (0)
Recursive Descent Parsing (1993) (0)
A Program Notation (1993) (0)
The Construction of a Processor (1993) (0)
The design of a SATHE translator on the B 7700 (1977) (0)
A Collection of Nice Algorithms (1993) (0)
Topology-independent algorithms based on spanning trees (1990) (0)
Overview and Summary 1 . 1 Scope of this Report (0)

This paper list is powered by the following services:

Other Resources About Jan L. A. van de Snepscheut

en.wikipedia.org

What Schools Are Affiliated With Jan L. A. van de Snepscheut?

Jan L. A. van de Snepscheut is affiliated with the following schools: