×

zbMATH — the first resource for mathematics

Kok, Joost N.

Compute Distance To:
Author ID: kok.joost-n Recent zbMATH articles by "Kok, Joost N."
Published as: Kok, Joost N.; Kok, J.; Kok, J. N.; Kok, Joost
Documents Indexed: 65 Publications since 1971, including 13 Books

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 216 times in 144 Documents Cited by Year
Error-backpropagation in temporally encoded networks of spiking neurons. Zbl 1006.68760
Bohte, Sander M.; Kok, Joost N.; La Poutré, Han
37
2002
Denotational semantics of a parallel object-oriented language. Zbl 0695.68058
America, Pierre; de Bakker, Jaco; Kok, Joost N.; Rutten, Jan
20
1989
Reinforcement in graphs. Zbl 0862.05071
Kok, J.; Mynhardt, C. M.
16
1990
Frequent subtree mining – an overview. Zbl 1096.68044
Chi, Yun; Nijssen, Siegfried; Muntz, Richard R.; Kok, Joost N.
15
2005
Handbook of natural computing. 4 Volumes. Zbl 1248.68001
Rozenberg, Grzegorz (ed.); Bäck, Thomas H. W. (ed.); Kok, Joost N. (ed.)
14
2012
Contrasting themes in the semantics of imperative concurrency. Zbl 0606.68019
de Bakker, J. W.; Kok, J. N.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1986
The iterative solution of fully implicit discretizations of three-dimensional transport models. Zbl 0890.65099
van der Houwen, P. J.; Sommeijer, B. P.; Kok, J.
10
1997
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic. Zbl 0761.68055
de Boer, F. S.; Kok, J. N.; Palamidessi, C.; Rutten, J. J. M. M.
7
1992
Contractions in comparing concurrency semantics. Zbl 0707.68054
Kok, Joost N.; Rutten, Jan J. M. M.
6
1990
Contractions in comparing concurrency semantics. Zbl 0649.68011
Kok, J. N.; Rutten, J. J. M. M.
6
1988
Duality beyond sober spaces: Topological spaces and observation frames. Zbl 0872.06011
Bonsangue, Marcello M.; Jacobs, Bart; Kok, Joost N.
5
1995
Comparative metric semantics for concurrent PROLOG. Zbl 0702.68077
de Bakker, J. W.; Kok, J. N.
5
1990
Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. Zbl 0755.68094
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
5
1989
Time integration of three-dimensional numerical transport models. Zbl 0819.65122
Sommeijer, B. P.; van der Houwen, P. J.; Kok, J.
5
1994
The weakest precondition calculus: Recursion and duality. Zbl 0816.68081
Bonsangue, Marcello M.; Kok, Joost N.
5
1994
Splitting methods for three-dimensional bio-chemical transport. Zbl 0862.76051
Sommeijer, B. P.; Kok, J.
4
1996
Toward an infinitary logic of domains: Abramsky logic for transition systems. Zbl 1004.03030
Bonsangue, Marcello M.; Kok, Joost N.
4
1999
Implementation and performance of the time integration of a 3D numerical transport model. Zbl 0841.76059
Sommeijer, B. P.; Kok, J.
4
1995
Numerical solution of a minimum problem. Zbl 0276.65035
van der Houwen, P. J.; Kok, J.
3
1971
Adaptive information filtering using evolutionary computation. Zbl 1147.68655
Tauritz, D. R.; Kok, J. N.; Sprinkhuizen-Kuyper, I. G.
3
2000
Unity properties and sequences of states, some observations. Zbl 0783.68082
Udink, R. T.; Kok, J. N.
3
1993
Semantic models for concurrent logic languages. Zbl 0744.68087
de Boer, F. S.; Rutten, J. J. M. M.; Kok, J. N.; Palamidessi, C.
3
1991
A paradigm for asynchronous communication and its application to concurrent constraint programming. Zbl 0832.68014
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
3
1993
Multi-class correlated pattern mining. Zbl 1178.68206
Nijssen, Siegfried; Kok, Joost N.
2
2006
Relating multifunctions and predicate transformers through closure operators. Zbl 0942.68617
Bonsangue, Marcello M.; Kok, Joost N.
2
1994
Theory of genetic algorithms. Zbl 1049.68153
Bäck, Thomas; de Graaf, Jeannette M.; Kok, Joost N.; Kosters, Walter A.
2
2001
The semantics of the combination of atomized statements and parallel choice. Zbl 0905.68086
Knijnenburg, Peter M. W.; Kok, Joost N.
2
1997
Coordination in the ImpUNITY framework. Zbl 0943.68114
Goeman, H. J. M.; Kok, J. N.; Sere, K.; Udink, R. T.
1
1998
Infinitary domain logic for finitary transition systems. Zbl 0885.03030
Bonsangue, Marcello M.; Kok, Joost N.
1
1997
Comparing coordination models and architectures using embeddings. Zbl 1032.68091
Bonsangue, Marcello M.; Kok, Joost N.; Zavattaro, Gianluigi
1
2003
Developing object-based distributed systems. Zbl 0928.68047
Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa
1
1999
Natural data mining techniques. Zbl 1049.68054
Kok, Joost N.; Kosters, Walter A.
1
2001
Mixed Ramsey numbers and irredundant Turán numbers for graphs. Zbl 0714.05046
Cockayne, E. J.; Hattingh, J. H.; Kok, J.; Mynhardt, C. M.
1
1990
Implementation and performance of the time integration of a 3D numerical transport model. Zbl 0846.76063
Sommeijer, B. P.; Kok, J.
1
1995
Applications of spiking neural networks. Zbl 1184.68386
Bohte, Sander M.; Kok, Joost N.
1
2005
A semi-discretization algorithm for two-dimensional partial differential equations. Zbl 0431.65059
Kok, J.; Van der Houwen, P. J.; Wolkenfelt, P. H. M.
1
1978
A fully abstract semantics for data flows nets. Zbl 0615.68016
Kok, Joost N.
1
1987
Towards a uniform topological treatment of streams and functions on streams. Zbl 0566.68010
de Bakker, J. W.; Kok, J. N.
1
1985
Denotational semantics of nets with nondeterminism. Zbl 0587.68019
Kok, Joost N.
1
1986
TreeSOM: cluster analysis in the self-organizing map. Zbl 1102.68590
Samsonova, Elena V.; Kok, Joost N.; Ijzerman, Ad P.
1
2006
Dynamic vehicle routing with time windows in theory and practice. Zbl 1418.90242
Yang, Zhiwei; van Osta, Jan-Paul; van Veen, Barry; van Krevelen, Rick; van Klaveren, Richard; Stam, Andries; Kok, Joost; Bäck, Thomas; Emmerich, Michael
1
2017
Dynamic vehicle routing with time windows in theory and practice. Zbl 1418.90242
Yang, Zhiwei; van Osta, Jan-Paul; van Veen, Barry; van Krevelen, Rick; van Klaveren, Richard; Stam, Andries; Kok, Joost; Bäck, Thomas; Emmerich, Michael
1
2017
Handbook of natural computing. 4 Volumes. Zbl 1248.68001
Rozenberg, Grzegorz; Bäck, Thomas H. W.; Kok, Joost N.
14
2012
Multi-class correlated pattern mining. Zbl 1178.68206
Nijssen, Siegfried; Kok, Joost N.
2
2006
TreeSOM: cluster analysis in the self-organizing map. Zbl 1102.68590
Samsonova, Elena V.; Kok, Joost N.; Ijzerman, Ad P.
1
2006
Frequent subtree mining – an overview. Zbl 1096.68044
Chi, Yun; Nijssen, Siegfried; Muntz, Richard R.; Kok, Joost N.
15
2005
Applications of spiking neural networks. Zbl 1184.68386
Bohte, Sander M.; Kok, Joost N.
1
2005
Comparing coordination models and architectures using embeddings. Zbl 1032.68091
Bonsangue, Marcello M.; Kok, Joost N.; Zavattaro, Gianluigi
1
2003
Error-backpropagation in temporally encoded networks of spiking neurons. Zbl 1006.68760
Bohte, Sander M.; Kok, Joost N.; La Poutré, Han
37
2002
Theory of genetic algorithms. Zbl 1049.68153
Bäck, Thomas; de Graaf, Jeannette M.; Kok, Joost N.; Kosters, Walter A.
2
2001
Natural data mining techniques. Zbl 1049.68054
Kok, Joost N.; Kosters, Walter A.
1
2001
Adaptive information filtering using evolutionary computation. Zbl 1147.68655
Tauritz, D. R.; Kok, J. N.; Sprinkhuizen-Kuyper, I. G.
3
2000
Toward an infinitary logic of domains: Abramsky logic for transition systems. Zbl 1004.03030
Bonsangue, Marcello M.; Kok, Joost N.
4
1999
Developing object-based distributed systems. Zbl 0928.68047
Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa
1
1999
Coordination in the ImpUNITY framework. Zbl 0943.68114
Goeman, H. J. M.; Kok, J. N.; Sere, K.; Udink, R. T.
1
1998
The iterative solution of fully implicit discretizations of three-dimensional transport models. Zbl 0890.65099
van der Houwen, P. J.; Sommeijer, B. P.; Kok, J.
10
1997
The semantics of the combination of atomized statements and parallel choice. Zbl 0905.68086
Knijnenburg, Peter M. W.; Kok, Joost N.
2
1997
Infinitary domain logic for finitary transition systems. Zbl 0885.03030
Bonsangue, Marcello M.; Kok, Joost N.
1
1997
Splitting methods for three-dimensional bio-chemical transport. Zbl 0862.76051
Sommeijer, B. P.; Kok, J.
4
1996
Duality beyond sober spaces: Topological spaces and observation frames. Zbl 0872.06011
Bonsangue, Marcello M.; Jacobs, Bart; Kok, Joost N.
5
1995
Implementation and performance of the time integration of a 3D numerical transport model. Zbl 0841.76059
Sommeijer, B. P.; Kok, J.
4
1995
Implementation and performance of the time integration of a 3D numerical transport model. Zbl 0846.76063
Sommeijer, B. P.; Kok, J.
1
1995
Time integration of three-dimensional numerical transport models. Zbl 0819.65122
Sommeijer, B. P.; van der Houwen, P. J.; Kok, J.
5
1994
The weakest precondition calculus: Recursion and duality. Zbl 0816.68081
Bonsangue, Marcello M.; Kok, Joost N.
5
1994
Relating multifunctions and predicate transformers through closure operators. Zbl 0942.68617
Bonsangue, Marcello M.; Kok, Joost N.
2
1994
Unity properties and sequences of states, some observations. Zbl 0783.68082
Udink, R. T.; Kok, J. N.
3
1993
A paradigm for asynchronous communication and its application to concurrent constraint programming. Zbl 0832.68014
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
3
1993
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic. Zbl 0761.68055
de Boer, F. S.; Kok, J. N.; Palamidessi, C.; Rutten, J. J. M. M.
7
1992
Semantic models for concurrent logic languages. Zbl 0744.68087
de Boer, F. S.; Rutten, J. J. M. M.; Kok, J. N.; Palamidessi, C.
3
1991
Reinforcement in graphs. Zbl 0862.05071
Kok, J.; Mynhardt, C. M.
16
1990
Contractions in comparing concurrency semantics. Zbl 0707.68054
Kok, Joost N.; Rutten, Jan J. M. M.
6
1990
Comparative metric semantics for concurrent PROLOG. Zbl 0702.68077
de Bakker, J. W.; Kok, J. N.
5
1990
Mixed Ramsey numbers and irredundant Turán numbers for graphs. Zbl 0714.05046
Cockayne, E. J.; Hattingh, J. H.; Kok, J.; Mynhardt, C. M.
1
1990
Denotational semantics of a parallel object-oriented language. Zbl 0695.68058
America, Pierre; de Bakker, Jaco; Kok, Joost N.; Rutten, Jan
20
1989
Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses. Zbl 0755.68094
de Boer, Frank S.; Kok, Joost N.; Palamidessi, Catuscia; Rutten, Jan J. M. M.
5
1989
Contractions in comparing concurrency semantics. Zbl 0649.68011
Kok, J. N.; Rutten, J. J. M. M.
6
1988
A fully abstract semantics for data flows nets. Zbl 0615.68016
Kok, Joost N.
1
1987
Contrasting themes in the semantics of imperative concurrency. Zbl 0606.68019
de Bakker, J. W.; Kok, J. N.; Meyer, J.-J. Ch.; Olderog, E.-R.; Zucker, J. I.
11
1986
Denotational semantics of nets with nondeterminism. Zbl 0587.68019
Kok, Joost N.
1
1986
Towards a uniform topological treatment of streams and functions on streams. Zbl 0566.68010
de Bakker, J. W.; Kok, J. N.
1
1985
A semi-discretization algorithm for two-dimensional partial differential equations. Zbl 0431.65059
Kok, J.; Van der Houwen, P. J.; Wolkenfelt, P. H. M.
1
1978
Numerical solution of a minimum problem. Zbl 0276.65035
van der Houwen, P. J.; Kok, J.
3
1971
all top 5

