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:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
An ensemble of autonomous auto-encoders for human activity recognition.
Neurocomputing, 2021

2019
Online Clustering for Novelty Detection and Concept Drift in Data Streams.
Proceedings of the Progress in Artificial Intelligence, 2019

Ensemble Clustering for Novelty Detection in Data Streams.
Proceedings of the Discovery Science - 22nd International Conference, 2019

2017
Dynamic vehicle routing with time windows in theory and practice.
Nat. Comput., 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

Making Sense of Illustrated Handwritten Archives.
Proceedings of the 11th Annual International Conference of the Alliance of Digital Humanities Organizations, 2016

Action Systems for Pharmacokinetic Modeling.
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

Multicriteria Inventory Routing by Cooperative Swarms and Evolutionary Algorithms.
Proceedings of the Bioinspired Computation in Artificial Systems, 2015

2014
Meta-analysis of Disjoint Sets of Attributes in Large Cohort Studies.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Track Introduction: Scientific Workflows.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

ApiNATOMY: Towards Multiscale Views of Human Anatomy.
Proceedings of the Advances in Intelligent Data Analysis XIII, 2014

Template-based Treemaps to Preserve Spatial Constraints.
Proceedings of the 5th International Conference on Information Visualization Theory and Applications, 2014

2013
Ant Colony Algorithms for the Dynamic Vehicle Routing Problem with Time Windows.
Proceedings of the Natural and Artificial Computation in Engineering and Medical Applications, 2013

2012
Bioscientific Data Processing and Modeling.
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

Preface.
Fundam. Informaticae, 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

Tools in Scientific Workflow Composition.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Combining Subgroup Discovery and Permutation Testing to Reduce Reduncancy.
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
StReBio'09: statistical relational learning and mining in bioinformatics.
SIGKDD Explor., 2009

How to Do Recombination in Evolution Strategies: An Empirical Study.
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
Mining Patterns with a Balanced Interval
CoRR, 2007

Clustering with Lattices in the Analysis of Graph Patterns
CoRR, 2007

Clustering Co-occurrence of Maximal Frequent Patterns in Streams
CoRR, 2007

DNA computing of solutions to knapsack problems.
Biosyst., 2007

Visualization and Grouping of Graph Patterns in Molecular Databases.
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

Graphs, Hypergraphs, and Inductive Logic Programming.
Proceedings of the Mining and Learning with Graphs, 2007

Gaining Insights into Laser Pulse Shaping by Evolution Strategies.
Proceedings of the Bio-inspired Modeling of Cognitive Tasks, 2007

Clustering Improves the Exploration of Graph Mining Results.
Proceedings of the Artificial Intelligence and Innovations 2007: from Theory to Applications, 2007

Does SVM Really Scale Up to Large Bag of Words Feature Spaces?
Proceedings of the Advances in Intelligent Data Analysis VII, 2007

2006
TreeSOM: Cluster analysis in the self-organizing map.
Neural Networks, 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

Substructure Mining Using Elaborate Chemical Representation.
J. Chem. Inf. Model., 2006

Introduction.
Intell. Data Anal., 2006

Foundations on Coordination Languages and Software Architectures.
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

Towards a Framework for Knowledge Discovery.
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

Data Mining Approaches to Criminal Career Analysis.
Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 2006

2005
Evolutionary Algorithms in Drug Design.
Nat. Comput., 2005

Compositional Construction and Reasoning Techniques for Software.
J. Univers. Comput. Sci., 2005

Applications of spiking neural networks.
Inf. Process. Lett., 2005

Advances in Mining Graphs, Trees and Sequences.
Fundam. Informaticae, 2005

Frequent Subtree Mining - An Overview.
Fundam. Informaticae, 2005

Pyramidic Clustering of Large-Scale Microarray Images.
Comput. J., 2005

Multi-class Correlated Pattern Mining.
Proceedings of the Knowledge Discovery in Inductive Databases, 4th International Workshop, 2005

