home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by prof. dr. J.N. Kok

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

prof. dr. J.N. Kok

• contact information
• my technical reports
• former member of group games and virtual worlds

some publications

Famili, A.F., Kok, J.N., Peña, A.S., Siebes, A.P.J.M. & Feelders, A.J. (Eds.). (2005). Advances in Intelligent Data Analysis VI, 6th International Symposium on Intelligent Data Analysis, IDA 2005 (Lecture Notes in Computer Science, 3646). Berlin: Springer-Verlag.

Knobbe, A.J., Kok, J.N. & Overmars, M.H. (1996). Robot motion planning in unknown environments using Neural Networks. UU-CS 1996-10. Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Haring, S., Viergever, M.A. & Kok, J.N. (1993). A Multiscale Approach to Image Segmentation Using Kohonen Networks. RUU-CS 93-06. Utrecht.

Bonsangue, M.M. & Kok, J.N. (1993). Isomorphisms between Predicate and State Transformers. RUU-CS 93-09. Utrecht.

Vleugels, J.M., Kok, J.N. & Overmars, M.H. (1993). Motion planning using a colored Kohonen network. RUU-CS 93-38. Utrecht.

Udink, R.T. & Kok, J.N. (1993). On the relation between Unity properties and sequences of states. RUU-CS 93-07. Utrecht.

Krekelberg, B. & Kok, J.N. (1992). A lateral inhibition neural network that emulates a winner-takes-all algorithm. RUU-CS 92-46. Utrecht.

Kok, J.N. (1992). Current trends in the semantics of dataflow. RUU-CS 92-22. Utrecht.

Boer, F.S. de & Kok, J.N. (1992). On blocks; locality and asynchronous communication (extended abstract). RUU-CS 92-44. Utrecht: Utrecht.

Bonsangue, M.M. & Kok, J.N. (1992). Semantics, orderings and recursion in the weakest precondition calculus. RUU-CS 92-40. Utrecht.

Boer, F.S. de & Kok, J.N. (1991). A paradigm for asynchronous communication and its application to concurrent constraint programming. RUU-CS 91-46. Utrecht: Utrecht.

Jansson, P. & Kok, J.N. (1991). Towards a complete hierarchy of compositional dataflow models. RUU-CS 91-45. Utrecht.

Kok, J.N. (1990). On logic programming and the refinement calculus semantics based program transformations. RUU-CS 90-39. Utrecht.

Boer, F.S. de & Kok, J.N. (1990). The failure of failures towards a paradigm for asynchronous communication. RUU-CS 90-40. Utrecht: Utrecht.