Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : prof. dr. J.N. Kok

Joost  Kok

select other reports

this selection

author prof. dr. J.N. Kok

reports (13)

techrep_id file title / author
UU-CS-1996-10 ps.gz
pdf
Robot motion planning in unknown environments using Neural Networks
A. J. Knobbe, J. N. Kok, M. H. Overmars
RUU-CS-93-38 ps.gz
pdf
Motion planning using a colored Kohonen network
J. M. Vleugels, J. N. Kok, M. H. Overmars
RUU-CS-93-09 pdf Isomorphisms between Predicate and State Transformers
Marcello Bonsangue and Joost N. Kok
RUU-CS-93-07 ps.gz
pdf
On the relation between Unity properties and sequences of states
R. T. Udink, J. N. Kok
RUU-CS-93-06 pdf A Multiscale Approach to Image Segmentation Using Kohonen Networks
S. Haring and M.A. Viergever and J.N. Kok
RUU-CS-92-46 pdf A lateral inhibition neural network that emulates a winner-takes-all algorithm
B. Krekelberg and J.N. Kok
RUU-CS-92-44 pdf On blocks; locality and asynchronous communication (extended abstract)
F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten
RUU-CS-92-40 pdf Semantics, orderings and recursion in the weakest precondition calculus
M. Bonsangue and J.N. Kok
RUU-CS-92-22 pdf Current trends in the semantics of dataflow
J.N. Kok
RUU-CS-91-46 pdf A paradigm for asynchronous communication and its application to concurrent constraint programming
F. S. de Boer, J. N. Kok, C. Palamidessi, J. J. M. M. Rutten
RUU-CS-91-45 pdf Towards a complete hierarchy of compositional dataflow models
B. Jonsson, J. N. Kok
RUU-CS-90-40 pdf The failure of failures towards a paradigm for asynchronous communication
F.S. de Boer and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten
RUU-CS-90-39 pdf On logic programming and the refinement calculus semantics based program transformations
J.N. Kok

indexed (co) authors

author group
Boer, dr. F.S. de all reports Intelligent Systems all reports
Haring, dr. S. all reports Games and Virtual Worlds all reports
Kok, prof. dr. J.N. all reports Games and Virtual Worlds all reports
Overmars, prof. dr. M.H. all reports Games and Virtual Worlds all reports
Udink, dr. ir. R.T. all reports Software Technology all reports
Viergever, prof. dr. ir. M.A. all reports Games and Virtual Worlds all reports
Vleugels, dr. J.M. all reports Games and Virtual Worlds all reports

BibTeX entries

@TECHREPORT{UUCS199610,
author = {Knobbe, A.~J. and Kok, J.~N. and Overmars, M.~H.},
year = 1996,
title = {Robot motion planning in unknown environments using Neural Networks},
number = {UU-CS-1996-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-10.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-10.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9338,
author = {Vleugels, J.~M. and Kok, J.~N. and Overmars, M.~H.},
year = 1993,
title = {Motion planning using a colored Kohonen network},
number = {RUU-CS-93-38},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-38.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-38.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9309,
author = {Bonsangue, Marcello and Kok, Joost~N.},
year = 1993,
title = {Isomorphisms between Predicate and State Transformers},
number = {RUU-CS-93-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-09.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9307,
author = {Udink, R.~T. and Kok, J.~N.},
year = 1993,
title = {On the relation between Unity properties and sequences of states},
number = {RUU-CS-93-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9306,
author = {Haring, S. and Viergever, M.A. and Kok, J.N.},
year = 1993,
title = {A Multiscale Approach to Image Segmentation Using Kohonen Networks},
number = {RUU-CS-93-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9246,
author = {Krekelberg, B. and Kok, J.N.},
year = 1992,
title = {A lateral inhibition neural network that emulates a winner-takes-all algorithm},
number = {RUU-CS-92-46},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-46.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9244,
author = {Boer, F.S.~de and Kok, J.N. and Palamidessi, C. and Rutten, J.J.M.M.},
year = 1992,
title = {On blocks; locality and asynchronous communication (extended abstract)},
number = {RUU-CS-92-44},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-44.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9240,
author = {Bonsangue, M. and Kok, J.N.},
year = 1992,
title = {Semantics, orderings and recursion in the weakest precondition calculus},
number = {RUU-CS-92-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-40.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9222,
author = {Kok, J.N.},
year = 1992,
title = {Current trends in the semantics of dataflow},
number = {RUU-CS-92-22},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-22.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9146,
author = {Boer, F.~S.~de and Kok, J.~N. and Palamidessi, C. and Rutten, J.~J.~M.~M.},
year = 1991,
title = {A paradigm for asynchronous communication and its application to concurrent constraint programming},
number = {RUU-CS-91-46},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-46.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9145,
author = {Jonsson, B. and Kok, J.~N.},
year = 1991,
title = {Towards a complete hierarchy of compositional dataflow models},
number = {RUU-CS-91-45},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-45.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9040,
author = {Boer, F.S.~de and Kok, J.N. and Palamidessi, C. and Rutten, J.J.M.M.},
year = 1990,
title = {The failure of failures towards a paradigm for asynchronous communication},
number = {RUU-CS-90-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-40.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9039,
author = {Kok, J.N.},
year = 1990,
title = {On logic programming and the refinement calculus semantics based program transformations},
number = {RUU-CS-90-39},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-39.pdf}},
pubcat = {techreport}
}