Cited by 259 Authors

13 Kok, Joost N.
7 de Bakker, Jacobus W.
6 America, Pierre
6 Bonsangue, Marcello Maria
6 de Boer, Frank S.
6 Rutten, Jan J. M. M.
5 Meyer, John-Jules Charles
4 de Vink, Erik P.
4 Majster-Cederbaum, Mila E.
3 Horváth, Tamás L.
3 Palamidessi, Catuscia
3 van Breugel, Franck
2 Baier, Christel
2 Bruynooghe, Maurice
2 Cegielski, Patrick
2 Ciobanu, Gabriel
2 de Bakker, Jaco
2 de Montigny, Simon
2 Deng, Yingchun
2 Gabbrielli, Maurizio
2 Grüning, André
2 Guessarian, Irène
2 Jiang, Suxia
2 Levi, Giorgio
2 Li, Qingguo
2 Ramon, Jan
2 Sporea, Ioana
2 Todoran, Eneia Nicolae
2 Wang, Longchun
2 Wang, Yanfeng
2 Welke, Pascal
2 Wrobel, Stefan
2 Wu, Tingfang
2 Wu, Wei
2 Xiang, Xuyan
2 Yang, Jie
2 Zeng, Xiaoqin
1 Aguado, Joaquin
1 Ahmed, Falah Y. H.
1 Alessi, Fabio
1 Aman, Bogdan
1 Ambler, Simon J.
1 Archetti, Francesco
1 Balcázar, José Luis
1 Baldan, Paolo
1 Banerjee, Arunava
1 Bellè, Gianna
1 Berger, Theodore W.
1 Berzal, Fernando
1 Bifet, Albert
1 Bilbao, Miren Nekane
1 Bloom, Stephen L.
1 Bohte, Sander M.
1 Bolton, David
1 Booij, Olaf
1 Breu, Ruth
1 Bruce, Kim B.
1 Bruza, Peter D.
1 Cabrera, Juan A.
1 Cai, Qing
1 Carson, G. R.
1 Caspi, Paul
1 Castillo, Juan J.
1 Cerf, Raphaël
1 Chen, Ruizhi
1 Chen, Xu
1 Chen, Yen-Liang
1 Chen, Yifeng
1 Clarke, Dave
1 Coca, Daniel
1 Collette, Pierre
1 Cubero, Juan-Carlos
1 Damiand, Guillaume
1 De Raedt, Luc
1 de Roeck, Anne
1 Del Ser, Javier
1 Di Pierro, Alessandra
1 Dibazar, Alireza A.
1 Dignum, F. P. M.
1 Durand-Lose, Jérôme O.
1 Ésik, Zoltán
1 Falaschi, Moreno
1 Fan, Jihui
1 Fang, Huijuan
1 Fecher, Harald
1 Feng, Xinyu
1 Florescu, Dorian
1 Fournier, Nicolas G.
1 Froese, Tom
1 Fu, Ming
1 Fuhrmann, Insa
1 Gadde, Raghudeep
1 Ganguli, Surya
1 Gardner, Brian
1 Giordani, Ilaria
1 Goguen, Joseph Amadee
1 Gosselin, Stéphane
1 Grandjean, Etienne
1 Guns, Tias
1 Hadzic, Fedja
...and 159 more Authors
all top 5

