default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJan L. A. van de Snepscheut
Person information
- affiliation: California Institute of Technology, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1993
[b2]Jan L. A. van de Snepscheut:
What Computing Is All About. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-3-540-94021-0, pp. I-XII, 1-478- 1985
- [b1]Jan L. A. van de Snepscheut:
Trace Theory and VLSJ Design. Eindhoven University of Technology, Netherlands, Lecture Notes in Computer Science 200, Springer 1985, ISBN 978-3-540-15988-9, pp. 1-140
Journal Articles
- 1995
- [j17]Jan L. A. van de Snepscheut:
The Sliding-Window Protocol Revisited. Formal Aspects Comput. 7(1): 3-17 (1995) - 1992
- [j16]Johan J. Lukkien, Jan L. A. van de Snepscheut:
Weakest Preconditions for Progress. Formal Aspects Comput. 4(2): 195-236 (1992) - [j15]Jan L. A. van de Snepscheut:
A LISP Programming Exercise. Inf. Process. Lett. 42(2): 103-108 (1992) - 1991
- [j14]Jan L. A. van de Snepscheut:
Inversion of a Recursive Tree Traversal. Inf. Process. Lett. 39(5): 265-267 (1991) - 1990
- [j13]Jan L. A. van de Snepscheut:
Foreword (Special Issue on Mathematics of Program Construction). Sci. Comput. Program. 14(2-3): 113-115 (1990) - [j12]H. Peter Hofstee, Alain J. Martin, Jan L. A. van de Snepscheut:
Distributed Sorting. Sci. Comput. Program. 15(2-3): 119-133 (1990) - [j11]Alain J. Martin, Jan L. A. van de Snepscheut:
An Interconnection Network for Distributed Recursive Computations. IEEE Trans. Computers 39(11): 1393-1395 (1990) - 1989
- [j10]Jan L. A. van de Snepscheut, Johan B. Swenker:
On the design of some systolic algorithms. J. ACM 36(4): 826-840 (1989) - [j9]David Gries
, Alain J. Martin, Jan L. A. van de Snepscheut, Jan Tijmen Udding:
An Algorithm for Transitive Reduction of an Acyclic Graph. Sci. Comput. Program. 12(2): 151-155 (1989) - 1987
- [j8]Jan L. A. van de Snepscheut:
Fair Mutual Exclusion on a Graph of Processes. Distributed Comput. 2(2): 113-115 (1987) - [j7]Jan L. A. van de Snepscheut:
"Algorithms for On-the-Fly Garbage Collection" Revisited. Inf. Process. Lett. 24(4): 211-216 (1987) - 1986
- [j6]Jan L. A. van de Snepscheut, Jan Tijmen Udding:
An Alternative Implementation of Communication Primitives. Inf. Process. Lett. 23(5): 231-238 (1986) - [j5]Jan L. A. van de Snepscheut:
A Derivation of a Distributed Implementation of Warshall's Algorithm. Sci. Comput. Program. 7(1): 55-60 (1986) - 1985
- [j4]Jan L. A. van de Snepscheut:
Evaluating Expressions with a Queue. Inf. Process. Lett. 20(2): 65-66 (1985) - 1981
- [j3]Jan L. A. van de Snepscheut:
Synchronous Communication Between Asynchronous Components. Inf. Process. Lett. 13(3): 127-130 (1981) - 1980
- [j2]F. E. J. Kruseman Aretz, Jan L. A. van de Snepscheut, H. Grasdijk, J. M. H. Smeets:
SATHE: Some Aspects of an ALGOL Implementation. Softw. Pract. Exp. 10(7): 563-573 (1980) - 1979
- [j1]Jan L. A. van de Snepscheut, Gert Slavenburg:
Introducing the notion of processes to hardware. SIGARCH Comput. Archit. News 7(7): 13-23 (1979)
Conference and Workshop Papers
- 1994
- [c4]Jan L. A. van de Snepscheut:
Mechanized Support for Stepwise Refinement. Programming Languages and System Architectures 1994: 35-48 - [c3]K. Rustan M. Leino, Jan L. A. van de Snepscheut:
Semantics of Exceptions. PROCOMET 1994: 447-466 - 1991
- [c2]H. Peter Hofstee, Johan J. Lukkien, Jan L. A. van de Snepscheut:
A Distributed Implementation of a Task Pool. Research Directions in High-Level Parallel Programming Languages 1991: 338-348 - 1987
- [c1]Peter A. J. Hilbers, Marion R. J. Koopman, Jan L. A. van de Snepscheut:
The Twisted Cube. PARLE (1) 1987: 152-159
Editorship
- 1989
- [e1]Jan L. A. van de Snepscheut:
Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings. Lecture Notes in Computer Science 375, Springer 1989, ISBN 3-540-51305-1 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
