![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Joost N. Kok
Person information
- affiliation: Leiden Institute of Advanced Computer Science, Netherlands
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j47]Kemilly Dearo Garcia, Cláudio Rebelo de Sá, Mannes Poel, Tiago Carvalho
, João Mendes-Moreira, João M. P. Cardoso
, André C. P. L. F. de Carvalho
, Joost N. Kok:
An ensemble of autonomous auto-encoders for human activity recognition. Neurocomputing 439: 271-280 (2021)
2010 – 2019
- 2019
- [c107]Kemilly Dearo Garcia, Elaine Ribeiro de Faria
, Cláudio Rebelo de Sá
, João Mendes-Moreira, Charu C. Aggarwal, André C. P. L. F. de Carvalho
, Joost N. Kok:
Ensemble Clustering for Novelty Detection in Data Streams. DS 2019: 460-470 - [c106]Kemilly Dearo Garcia, Mannes Poel, Joost N. Kok, André C. P. L. F. de Carvalho
:
Online Clustering for Novelty Detection and Concept Drift in Data Streams. EPIA (2) 2019: 448-459 - 2017
- [j46]Zhiwei Yang, Jan-Paul van Osta, Barry D. Van Veen, Rick van Krevelen
, Richard van Klaveren, Andries Stam, Joost N. Kok, Thomas Bäck
, Michael Emmerich
:
Dynamic vehicle routing with time windows in theory and practice. Nat. Comput. 16(1): 119-134 (2017) - [c105]Lai-Yee Liu, Vitor Basto-Fernandes
, Iryna Yevseyeva, Joost N. Kok, Michael Emmerich
:
Indicator-Based Evolutionary Level Set Approximation: Mixed Mutation Strategy and Extended Analysis. IWINAC (1) 2017: 146-159 - 2016
- [j45]M. Kroon, Eric-Wubbo Lameijer, N. Lakenberg, Jayne Y. Hehir-Kwa
, D. T. Thung, P. Eline Slagboom
, Joost N. Kok, Kai Ye
:
Detecting dispersed duplications in high-throughput sequencing data using a database-free approach. Bioinform. 32(4): 505-510 (2016) - [j44]Zhiwei Yang, Michael Emmerich
, Thomas Bäck
, Joost N. Kok:
Multi-objective inventory routing with uncertain demand using population-based metaheuristics. Integr. Comput. Aided Eng. 23(3): 205-220 (2016) - [c104]Lambert Schomaker, Andreas Weber, Michiel Thijssen, Maarten Heerlien, Aske Plaat, Siegfried Nijssen, Fons J. Verbeek, Michael S. Lew, Eulalia Gasso Miracle, Katy Wolstencroft, Ernest Suyver, Bart Verheij, Marco A. Wiering, René Dekker, Joost N. Kok, Lissa Roberts, H. Jaap van den Herik:
Making Sense of Illustrated Handwritten Archives. DH 2016: 674-676 - [p5]Marcello M. Bonsangue
, Michiel Helvensteijn, Joost N. Kok, Natallia Kokash
:
Action Systems for Pharmacokinetic Modeling. From Action Systems to Distributed Systems 2016: 189-200 - 2015
- [j43]Jonathan K. Vis
, Martijn Vermaat, Peter E. M. Taschner
, Joost N. Kok, Jeroen F. J. Laros
:
An efficient algorithm for the extraction of HGVS variant descriptions from sequences. Bioinform. 31(23): 3751-3757 (2015) - [c103]Zhiwei Yang, Michael Emmerich
, Thomas Bäck
, Joost N. Kok:
Multicriteria Inventory Routing by Cooperative Swarms and Evolutionary Algorithms. IWINAC (2) 2015: 127-137 - 2014
- [c102]Natallia Kokash
, Bernard de Bono, Joost N. Kok:
Template-based Treemaps to Preserve Spatial Constraints. IVAPP 2014: 39-49 - [c101]Bernard de Bono, Pierre Grenon, Michiel Helvensteijn, Joost N. Kok, Natallia Kokash
:
ApiNATOMY: Towards Multiscale Views of Human Anatomy. IDA 2014: 72-83 - [c100]Joost N. Kok, Anna-Lena Lamprecht, Kenneth J. Turner, Katy Wolstencroft
:
Track Introduction: Scientific Workflows. ISoLA (2) 2014: 404-406 - [c99]Jonathan K. Vis, Joost N. Kok:
Meta-analysis of Disjoint Sets of Attributes in Large Cohort Studies. ISoLA (2) 2014: 407-419 - 2013
- [c98]Barry D. Van Veen, Michael Emmerich
, Zhiwei Yang, Thomas Bäck
, Joost N. Kok:
Ant Colony Algorithms for the Dynamic Vehicle Routing Problem with Time Windows. IWINAC (2) 2013: 1-10 - 2012
- [c97]Jan Bot, Migiel de Vos, Sander Boele, Marcel J. T. Reinders, Joost N. Kok:
Enabling large genomic data transfers using nation-wide and international dynamic lightpaths. eScience 2012: 1-2 - [c96]Joost N. Kok, Anna-Lena Lamprecht, Fons J. Verbeek, Mark D. Wilkinson
:
Bioscientific Data Processing and Modeling. ISoLA (2) 2012: 7-11 - [e7]Grzegorz Rozenberg, Thomas Bäck
, Joost N. Kok:
Handbook of Natural Computing. Springer 2012, ISBN 978-3-540-92909-3 [contents] - 2011
- [j42]Jan Ramon, Fabrizio Costa
, Christophe Costa Florêncio, Joost N. Kok:
Preface. Fundam. Informaticae 113(2) (2011) - [j41]Erik van den Akker
, Bas Verbruggen, Bas T. Heijmans, Marian Beekman
, Joost N. Kok, Pieternella E. Slagboom
, Marcel J. T. Reinders:
Integrating Protein-Protein Interaction Networks with Gene-Gene Co-Expression Networks improves Gene Signatures for Classifying Breast Cancer Metastasis. J. Integr. Bioinform. 8(2) (2011) - 2010
- [c95]Arno J. Knobbe
, Hendrik Blockeel
, Arne Koopman, Toon Calders, Bas Obladen, Carlos Bosma, Hessel Galenkamp, Eddy Koenders, Joost N. Kok:
InfraWatch: Data Management of Large Systems for Monitoring Infrastructural Performance. IDA 2010: 91-102 - [c94]Joost N. Kok, Anna-Lena Lamprecht, Mark D. Wilkinson:
Tools in Scientific Workflow Composition. ISoLA (1) 2010: 258-260 - [c93]Jeroen S. de Bruin, Joost N. Kok:
Combining Subgroup Discovery and Permutation Testing to Reduce Reduncancy. ISoLA (1) 2010: 285-300 - [p4]Peter van der Putten, Joost N. Kok:
Using Data Fusion to Enrich Customer Databases with Survey Data for Database Marketing. Marketing Intelligent Systems Using Soft Computing 2010: 113-130
2000 – 2009
- 2009
- [j40]Jan Ramon, Fabrizio Costa, Christophe Costa Florêncio, Joost N. Kok:
StReBio'09: statistical relational learning and mining in bioinformatics. SIGKDD Explor. 11(2): 88-89 (2009) - [c92]Juan Chen, Michael T. M. Emmerich, Rui Li, Joost N. Kok, Thomas Bäck
:
How to Do Recombination in Evolution Strategies: An Empirical Study. IWINAC (1) 2009: 223-232 - [e6]Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree
:
Algorithmic Bioprocesses. Natural Computing Series, Springer 2009, ISBN 978-3-540-88868-0 [contents] - [e5]Christophe Costa Florêncio, Fabrizio Costa, Jan Ramon, Joost N. Kok:
Proceedings of the ACM SIGKDD Workshop on Statistical and Relational Learning in Bioinformatics, Paris, France, June 28, 2009. ACM 2009, ISBN 978-1-60558-667-0 [contents] - 2008
- [c91]Jeroen S. de Bruin, Joost N. Kok, Nada Lavrac, Igor Trajkovski:
On the Design of Knowledge Discovery Services Design Patterns and Their Application in a Use Case Implementation. ISoLA 2008: 649-662 - [c90]Fabrice Colas, Ingrid Meulenbelt, Jeanine J. Houwing-Duistermaat, Margreet Kloppenburg, Iain Watt, Stephanie M. van Rooden, Martine Visser, Johan Marinus, Edward O. Cannon, Andreas Bender, Jacobus J. van Hilten, P. Eline Slagboom, Joost N. Kok:
A Scenario Implementation in Rfor SubtypeDiscoveryExamplified on Chemoinformatics Data. ISoLA 2008: 669-683 - 2007
- [j39]Christiaan V. Henkel
, Thomas Bäck
, Joost N. Kok, Grzegorz Rozenberg, Herman P. Spaink
:
DNA computing of solutions to knapsack problems. Biosyst. 88(1-2): 156-162 (2007) - [c89]Fabrice Colas, Pavel Paclík, Joost N. Kok, Pavel Brazdil
:
Does SVM Really Scale Up to Large Bag of Words Feature Spaces? IDA 2007: 296-307 - [c88]Edgar H. de Graaf, Joost N. Kok, Walter A. Kosters:
Clustering Improves the Exploration of Graph Mining Results. AIAI 2007: 13-20 - [c87]Ofer M. Shir, Joost N. Kok, Thomas Bäck
, Marc J. J. Vrakking:
Gaining Insights into Laser Pulse Shaping by Evolution Strategies. IWINAC (1) 2007: 467-477 - [c86]Hendrik Blockeel, Tijn Witsenburg, Joost N. Kok:
Graphs, Hypergraphs, and Inductive Logic Programming. MLG 2007 - [c85]Fabrice Colas, Ingrid Meulenbelt, Jeanine J. Houwing-Duistermaat, P. Eline Slagboom, Joost N. Kok:
A Comparison of two Methods for Finding Groups using Heat Maps and Model Based Clustering. SGAI Conf. (Applications) 2007: 119-131 - [c84]Edgar H. de Graaf, Walter A. Kosters, Joost N. Kok, Jeroen Kazius:
Visualization and Grouping of Graph Patterns in Molecular Databases. SGAI Conf. 2007: 267-280 - [e4]Joost N. Kok, Jacek Koronacki, Ramón López de Mántaras, Stan Matwin, Dunja Mladenic, Andrzej Skowron:
Machine Learning: ECML 2007, 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings. Lecture Notes in Computer Science 4701, Springer 2007, ISBN 978-3-540-74957-8 [contents] - [e3]Joost N. Kok, Jacek Koronacki, Ramón López de Mántaras, Stan Matwin, Dunja Mladenic, Andrzej Skowron:
Knowledge Discovery in Databases: PKDD 2007, 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007, Proceedings. Lecture Notes in Computer Science 4702, Springer 2007, ISBN 978-3-540-74975-2 [contents] - [i3]Edgar H. de Graaf, Joost N. Kok, Walter A. Kosters:
Clustering Co-occurrence of Maximal Frequent Patterns in Streams. CoRR abs/0705.0588 (2007) - [i2]Edgar H. de Graaf, Joost N. Kok, Walter A. Kosters:
Clustering with Lattices in the Analysis of Graph Patterns. CoRR abs/0705.0593 (2007) - [i1]Edgar H. de Graaf, Joost N. Kok, Walter A. Kosters:
Mining Patterns with a Balanced Interval. CoRR abs/0705.1110 (2007) - 2006
- [j38]Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok:
Foundations on Coordination Languages and Software Architectures. Fundam. Informaticae 73(4) (2006) - [j37]Joost N. Kok, José María Peña Sánchez, Arno Siebes:
Introduction. Intell. Data Anal. 10(5): 395 (2006) - [j36]Eric-Wubbo Lameijer, Joost N. Kok, Thomas Bäck
, Adriaan P. IJzerman
:
The Molecule Evoluator. An Interactive Evolutionary Algorithm for the Design of Drug-Like Molecules. J. Chem. Inf. Model. 46(2): 545-552 (2006) - [j35]Eric-Wubbo Lameijer, Joost N. Kok, Thomas Bäck
, Adriaan P. IJzerman
:
Mining a Chemical Database for Fragment Co-occurrence: Discovery of "Chemical Clichés". J. Chem. Inf. Model. 46(2): 553-562 (2006) - [j34]Jeroen Kazius, Siegfried Nijssen
, Joost N. Kok, Thomas Bäck
, Adriaan P. IJzerman
:
Substructure Mining Using Elaborate Chemical Representation. J. Chem. Inf. Model. 46(2): 597-605 (2006) - [j33]Stephen Swift
, Joost N. Kok, Xiaohui Liu:
Learning short multivariate time series models through evolutionary and sparse matrix computation. Nat. Comput. 5(4): 387-426 (2006) - [j32]Elena V. Samsonova, Joost N. Kok, Adriaan P. IJzerman
:
TreeSOM: Cluster analysis in the self-organizing map. Neural Networks 19(6-7): 935-949 (2006) - [c83]Jeroen S. de Bruin, Tim K. Cocx, Walter A. Kosters, Jeroen F. J. Laros
, Joost N. Kok:
Data Mining Approaches to Criminal Career Analysis. ICDM 2006: 171-177 - [c82]Ofer M. Shir, Joost N. Kok, Thomas Bäck
, Marc J. J. Vrakking:
Learning the Complete-Basis-Functions Parameterization for the Optimization of Dynamic Molecular Alignment by ES. IDEAL 2006: 410-418 - [c81]Ayman E. Khedr, Joost N. Kok:
Adopting Knowledge Discovery in Databases for Customer Relationship Management in Egyptian Public Banks. IFIP PPAI 2006: 201-208 - [c80]Jeroen S. de Bruin, Joost N. Kok:
Towards a Framework for Knowledge Discovery. IFIP PPAI 2006: 219-228 - 2005
- [j31]Paul O'Neill, Karl Fraser, Zidong Wang
, Paul Kellam
, Joost N. Kok, Xiaohui Liu:
Pyramidic Clustering of Large-Scale Microarray Images. Comput. J. 48(4): 466-479 (2005) - [j30]Yun Chi, Richard R. Muntz, Siegfried Nijssen, Joost N. Kok:
Frequent Subtree Mining - An Overview. Fundam. Informaticae 66(1-2): 161-198 (2005) - [j29]Takashi Washio, Luc De Raedt, Joost N. Kok:
Advances in Mining Graphs, Trees and Sequences. Fundam. Informaticae 66(1-2) (2005) - [j28]Sander M. Bohté, Joost N. Kok:
Applications of spiking neural networks. Inf. Process. Lett. 95(6): 519-520 (2005) - [j27]Farhad Arbab, Joost N. Kok:
Compositional Construction and Reasoning Techniques for Software. J. Univers. Comput. Sci. 11(10): 1577-1579 (2005) - [j26]Eric-Wubbo Lameijer, Thomas Bäck
, Joost N. Kok, Adriaan P. IJzerman:
Evolutionary Algorithms in Drug Design. Nat. Comput. 4(3): 177-243 (2005) - [c79]Eric-Wubbo Lameijer, Adriaan P. IJzerman, Joost N. Kok:
Using data mining to improve mutation in a tool for molecular evolution. Congress on Evolutionary Computation 2005: 314-321 - [c78]Eric-Wubbo Lameijer, Adriaan P. IJzerman, Joost N. Kok:
The molecule evoluator: an interactive evolutionary algorithm for designing drug molecules. GECCO 2005: 1969-1976 - [c77]Elena V. Samsonova, Thomas Bäck
, Joost N. Kok, Adriaan P. IJzerman:
Reliable Hierarchical Clustering with the Self-organizing Map. IDA 2005: 385-396 - [c76]Christiaan V. Henkel, Joost N. Kok:
Towards Evolutionary DNA Computing. IWINAC (1) 2005: 242-257 - [c75]Siegfried Nijssen, Joost N. Kok:
Multi-class Correlated Pattern Mining. KDID 2005: 165-187 - [e2]A. Fazel Famili, Joost N. Kok, José María Peña Sánchez, Arno Siebes, A. J. Feelders:
Advances in Intelligent Data Analysis VI, 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings. Lecture Notes in Computer Science 3646, Springer 2005, ISBN 3-540-28795-7 [contents] - 2004
- [j25]Sander M. Bohté, Michiel C. van Wezel, Joost N. Kok:
Introduction. Nat. Comput. 3(2): 133-134 (2004) - [c74]Siegfried Nijssen, Joost N. Kok:
Ideal Refinement of Datalog Clauses Using Primary Keys. ECAI 2004: 520-524 - [c73]Farhad Arbab, Joost N. Kok:
Interaction and Coordination of Tools for Structured Data. ISoLA 2004: 1-8 - [c72]Siegfried Nijssen
, Joost N. Kok:
A quickstart in frequent structure mining can make a difference. KDD 2004: 647-652 - [c71]Jeroen Eggermont, Joost N. Kok, Walter A. Kosters:
Detecting and Pruning Introns for Faster Decision Tree Evolution. PPSN 2004: 1071-1080 - [c70]Jeroen Eggermont, Joost N. Kok, Walter A. Kosters:
Genetic Programming for data classification: partitioning the search space. SAC 2004: 1001-1005 - [c69]Siegfried Nijssen, Joost N. Kok:
Frequent graph mining and its application to molecular databases. SMC (5) 2004: 4571-4577 - [c68]Siegfried Nijssen
, Joost N. Kok:
The Gaston Tool for Frequent Subgraph Mining. GraBaTs 2004: 77-87 - 2003
- [j24]Marcello M. Bonsangue
, Joost N. Kok:
Infinite intersection types. Inf. Comput. 186(2): 285-318 (2003) - [j23]Marcello M. Bonsangue
, Joost N. Kok, Gianluigi Zavattaro:
Comparing coordination models and architectures using embeddings. Sci. Comput. Program. 46(1-2): 31-69 (2003) - [c67]Elena V. Samsonova, Thomas Bäck
, Margot W. Beukers, Adriaan P. IJzerman, Joost N. Kok:
Combining and Comparing Cluster Methods in a Receptor Database. IDA 2003: 341-351 - [c66]Siegfried Nijssen
, Joost N. Kok:
Efficient Frequent Query Discovery in FARMER. PKDD 2003: 350-362 - 2002
- [j22]Sander M. Bohté, Joost N. Kok, Johannes A. La Poutré:
Error-backpropagation in temporally encoded networks of spiking neurons. Neurocomputing 48(1-4): 17-37 (2002) - [j21]Grzegorz Rozenberg, A. E. Eiben, Joost N. Kok:
Preface. Theor. Comput. Sci. 287(1): 1-2 (2002) - [j20]Sander M. Bohté, Han La Poutré, Joost N. Kok:
Unsupervised clustering with spiking neurons by sparse temporal coding and multilayer RBF networks. IEEE Trans. Neural Networks 13(2): 426-435 (2002) - [c65]Sander M. Bohté, Joost N. Kok, Johannes A. La Poutré:
Modeling efficient conjunction detection with spiking neural networks. ESANN 2002: 263-268 - [c64]Peter van der Putten, Joost N. Kok, Amar Gupta:
Why the Information Explosion Can Be Bad for Data Mining, and How Data Fusion Provides a Way Out. SDM 2002: 128-138 - 2001
- [c63]Michiel C. van Wezel, Walter A. Kosters, Peter van der Putten, Joost N. Kok:
Nonmetric Multidimensional Scaling with Neural Networks. IDA 2001: 145-155 - [c62]Siegfried Nijssen, Joost N. Kok:
Faster Association Rules for Multiple Relations. IJCAI 2001: 891-896 - [c61]Marcello M. Bonsangue, Joost N. Kok:
Infinite Intersection and Union Types for the Lazy Lambda Calculus. TACS 2001: 448-458 - [p3]Thomas Bäck, Jeannette M. de Graaf, Joost N. Kok, Walter A. Kosters:
Theory of Genetic Algorithms. Current Trends in Theoretical Computer Science 2001: 546-578 - [p2]Joost N. Kok, Walter A. Kosters:
Natural Data Mining Techniques. Current Trends in Theoretical Computer Science 2001: 603-613 - 2000
- [j19]Joost N. Kok, Walter A. Kosters:
Natural Data Mining Techniques. Bull. EATCS 71: 133-142 (2000) - [j18]Daniel R. Tauritz
, Joost N. Kok, Ida G. Sprinkhuizen-Kuyper:
Adaptive Information Filtering using Evolutionary Computation. Inf. Sci. 122(2-4): 121-140 (2000) - [j17]Eric J. Hedman, Joost N. Kok, Kaisa Sere:
Coordinating action systems. Theor. Comput. Sci. 240(1): 91-115 (2000) - [c60]Joost N. Kok, Kaisa Sere:
Coordination-Based Design of Distributed Systems. COORDINATION 2000: 347-352 - [c59]Sander M. Bohté, Joost N. Kok, Johannes A. La Poutré:
SpikeProp: backpropagation for networks of spiking neurons. ESANN 2000: 419-424 - [c58]Sander M. Bohté, Johannes A. La Poutré, Joost N. Kok:
Unsupervised Classification of Complex Clusters in Networks of Spiking Neurons. IJCNN (3) 2000: 279-284 - [c57]Claudio Rossi
, Elena Marchiori, Joost N. Kok:
An Adaptive Evolutionary Algorithm for the Satisfiability Problem. SAC (1) 2000: 463-469
1990 – 1999
- 1999
- [j16]Marcello M. Bonsangue
, Joost N. Kok:
Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems. Inf. Comput. 155(1-2): 170-201 (1999) - [j15]Walter A. Kosters, Joost N. Kok, Patrik Floréen:
Fourier Analysis of Genetic Algorithms. Theor. Comput. Sci. 229(1): 143-175 (1999) - [c56]Thomas Bäck
, Joost N. Kok, Grzegorz Rozenberg:
Cross-fertilization between evolutionary computation and DNA-based computing. CEC 1999: 980-987 - [c55]Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro:
Comparing Software Architectures for Coordination Languages. COORDINATION 1999: 150-165 - [c54]Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere:
Developing Object-based Distributed Systems. FMOODS 1999 - [c53]Cees H. M. van Kemenade, Joost N. Kok:
Cluster Evolution Strategies for Constrained Numerical Optimization. ISMIS 1999: 630-638 - [c52]Marcello M. Bonsangue, Joost N. Kok:
Comparing Coordination Models Based on Shared Distributed Replicated Data. SAC 1999: 156-165 - [e1]David J. Hand, Joost N. Kok, Michael R. Berthold:
Advances in Intelligent Data Analysis, Third International Symposium, IDA-99, Amsterdam, The Netherlands, August 1999, Proceedings. Lecture Notes in Computer Science 1642, Springer 1999, ISBN 3-540-66332-0 [contents] - 1998
- [j14]Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink:
Coordination in the ImpUNITY Framework. Sci. Comput. Program. 31(2-3): 313-334 (1998) - [c51]Michiel C. van Wezel, Walter A. Kosters, Joost N. Kok:
Maximum Likelihood Weights for a Linear Ensemble of Regression Neural Networks. ICONIP 1998: 498-501 - [c50]Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere:
An Approach to Object-Orientation in Action Systems. MPC 1998: 68-95 - [c49]Marcello M. Bonsangue, Joost N. Kok, Maarten Boasson, Edwin D. de Jong:
A software architecture for distributed control systems and its transition system semantics. SAC 1998: 159-168 - 1997
- [j13]Peter M. W. Knijnenburg, Joost N. Kok:
The Semantics of the Combination of Atomized Statements and Parallel Choice. Formal Aspects Comput. 9(5-6): 518-536 (1997) - [j12]Elena Marchiori, Massimo Marchiori, Joost N. Kok:
A Novel Search Technique for Solving Over-Constrained Problems. Int. J. Artif. Intell. Tools 6(4): 587-611 (1997) - [j11]Jules Vleugels, Joost N. Kok, Mark H. Overmars:
Motion Planning with Complete Knowledge Using a Colored Som. Int. J. Neural Syst. 8(5-6): 613-628 (1997) - [c48]Eric J. Hedman, Joost N. Kok, Kaisa Sere:
Coordinating Action Systems. COORDINATION 1997: 302-319 - [c47]Michiel C. van Wezel, Joost N. Kok, Walter A. Kosters:
Two neural network methods for multidimensional scaling. ESANN 1997 - [c46]Ben P. Sommeijer, Joost N. Kok:
Domain Decomposition for an Implicit Shallow-Water Transport Solver. HPCN Europe 1997: 379-388 - [c45]Maarten H. Lamers, Joost N. Kok, Erik Lebret:
Combined Neural Network Models for Epidemiological Data: Modelling Heterogeneity and Reduction of Input Correlations. ICANNGA 1997: 147-151 - [c44]S. Haring, Joost N. Kok, Michiel C. van Wezel:
Feature Selection for Neural Networks through Functional Links Found by Evolutionary Computation. IDA 1997: 199-210 - [c43]Marcello M. Bonsangue, Joost N. Kok:
Specifying Computations Using Hyper Transition Systems. MFCS 1997: 169-178 - [c42]Marcello M. Bonsangue
, Joost N. Kok:
Infinitary Domain Logic for Finitary Transition Systems. TACS 1997: 213-232 - 1996
- [c41]Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink:
Coordination in the ImpUNITY Framework. COORDINATION 1996: 215-230 - [c40]Joost N. Kok, Elena Marchiori, Massimo Marchiori, Claudio Rossi:
Constraining of weights using regularities. ESANN 1996 - [c39]Michiel C. van Wezel, Joost N. Kok, Kaisa Sere:
Determining the number of dimensions underlying customer-choices with a competitive neural network. ICNN 1996: 484-489 - [c38]Elena Marchiori, Massimo Marchiori, Joost N. Kok:
Forward-Tracking: A Technique for Searching Beyond Failure. ICTAI 1996: 324-331 - [c37]Cees H. M. van Kemenade, J. M. van den Akker, Joost N. Kok:
Evolutionary Air Traffic Flow Management for Large 3D-problems. PPSN 1996: 910-919 - 1995
- [j10]Marcello M. Bonsangue
, Bart Jacobs, Joost N. Kok:
Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. Theor. Comput. Sci. 151(1): 79-124 (1995) - [c36]Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink:
Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. CONCUR 1995: 363-377 - [c35]A. E. Eiben, Cees H. M. van Kemenade, Joost N. Kok:
Orgy in the Computer: Multi-Parent Reproduction in Genetic Algorithms. ECAL 1995: 934-945 - [c34]S. Haring, Joost N. Kok:
Adaptive Scaling of Codebook Vectors. ICANNGA 1995: 239-241 - [c33]Joost N. Kok, Patrik Floréen:
Tracing the Behavior of Genetic Algorithms Using Expected Values of Bit and Walsh Products. ICGA 1995: 201-208 - [c32]Cees H. M. van Kemenade, C. F. W. Hendriks, Henk Hesselink, Joost N. Kok:
Evolutionary Computation in Air Traffic Control Planning. ICGA 1995: 611-616 - [c31]Rob T. Udink, Joost N. Kok:
ImpUNITY: UNITY with Procedures and Local Variables. MPC 1995: 452-472 - 1994
- [j9]Marcello M. Bonsangue
, Joost N. Kok:
The Weakest Precondition Calculus: Recursion and Duality. Formal Aspects Comput. 6(6A): 788-800 (1994) - [j8]S. Haring, Max A. Viergever, Joost N. Kok:
Kohonen networks for multiscale image segmentation. Image Vis. Comput. 12(6): 339-344 (1994) - [c30]Rob T. Udink, Joost N. Kok:
The RPC-Memory Specification Problem: UNITY+Refinement Calculus. Formal Systems Specification 1994: 521-540 - [c29]Guido M. te Brake, Joost N. Kok, Paul M. B. Vitányi:
Model selection for neural networks: comparing MDL and NIC. ESANN 1994 - [c28]Joost N. Kok:
Efficient Solution of Linear Systems for the Time Integration of 3-D Transport Models. EUROSIM 1994: 79-86 - [c27]Michiel C. van Wezel, Joost N. Kok, J. van den Berg, W. van Kampen:
Genetic Improvement of Railway Timetables. PPSN 1994: 566-575 - [c26]Rob T. Udink, Ted Herman, Joost N. Kok:
Progress for Local Variables in UNITY. PROCOMET 1994: 127-146 - [c25]Marcello M. Bonsangue, Joost N. Kok:
Relating Multifunctions and Predicate Transformers through Closure Operators. TACS 1994: 822-843 - 1993
- [j7]Joost N. Kok:
Traces, Histories and Streams in the Semantics of Nondeterministic Data Flow. Int. J. High Speed Comput. 5(2): 225-242 (1993) - [j6]Rob T. Udink, Joost N. Kok:
Unity Properties and Sequences of States, Some Observations. Inf. Process. Lett. 47(6): 307-311 (1993) - [c24]Rob T. Udink, Joost N. Kok:
Two Fully Abstract Models for UNITY. CONCUR 1993: 339-352 - [c23]Bart Krekelberg, Joost N. Kok:
A lateral inhibition neural network that emulates a winner-takes-all algorithm. ESANN 1993 - [c22]S. Haring, Max A. Viergever, Joost N. Kok:
A Multiscale Approach to Image Segmentation Using Kohonen Networks. IPMI 1993: 212-224 - [c21]Joost N. Kok, Peter M. W. Knijnenburg:
Divergence Models for Atomized Statements and Parallel Choice. ISTCS 1993: 231-239 - [c20]Marcello M. Bonsangue, Joost N. Kok:
Isomorphisms between Predicates and State Transformers. MFCS 1993: 301-310 - [c19]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
Non-monotonic Concurrent Constraint Programming. ILPS 1993: 315-334 - 1992
- [j5]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi
, Jan J. M. M. Rutten:
From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic. Theor. Comput. Sci. 101(2): 239-263 (1992) - [c18]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi
, Jan J. M. M. Rutten:
On Blocks: Locality and Asynchronous Communication (Extended Abstract). REX Workshop 1992: 73-90 - [c17]Marcello M. Bonsangue, Joost N. Kok:
Semantics, Orderings and Recursion in the Weakest Precondition Calculus. REX Workshop 1992: 91-109 - [c16]Rob T. Udink, Joost N. Kok:
On the Relation Between Unity Properties and Sequences of States. REX Workshop 1992: 594-608 - 1991
- [j4]Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, Catuscia Palamidessi
:
Semantic Models for Concurrent Logic Languages. Theor. Comput. Sci. 86(1): 3-33 (1991) - [c15]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi
, Jan J. M. M. Rutten:
The Failure of Failures in a Paradigm for Asynchronous Communication. CONCUR 1991: 111-126 - [c14]Peter M. W. Knijnenburg, Joost N. Kok:
On the Semantics of Atomized Statements - the Parallel-Choice Option (Extended Abstract). FCT 1991: 297-306 - [c13]Bengt Jonsson, Joost N. Kok:
Towards a Complete Hierarchy of Compositional Dataflow Models. TACS 1991: 204-225 - 1990
- [j3]J. W. de Bakker, Joost N. Kok:
Comparative Metric Semantics for Concurrent Prolog. Theor. Comput. Sci. 75(1&2): 14-43 (1990) - [j2]Joost N. Kok, Jan J. M. M. Rutten:
Contractions in Comparing Concurrency Semantics. Theor. Comput. Sci. 76(2-3): 179-222 (1990)
1980 – 1989
- 1989
- [j1]Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten:
Denotational Semantics of a Parallel Object-Oriented Language. Inf. Comput. 83(2): 152-205 (1989) - [c12]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten:
Semantic Models for a Version of PARLOG. ICLP 1989: 621-636 - [c11]Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi
, Jan J. M. M. Rutten:
Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. MFCS 1989: 165-176 - [c10]Joost N. Kok:
An Iterative Metric Fully Abstract Semantics for Nondeterministic Dataflow (Extended Abstract). MFCS 1989: 321-330 - [c9]Bengt Jonsson, Joost N. Kok:
Comparing Two Fully Abstract Dataflow Models. PARLE (2) 1989: 217-234 - [c8]Joost N. Kok:
Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog. REX Workshop 1989: 401-413 - 1988
- [c7]J. W. de Bakker, Joost N. Kok:
Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. FGCS 1988: 347-355 - [c6]Joost N. Kok, Jan J. M. M. Rutten:
Contractions in Comparing Concurrent Semantics. ICALP 1988: 317-332 - [c5]Joost N. Kok:
A Compositional Semantics for Concurrent Prolog. STACS 1988: 373-388 - 1987
- [c4]Joost N. Kok:
A Fully Abstract Semantics for Data Flow Nets. PARLE (2) 1987: 351-368 - 1986
- [c3]Joost N. Kok:
Denotational Semantics of Nets with Nondeterminism. ESOP 1986: 237-249 - [c2]Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten:
Operational Semantics of a Parallel Object-Oriented Language. POPL 1986: 194-208 - [p1]J. W. de Bakker, Joost N. Kok, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker:
Contrasting Themes in the Semantics of Imperative Concurrency. Current Trends in Concurrency 1986: 51-122 - 1985
- [c1]J. W. de Bakker, Joost N. Kok:
Towards a Uniform Topological Treatment of Streams and Functions on Streams. ICALP 1985: 140-148
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-02 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint