Jan L. A. van de Snepscheut

From MaRDI portal
(Redirected from Person:753490)



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
On the design of some systolic algorithms
Journal of the ACM
1989-01-01Paper
An algorithm for transitive reduction of an acyclic graph
Science of Computer Programming
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