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-CS1996-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-CS93-06 ). Utrecht.

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

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

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

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

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

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

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

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

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

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

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