| 2016 | DLT | Degrees of Infinite Words, Polynomials and Atoms. | Jrg Endrullis, Juhani Karhumki, Jan Willem Klop, Aleksi Saarela |
| 2012 | LICS | Automatic Sequences and Zip-Specifications. | Clemens Grabmayer, Jrg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss |
| 2012 | LICS | Term Rewriting and Lambda Calculus. | Jan Willem Klop |
| 2010 | LICS | Modular Construction of Fixed Point Combinators and Clocked Bohm Trees. | Jrg Endrullis, Dimitri Hendriks, Jan Willem Klop |
| 2007 | FCT | Productivity of Stream Definitions. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
| 2006 | CONCUR | Some Remarks on Definability of Process Graphs. | Clemens Grabmayer, Jan Willem Klop, Bas Luttik |
| 1996 | LICS | Completing Partial Combinatory Algebras With Unique Head-Normal Forms. | Inge Bethke, Jan Willem Klop, Roel C. de Vrijer |
| 1994 | LICS | Cyclic Lambda Graph Rewriting | Zena M. Ariola, Jan Willem Klop |
| 1992 | LICS | Asynchronous Communication in Process Algebra | Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi |
| 1990 | ICALP | Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond. | Jan Willem Klop |
| 1989 | ICLP | On the Safe Termination of PROLOG Programs. | Krzysztof R. Apt, Roland N. Bol, Jan Willem Klop |
| 1984 | CONCUR | Process Algebra with Asynchronous Communication Mechanisms. | Jan A. Bergstra, Jan Willem Klop, John V. Tucker |
| 1984 | ICALP | The Algebra of Recursively Defined Processes and the Algebra of Regular Processes. | Jan A. Bergstra, Jan Willem Klop |
| 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 |
| 1982 | ICALP | Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras. | Jan A. Bergstra, Jan Willem Klop |