Cited in 46 Serials

32 Theoretical Computer Science
16 Neural Computation
9 Neural Networks
8 Formal Aspects of Computing
7 Information and Computation
5 Information Processing Letters
4 Machine Learning
3 Journal of Computer and System Sciences
3 Soft Computing
3 Data Mining and Knowledge Discovery
2 Information Sciences
2 Annals of Pure and Applied Logic
2 New Generation Computing
2 RAIRO. Theoretical Informatics and Applications
2 Natural Computing
2 Journal of Membrane Computing
1 Acta Informatica
1 Artificial Intelligence
1 Journal of the Franklin Institute
1 BIT
1 Fuzzy Sets and Systems
1 Studia Logica
1 Transactions of the American Mathematical Society
1 Topology and its Applications
1 Science of Computer Programming
1 Computers & Operations Research
1 International Journal of Intelligent Systems
1 Applied Mathematics Letters
1 Applied Mathematical Modelling
1 Distributed Computing
1 Cybernetics and Systems Analysis
1 Journal of Applied Non-Classical Logics
1 Journal of Mathematical Sciences (New York)
1 International Journal of Computer Vision
1 Journal of Functional Programming
1 Journal of Computational Neuroscience
1 Annals of Mathematics and Artificial Intelligence
1 Electronic Journal of Probability
1 Journal of Heuristics
1 Constraints
1 Mathematical Problems in Engineering
1 Journal of Applied Mathematics
1 Quantum Information Processing
1 Frontiers of Computer Science
1 Journal of the Operations Research Society of China
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year