Jan Willem Klop

Full Name

Prof.dr. J.W. Klop

Email

J.W.Klop@cwi.nl

Department(s)

Software Analysis and Transformation, CWI Management

Function(s)

CWI-Fellow

Jan Willem Klop

Endrullis, J, Klop, J.W, & Overbeek, R. (2021). Star games and hydras. Logical Methods in Computer Science, 17(2), 20:1–20:32. doi:10.23638/LMCS-17(2:20)2021
Endrullis, J, Klop, J.W, & Overbeek, R. (2020). Decreasing diagrams for confluence and commutation. Logical Methods in Computer Science, 16(1). doi:10.23638/LMCS-16(1:23)2020
Endrullis, J, Klop, J.W, & Bakhshi, R. (2019). Transducer degrees: atoms, infima and suprema. Acta Informatica, 57, 727–758. doi:10.1007/s00236-019-00353-7
Endrullis, J, & Klop, J.W. (2018). Braids via term rewriting. Theoretical Computer Science, 777, 260–295. doi:10.1016/j.tcs.2018.12.006
Endrullis, J, Karhumäki, J, Klop, J.W, & Saarela, A. (2018). Degrees of infinite words, polynomials and atoms. International Journal of Foundations of Computer Science, 29(5), 825–843. doi:10.1142/S0129054118420066
Endrullis, J, Klop, J.W, & Overbeek, R. (2018). Decreasing diagrams with two labels are complete for confluence of countable systems. In Proceedings of the Third International Conference on Formal Structures for Computation and Deduction (pp. 14:1–14:15). doi:10.4230/LIPIcs.FSCD.2018.14
Barendregt, H.P, Endrullis, J, Klop, J.W, & Waldmann, J. (2018). Dance of the Starlings. In Raymond Smullyan on Self Reference (pp. 67–111). doi:10.1007/978-3-319-68732-2_5
Endrullis, J, Karhumäki, J, Klop, J.W, & Saarela, A. (2016). Degrees of infinite words, polynomials and atoms. doi:10.1007/978-3-662-53132-7_14
Fokkink, W.J, & Klop, J.W. (2006). Computing with actions and communications. Bulletin of the Belgian Mathematical Society Simon Stevin, 13, 789–905.
Klop, J.W, van Oostrom, V, & de Vrijer, R. (2006). Iterative Lexicographic Path Orders, in Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the occasion of his 65th Birthday. In J.M Kokichi Futatsugi & not CWI et al (Eds.), Lecture Notes in Computer Science. Springer.

Eredoctoraat - University of East Anglia (2002)

Member: KNAW
Member: CWI Fellow