Towards Evolutionary DNA Computing.
Proceedings of the Mechanisms, 2005

Reliable Hierarchical Clustering with the Self-organizing Map.
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

Using data mining to improve mutation in a tool for molecular evolution.
Proceedings of the IEEE Congress on Evolutionary Computation, 2005

2004
Introduction.
Nat. Comput., 2004

The Gaston Tool for Frequent Subgraph Mining.
Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004

Frequent graph mining and its application to molecular databases.
Proceedings of the IEEE International Conference on Systems, 2004

Genetic Programming for data classification: partitioning the search space.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Detecting and Pruning Introns for Faster Decision Tree Evolution.
Proceedings of the Parallel Problem Solving from Nature, 2004

A quickstart in frequent structure mining can make a difference.
Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2004

Interaction and Coordination of Tools for Structured Data.
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
Comparing coordination models and architectures using embeddings.
Sci. Comput. Program., 2003

Infinite intersection types.
Inf. Comput., 2003

Efficient Frequent Query Discovery in FARMER.
Proceedings of the Knowledge Discovery in Databases: PKDD 2003, 2003

Combining and Comparing Cluster Methods in a Receptor Database.
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

Preface.
Theor. Comput. Sci., 2002

Error-backpropagation in temporally encoded networks of spiking neurons.
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

Modeling efficient conjunction detection with spiking neural networks.
Proceedings of the 10th Eurorean Symposium on Artificial Neural Networks, 2002

2001
Infinite Intersection and Union Types for the Lazy Lambda Calculus.
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

Nonmetric Multidimensional Scaling with Neural Networks.
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
Coordinating action systems.
Theor. Comput. Sci., 2000

Adaptive Information Filtering using Evolutionary Computation.
Inf. Sci., 2000

Natural Data Mining Techniques.
Bull. EATCS, 2000

An Adaptive Evolutionary Algorithm for the Satisfiability Problem.
Proceedings of the Applied Computing 2000, 2000

Unsupervised Classification of Complex Clusters in Networks of Spiking Neurons.
Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, 2000

SpikeProp: backpropagation for networks of spiking neurons.
Proceedings of the 8th European Symposium on Artificial Neural Networks, 2000

Coordination-Based Design of Distributed Systems.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999
Fourier Analysis of Genetic Algorithms.
Theor. Comput. Sci., 1999

Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems.
Inf. Comput., 1999

Comparing Coordination Models Based on Shared Distributed Replicated Data.
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Cluster Evolution Strategies for Constrained Numerical Optimization.
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

Comparing Software Architectures for Coordination Languages.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

Cross-fertilization between evolutionary computation and DNA-based computing.
Proceedings of the 1999 Congress on Evolutionary Computation, 1999

1998
Coordination in the ImpUNITY Framework.
Sci. Comput. Program., 1998

A software architecture for distributed control systems and its transition system semantics.
Proceedings of the 1998 ACM symposium on Applied Computing, 1998

An Approach to Object-Orientation in Action Systems.
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
Motion Planning with Complete Knowledge Using a Colored Som.
Int. J. Neural Syst., 1997

A Novel Search Technique for Solving Over-Constrained Problems.
Int. J. Artif. Intell. Tools, 1997

The Semantics of the Combination of Atomized Statements and Parallel Choice.
Formal Aspects Comput., 1997

Infinitary Domain Logic for Finitary Transition Systems.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Specifying Computations Using Hyper Transition Systems.
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

Domain Decomposition for an Implicit Shallow-Water Transport Solver.
Proceedings of the High-Performance Computing and Networking, 1997

Two neural network methods for multidimensional scaling.
Proceedings of the 5th Eurorean Symposium on Artificial Neural Networks, 1997

1996
Evolutionary Air Traffic Flow Management for Large 3D-problems.
Proceedings of the Parallel Problem Solving from Nature, 1996

Forward-Tracking: A Technique for Searching Beyond Failure.
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

