×

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, J.; Kok, J. N.; Kok, Joost; Kok, Joost N.
Documents Indexed: 65 Publications since 1971, including 13 Books

Publications by Year

Citations contained in zbMATH

43 Publications have been cited 217 times in 183 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
36
2002
Denotational semantics of a parallel object-oriented language. Zbl 0695.68058
America, Pierre; de Bakker, Jaco; Kok, Joost N.; Rutten, Jan
21
1989
Reinforcement in graphs. Zbl 0862.05071
Kok, J.; Mynhardt, C. M.
15
1990
Frequent subtree mining – an overview. Zbl 1096.68044
Chi, Yun; Nijssen, Siegfried; Muntz, Richard R.; Kok, Joost N.
14
2005
Handbook of natural computing. 4 Volumes. Zbl 1248.68001
Rozenberg, Grzegorz (ed.); Bäck, Thomas H. W. (ed.); Kok, Joost N. (ed.)
13
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
Implementation and performance of the time integration of a 3D numerical transport model. Zbl 0841.76059
Sommeijer, B. P.; Kok, J.
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
Splitting methods for three-dimensional bio-chemical transport. Zbl 0862.76051
Sommeijer, B. P.; Kok, J.
4
1996
The weakest precondition calculus: Recursion and duality. Zbl 0816.68081
Bonsangue, Marcello M.; Kok, Joost N.
4
1994
Time integration of three-dimensional numerical transport models. Zbl 0819.65122
Sommeijer, B. P.; van der Houwen, P. J.; Kok, J.
4
1994
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.
3
1999
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
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 compositional semantics for Concurrent Prolog. Zbl 0644.68021
Kok, Joost N.
3
1988
Denotational semantics of nets with nondeterminism. Zbl 0587.68019
Kok, Joost N.
3
1986
Numerical solution of a minimum problem. Zbl 0276.65035
van der Houwen, P. J.; Kok, J.
3
1971
TreeSOM: cluster analysis in the self-organizing map. Zbl 1102.68590
Samsonova, Elena V.; Kok, Joost N.; Ijzerman, Ad P.
2
2006
The semantics of the combination of atomized statements and parallel choice. Zbl 0905.68086
Knijnenburg, Peter M. W.; Kok, Joost N.
2
1997
Relating multifunctions and predicate transformers through closure operators. Zbl 0942.68617
Bonsangue, Marcello M.; Kok, Joost N.
2
1994
A fully abstract semantics for data flows nets. Zbl 0615.68016
Kok, Joost N.
2
1987
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
Multi-class correlated pattern mining. Zbl 1178.68206
Nijssen, Siegfried; Kok, Joost N.
1
2006
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
Natural data mining techniques. Zbl 1049.68054
Kok, Joost N.; Kosters, Walter A.
1
2001
Theory of genetic algorithms. Zbl 1049.68153
Bäck, Thomas; de Graaf, Jeannette M.; Kok, Joost N.; Kosters, Walter A.
1
2001
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
Infinitary domain logic for finitary transition systems. Zbl 0885.03030
Bonsangue, Marcello M.; Kok, Joost N.
1
1997
Implementation and performance of the time integration of a 3D numerical transport model. Zbl 0846.76063
Sommeijer, B. P.; Kok, J.
1
1995
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
Scientific Ada. Zbl 0605.68001
Ford, B. (ed.); Kok, J. (ed.); Rogers, M. W. (ed.)
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
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 (ed.); Bäck, Thomas H. W. (ed.); Kok, Joost N. (ed.)
13
2012
TreeSOM: cluster analysis in the self-organizing map. Zbl 1102.68590
Samsonova, Elena V.; Kok, Joost N.; Ijzerman, Ad P.
2
2006
Multi-class correlated pattern mining. Zbl 1178.68206
Nijssen, Siegfried; Kok, Joost N.
1
2006
Frequent subtree mining – an overview. Zbl 1096.68044
Chi, Yun; Nijssen, Siegfried; Muntz, Richard R.; Kok, Joost N.
14
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
36
2002
Natural data mining techniques. Zbl 1049.68054
Kok, Joost N.; Kosters, Walter A.
1
2001
Theory of genetic algorithms. Zbl 1049.68153
Bäck, Thomas; de Graaf, Jeannette M.; 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.
3
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.
5
1995
Implementation and performance of the time integration of a 3D numerical transport model. Zbl 0846.76063
Sommeijer, B. P.; Kok, J.
1
1995
The weakest precondition calculus: Recursion and duality. Zbl 0816.68081
Bonsangue, Marcello M.; Kok, Joost N.
4
1994
Time integration of three-dimensional numerical transport models. Zbl 0819.65122
Sommeijer, B. P.; van der Houwen, P. J.; Kok, J.
4
1994
Relating multifunctions and predicate transformers through closure operators. Zbl 0942.68617
Bonsangue, Marcello M.; Kok, Joost N.
2
1994
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
Unity properties and sequences of states, some observations. Zbl 0783.68082
Udink, R. T.; Kok, J. N.
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.
15
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
21
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 compositional semantics for Concurrent Prolog. Zbl 0644.68021
Kok, Joost N.
3
1988
A fully abstract semantics for data flows nets. Zbl 0615.68016
Kok, Joost N.
2
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.
3
1986
Scientific Ada. Zbl 0605.68001
Ford, B. (ed.); Kok, J. (ed.); Rogers, M. W. (ed.)
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 335 Authors

