Jan L. A. van de Snepscheut

From MaRDI portal
(Redirected from Jan L. A. van de Snepscheut)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
The sliding-window protocol revisited
Formal Aspects of Computing
1995-05-11Paper
scientific article; zbMATH DE number 517330 (Why is no real title available?)1994-02-23Paper
A LISP programming exercise
Information Processing Letters
1993-01-16Paper
Weakest preconditions for progress
Formal Aspects of Computing
1992-09-26Paper
Inversion of a recursive tree traversal
Information Processing Letters
1992-06-28Paper
Distributed sorting
Science of Computer Programming
1990-01-01Paper
An algorithm for transitive reduction of an acyclic graph
Science of Computer Programming
1989-01-01Paper
On the design of some systolic algorithms
Journal of the ACM
1989-01-01Paper
A derivation of distributed implementation of Warshall's algorithm
Science of Computer Programming
1986-01-01Paper
An alternative implementation of communication primitives
Information Processing Letters
1986-01-01Paper
Trace theory and VLSI design
Lecture Notes in Computer Science
1985-01-01Paper


Research outcomes over time


This page was built for person: Jan L. A. van de Snepscheut