Constraining of weights using regularities.
Proceedings of the 4th European Symposium on Artificial Neural Networks, 1996

1995
Duality Beyond Sober Spaces: Topological Spaces and Observation Frames.
Theor. Comput. Sci., 1995

ImpUNITY: UNITY with Procedures and Local Variables.
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

Adaptive Scaling of Codebook Vectors.
Proceedings of the Artificial Neural Nets and Genetic Algorithms, 1995

Orgy in the Computer: Multi-Parent Reproduction in Genetic Algorithms.
Proceedings of the Advances in Artificial Life, 1995

Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
Kohonen networks for multiscale image segmentation.
Image Vis. Comput., 1994

The Weakest Precondition Calculus: Recursion and Duality.
Formal Aspects Comput., 1994

Relating Multifunctions and Predicate Transformers through Closure Operators.
Proceedings of the Theoretical Aspects of Computer Software, 1994

Progress for Local Variables in UNITY.
Proceedings of the Programming Concepts, 1994

Genetic Improvement of Railway Timetables.
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

Model selection for neural networks: comparing MDL and NIC.
Proceedings of the 2nd European Symposium on Artificial Neural Networks, 1994

The RPC-Memory Specification Problem: UNITY+Refinement Calculus.
Proceedings of the Formal Systems Specification, 1994

1993
Unity Properties and Sequences of States, Some Observations.
Inf. Process. Lett., 1993

Traces, Histories and Streams in the Semantics of Nondeterministic Data Flow.
Int. J. High Speed Comput., 1993

Non-monotonic Concurrent Constraint Programming.
Proceedings of the Logic Programming, 1993

Isomorphisms between Predicates and State Transformers.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Divergence Models for Atomized Statements and Parallel Choice.
Proceedings of the Second Israel Symposium on Theory of Computing Systems, 1993

A Multiscale Approach to Image Segmentation Using Kohonen Networks.
Proceedings of the Information Processing in Medical Imaging, 1993

A lateral inhibition neural network that emulates a winner-takes-all algorithm.
Proceedings of the 1st European Symposium on Artificial Neural Networks, 1993

Two Fully Abstract Models for UNITY.
Proceedings of the CONCUR '93, 1993

1992
From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic.
Theor. Comput. Sci., 1992

On the Relation Between Unity Properties and Sequences of States.
Proceedings of the Sematics: Foundations and Applications, 1992

Semantics, Orderings and Recursion in the Weakest Precondition Calculus.
Proceedings of the Sematics: Foundations and Applications, 1992

On Blocks: Locality and Asynchronous Communication (Extended Abstract).
Proceedings of the Sematics: Foundations and Applications, 1992

1991
Semantic Models for Concurrent Logic Languages.
Theor. Comput. Sci., 1991

Towards a Complete Hierarchy of Compositional Dataflow Models.
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

The Failure of Failures in a Paradigm for Asynchronous Communication.
Proceedings of the CONCUR '91, 1991

1990
Contractions in Comparing Concurrency Semantics.
Theor. Comput. Sci., 1990

Comparative Metric Semantics for Concurrent Prolog.
Theor. Comput. Sci., 1990

1989
Denotational Semantics of a Parallel Object-Oriented Language
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

Comparing Two Fully Abstract Dataflow Models.
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
A Compositional Semantics for Concurrent Prolog.
Proceedings of the STACS 88, 1988

Contractions in Comparing Concurrent Semantics.
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
A Fully Abstract Semantics for Data Flow Nets.
Proceedings of the PARLE, 1987

1986
Operational Semantics of a Parallel Object-Oriented Language.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

Denotational Semantics of Nets with Nondeterminism.
Proceedings of the ESOP 86, 1986

Contrasting Themes in the Semantics of Imperative Concurrency.
Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1985
Towards a Uniform Topological Treatment of Streams and Functions on Streams.
Proceedings of the Automata, 1985


  Loading...