Joost N. Kok
Affiliations:- Leiden Institute of Advanced Computer Science, Netherlands
According to our database1,
Joost N. Kok
authored at least 160 papers
between 1985 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on liacs.nl
-
on dl.acm.org
On csauthors.net:
Bibliography
2021
Neurocomputing, 2021
2019
Proceedings of the Progress in Artificial Intelligence, 2019
Proceedings of the Discovery Science - 22nd International Conference, 2019
2017
Indicator-Based Evolutionary Level Set Approximation: Mixed Mutation Strategy and Extended Analysis.
Proceedings of the Natural and Artificial Computation for Biomedicine and Neuroscience, 2017
2016
Multi-objective inventory routing with uncertain demand using population-based metaheuristics.
Integr. Comput. Aided Eng., 2016
Detecting dispersed duplications in high-throughput sequencing data using a database-free approach.
Bioinform., 2016
Proceedings of the 11th Annual International Conference of the Alliance of Digital Humanities Organizations, 2016
Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016
2015
An efficient algorithm for the extraction of HGVS variant descriptions from sequences.
Bioinform., 2015
Proceedings of the Bioinspired Computation in Artificial Systems, 2015
2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Advances in Intelligent Data Analysis XIII, 2014
Proceedings of the 5th International Conference on Information Visualization Theory and Applications, 2014
2013
Proceedings of the Natural and Artificial Computation in Engineering and Medical Applications, 2013
2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Enabling large genomic data transfers using nation-wide and international dynamic lightpaths.
Proceedings of the 8th IEEE International Conference on E-Science, 2012
2011
Integrating Protein-Protein Interaction Networks with Gene-Gene Co-Expression Networks improves Gene Signatures for Classifying Breast Cancer Metastasis.
J. Integr. Bioinform., 2011
2010
Using Data Fusion to Enrich Customer Databases with Survey Data for Database Marketing.
Proceedings of the Marketing Intelligent Systems Using Soft Computing, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
InfraWatch: Data Management of Large Systems for Monitoring Infrastructural Performance.
Proceedings of the Advances in Intelligent Data Analysis IX, 9th International Symposium, 2010
2009
SIGKDD Explor., 2009
Proceedings of the Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira.s Scientific Legacy, 2009
2008
A Scenario Implementation in Rfor SubtypeDiscoveryExamplified on Chemoinformatics Data.
Proceedings of the Leveraging Applications of Formal Methods, 2008
On the Design of Knowledge Discovery Services Design Patterns and Their Application in a Use Case Implementation.
Proceedings of the Leveraging Applications of Formal Methods, 2008
2007
Proceedings of the Research and Development in Intelligent Systems XXIV, 2007
A Comparison of two Methods for Finding Groups using Heat Maps and Model Based Clustering.
Proceedings of the Applications and Innovations in Intelligent Systems XV, 2007
Proceedings of the Mining and Learning with Graphs, 2007
Proceedings of the Bio-inspired Modeling of Cognitive Tasks, 2007
Proceedings of the Artificial Intelligence and Innovations 2007: from Theory to Applications, 2007
Proceedings of the Advances in Intelligent Data Analysis VII, 2007
2006
Learning short multivariate time series models through evolutionary and sparse matrix computation.
Nat. Comput., 2006
Mining a Chemical Database for Fragment Co-occurrence: Discovery of "Chemical Clichés".
J. Chem. Inf. Model., 2006
The Molecule Evoluator. An Interactive Evolutionary Algorithm for the Design of Drug-Like Molecules.
J. Chem. Inf. Model., 2006
J. Chem. Inf. Model., 2006
Fundam. Informaticae, 2006
Adopting Knowledge Discovery in Databases for Customer Relationship Management in Egyptian Public Banks.
Proceedings of the Toward Category-Level Object Recognition, 2006
Proceedings of the Toward Category-Level Object Recognition, 2006
Learning the Complete-Basis-Functions Parameterization for the Optimization of Dynamic Molecular Alignment by ES.
Proceedings of the Intelligent Data Engineering and Automated Learning, 2006
Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 2006
2005
J. Univers. Comput. Sci., 2005
Proceedings of the Knowledge Discovery in Inductive Databases, 4th International Workshop, 2005
Proceedings of the Advances in Intelligent Data Analysis VI, 2005
The molecule evoluator: an interactive evolutionary algorithm for designing drug molecules.
Proceedings of the Genetic and Evolutionary Computation Conference, 2005
Proceedings of the IEEE Congress on Evolutionary Computation, 2005
2004
Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the Parallel Problem Solving from Nature, 2004
Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2004
Proceedings of the Leveraging Applications of Formal Methods, 2004
Ideal Refinement of Datalog Clauses Using Primary Keys.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
2003
Sci. Comput. Program., 2003
Proceedings of the Knowledge Discovery in Databases: PKDD 2003, 2003
Proceedings of the Advances in Intelligent Data Analysis V, 2003
2002
Unsupervised clustering with spiking neurons by sparse temporal coding and multilayer RBF networks.
IEEE Trans. Neural Networks, 2002
Neurocomputing, 2002
Why the Information Explosion Can Be Bad for Data Mining, and How Data Fusion Provides a Way Out.
Proceedings of the Second SIAM International Conference on Data Mining, 2002
Proceedings of the 10th Eurorean Symposium on Artificial Neural Networks, 2002
2001
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001
Faster Association Rules for Multiple Relations.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Proceedings of the Advances in Intelligent Data Analysis, 4th International Conference, 2001
Natural Data Mining Techniques.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
Theory of Genetic Algorithms.
Proceedings of the Current Trends in Theoretical Computer Science, 2001
2000
Natural Data Mining Techniques.
Bull. EATCS, 2000
Proceedings of the Applied Computing 2000, 2000
Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, 2000
Proceedings of the 8th European Symposium on Artificial Neural Networks, 2000
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
1999
Inf. Comput., 1999
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999
Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999
Developing Object-based Distributed Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
Proceedings of the Coordination Languages and Models, Third International Conference, 1999
Proceedings of the 1999 Congress on Evolutionary Computation, 1999
1998
A software architecture for distributed control systems and its transition system semantics.
Proceedings of the 1998 ACM symposium on Applied Computing, 1998
Proceedings of the Mathematics of Program Construction, 1998
Maximum Likelihood Weights for a Linear Ensemble of Regression Neural Networks.
Proceedings of the Fifth International Conference on Neural Information Processing, 1998
1997
Int. J. Neural Syst., 1997
Int. J. Artif. Intell. Tools, 1997
Formal Aspects Comput., 1997
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
Feature Selection for Neural Networks through Functional Links Found by Evolutionary Computation.
Proceedings of the Advances in Intelligent Data Analysis, 1997
Combined Neural Network Models for Epidemiological Data: Modelling Heterogeneity and Reduction of Input Correlations.
Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms, 1997
Proceedings of the High-Performance Computing and Networking, 1997
Proceedings of the 5th Eurorean Symposium on Artificial Neural Networks, 1997
1996
Proceedings of the Parallel Problem Solving from Nature, 1996
Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996
Determining the number of dimensions underlying customer-choices with a competitive neural network.
Proceedings of International Conference on Neural Networks (ICNN'96), 1996
Proceedings of the 4th European Symposium on Artificial Neural Networks, 1996
1995
Theor. Comput. Sci., 1995
Proceedings of the Mathematics of Program Construction, 1995
Tracing the Behavior of Genetic Algorithms Using Expected Values of Bit and Walsh Products.
Proceedings of the 6th International Conference on Genetic Algorithms, 1995
Evolutionary Computation in Air Traffic Control Planning.
Proceedings of the 6th International Conference on Genetic Algorithms, 1995
Proceedings of the Artificial Neural Nets and Genetic Algorithms, 1995
Proceedings of the Advances in Artificial Life, 1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
1994
Formal Aspects Comput., 1994
Proceedings of the Theoretical Aspects of Computer Software, 1994
Progress for Local Variables in UNITY.
Proceedings of the Programming Concepts, 1994
Proceedings of the Parallel Problem Solving from Nature, 1994
Efficient Solution of Linear Systems for the Time Integration of 3-D Transport Models.
Proceedings of the Massively Parallel Processing Applications and Develompent, 1994
Proceedings of the 2nd European Symposium on Artificial Neural Networks, 1994
Proceedings of the Formal Systems Specification, 1994
1993
Inf. Process. Lett., 1993
Int. J. High Speed Comput., 1993
Non-monotonic Concurrent Constraint Programming.
Proceedings of the Logic Programming, 1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
Proceedings of the Second Israel Symposium on Theory of Computing Systems, 1993
Proceedings of the Information Processing in Medical Imaging, 1993
Proceedings of the 1st European Symposium on Artificial Neural Networks, 1993
1992
From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic.
Theor. Comput. Sci., 1992
Proceedings of the Sematics: Foundations and Applications, 1992
Proceedings of the Sematics: Foundations and Applications, 1992
Proceedings of the Sematics: Foundations and Applications, 1992
1991
Proceedings of the Theoretical Aspects of Computer Software, 1991
On the Semantics of Atomized Statements - the Parallel-Choice Option (Extended Abstract).
Proceedings of the Fundamentals of Computation Theory, 8th International Symposium, 1991
Proceedings of the CONCUR '91, 1991
1990
1989
Inf. Comput., November, 1989
Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989
An Iterative Metric Fully Abstract Semantics for Nondeterministic Dataflow (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989
Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses.
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989
Semantic Models for a Version of PARLOG.
Proceedings of the Logic Programming, 1989
1988
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988
Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
1987
1986
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986
Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986
1985
Proceedings of the Automata, 1985