13 Kok, Joost N.
9 van der Houwen, Pieter J.
8 Sommeijer, Ben P.
7 de Bakker, Jacobus W.
6 America, Pierre
6 Rutten, Jan J. M. M.
5 Bonsangue, Marcello Maria
5 de Boer, Frank S.
5 Meyer, John-Jules Charles
4 de Vink, Erik P.
4 Majster-Cederbaum, Mila E.
4 Verwer, Jan G.
4 Xu, Junming
3 Horváth, Tamás L.
3 Hu, Fu-Tao
3 Lu, You
3 Palamidessi, Catuscia
3 van Breugel, Franck
2 Baier, Christel
2 Blom, Joke G.
2 Bruynooghe, Maurice
2 Cegielski, Patrick
2 de Bakker, Jaco
2 de Montigny, Simon
2 Deng, Yingchun
2 Eichler-Liebenow, C.
2 Gabbrielli, Maurizio
2 Grüning, André
2 Guessarian, Irène
2 Hedetniemi, Stephen Travis
2 Henning, Michael Anthony
2 Jafari Rad, Nader
2 Jiang, Suxia
2 Kok, J. B. W.
2 Laskar, Renu Chakravarti
2 Levi, Giorgio
2 Ramon, Jan
2 Sporea, Ioana
2 Todoran, Eneia Nicolae
2 Volkmann, Lutz
2 Wang, Yanfeng
2 Weiner, Rüdiger
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 Ambler, Simon J.
1 Amjadi, Jafar
1 Archetti, Francesco
1 Arrarás, Andres
1 Arumugam, Subramanian
1 Asgharsharghi, Leila
1 Aslan, Ersin
1 Azzag, Hanane
1 Baldan, Paolo
1 Banerjee, Arunava
1 Bellè, Gianna
1 Berger, Theodore W.
1 Berzal, Fernando
1 Bilbao, Miren Nekane
1 Blair, Jean R. S.
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 Burchard, Hans
1 Cabrera, Juan A.
1 Cai, Qing
1 Carson, G. R.
1 Caspi, Paul
1 Castillo, Juan J.
1 Chang, Chih-Hao
1 Chen, Frank Youhua
1 Chen, Ruizhi
1 Chen, Xu
1 Chen, Yen-Liang
1 Chen, Yifeng
1 Čiegis, Raimondas
1 Čiegis, Remigijus
1 Ciobanu, Gabriel
1 Clarke, Dave
1 Coca, Daniel
1 Collette, Pierre
1 Cong, Nguyen Huu
1 Cubero, Juan-Carlos
1 Damiand, Guillaume
1 Davoren, Jennifer M.
1 de Bruin, Arie
1 De Raedt, Luc
1 de Roeck, Anne
1 Dehgardi, Nasrin
...and 235 more Authors
all top 5

Cited in 63 Serials

35 Theoretical Computer Science
15 Neural Computation
11 Applied Numerical Mathematics
10 Neural Networks
9 Information and Computation
7 Formal Aspects of Computing
5 Information Processing Letters
4 Discrete Applied Mathematics
4 Discrete Mathematics
4 Journal of Computational and Applied Mathematics
3 Journal of Computational Physics
3 Journal of Computer and System Sciences
3 Machine Learning
3 Soft Computing
2 BIT
2 Information Sciences
2 New Generation Computing
2 Data Mining and Knowledge Discovery
2 RAIRO. Theoretical Informatics and Applications
2 Natural Computing
1 Acta Informatica
1 Artificial Intelligence
1 Computer Physics Communications
1 International Journal for Numerical Methods in Fluids
1 Journal of the Franklin Institute
1 Lithuanian Mathematical Journal
1 Fuzzy Sets and Systems
1 International Journal for Numerical Methods in Engineering
1 Numerische Mathematik
1 Studia Logica
1 Topology and its Applications
1 Science of Computer Programming
1 Applied Mathematics and Mechanics. (English Edition)
1 Annals of Pure and Applied Logic
1 Journal of Complexity
1 Computers & Operations Research
1 International Journal of Intelligent Systems
1 Applied Mathematics Letters
1 Applied Mathematical Modelling
1 Distributed Computing
1 The Australasian Journal of Combinatorics
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 Combinatorial Optimization
1 Journal of Applied Mathematics
1 Bulletin of the Malaysian Mathematical Sciences Society. Second Series
1 Quantum Information Processing
1 AKCE International Journal of Graphs and Combinatorics
1 Discrete Mathematics, Algorithms and Applications
1 RAIRO. Theoretical Informatics and Applications
1 Frontiers of Computer Science
1 Journal of the Operations Research Society of China
1 Journal of Logical and Algebraic Methods in Programming
1 Journal of Membrane Computing

Citations by Year