Van de Snepscheut, Jan L. A.
- Van de Snepscheut, Jan L. A. (2001) On Lattice Theory and Program Semantics; 10.7907/Z95H7D9K
- Seitz, Charles L. and Martin, Alain J., et el. (2001) Submicron Systems Architecture; 10.7907/4fh9g-yr824
- Seitz, Charles L. and Martin, Alain J., et el. (2001) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/Z9NS0RX7
- Van de Snepscheut, Jan L. A. (2001) A LISP Programming Exercise; 10.7907/Z93F4MSW
- Leino, K. Rustan M. and Van de Snepscheut, Jan L. A. (2001) Semantics of Exceptions; 10.7907/Z9KK98TT
- Seitz, Charles L. and Martin, Alain J., et el. (2001) Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992; 10.7907/Z9WS8RF5
- Van de Snepscheut, Jan L. A. (2001) Proxac: An Editor for Program Transformation; 10.7907/Z9V40S70
- Van de Snepscheut, Jan L. A. (2001) Mechanized Support for Stepwise Refinement; 10.7907/Z9NV9G8H
- Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1992) A Tutorial Introduction to Mosaic Pascal; 10.7907/7xby0-epj19
- Esselink, Klaas and Van de Snepscheut, Jan L. A. (1992) Molecular Dynamics on the Mosaic; 10.7907/Z9P8493R
- Van de Snepscheut, Jan L. A. (1991) The Sliding Window Protocol Revisited; 10.7907/20k97-3bf71
- Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) Weakest Preconditions for Progress; 10.7907/dnyzm-jnn72
- Hofstee, Peter H. and Lukkien, Johan J., et el. (1991) A Distributed Implementation of a Task Pool; 10.7907/kfk06-0gs07
- Van de Snepscheut, Jan L. A. (1991) Inversion of a Recursive Tree Traversal; 10.7907/5k9bn-2re97
- Van de Snepscheut, Jan L. A. (1991) On the Correctness of Sliding Window Protocols; 10.7907/y9k9s-g7951
- Hofstee, H. Peter and Martin, Alain J., et el. (1989) Distributed Sorting; 10.7907/zaevr-tmm71
- Martin, Alain J. and Van de Snepscheut, Jan L. A. (1984) Networks of Machines for Distributed Recursive Computations; 10.7907/abxcf-t3r94