Jan Willem Klop

Full Name

Prof.dr. J.W. Klop

Email

J.W.Klop@cwi.nl

Department(s)

Software Analysis and Transformation

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., 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., & Klop, J. W. (2006). Computing with actions and communications. Bulletin of the Belgian Mathematical Society Simon Stevin, 13, 789–905.
Grabmayer, C. A., Klop, J. W., & Luttik, B. (2006). Some Remarks on Definability of Process Graphs. In LNCS (pp. 16–36). Springer.

Eredoctoraat - University of East Anglia (2002)

Member: KNAW
Member: CWI Fellow