| 1993 | MFCS | Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands. | J. W. de Bakker, Franck van Breugel, Arie de Bruin |
| 1993 | MFPS | Topological Models for Higher Ordr Control Flow. | J. W. de Bakker, Franck van Breugel |
| 1985 | ICALP | Towards a Uniform Topological Treatment of Streams and Functions on Streams. | J. W. de Bakker, Joost N. Kok |
| 1985 | ICALP | Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. | J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rdiger Olderog |
| 1985 | STOC | Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency | J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rdiger Olderog, Jeffery I. Zucker |
| 1983 | ICALP | Linear Time and Branching Time Semantics for Recursion with Merge. | J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer |
| 1983 | ICALP | Processes and a Fair Semantics for the Ada Rendez-Vous. | J. W. de Bakker, Jeffery I. Zucker |
| 1982 | STOC | Denotational Semantics of Concurrency | J. W. de Bakker, Jeffery I. Zucker |
| 1979 | MFCS | A Sound and Complete Proof System for Partial Program Correctness. | J. W. de Bakker |
| 1977 | ICALP | Semantics and Proof Theory of Pascal Procedures. | Krzysztof R. Apt, J. W. de Bakker |
| 1977 | MFCS | Semantics of Infinite Processes Using Generalized Trees. | J. W. de Bakker |
| 1976 | ICALP | Semantics and Termination of Nondeterministic Recursive Programs. | J. W. de Bakker |
| 1976 | MFCS | Exercises in Denotational Semantics. | Krzysztof R. Apt, J. W. de Bakker |
| 1975 | FOCS | Flow of Control in the Proof Theory of Structured Programming | J. W. de Bakker |
| 1972 | ICALP | A Calculus for Recursive Program Schemes. | J. W. de Bakker, Willem P. de Roever |