| * | 2009 |
|---|
| 130 | | 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 |
| 129 | EE | 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 |
| 2008 |
|---|
| 128 | EE | 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 |
| 127 | EE | 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 |
|---|
| 126 | | Joost N. Kok,
Jacek Koronacki,
Ramon 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
Springer 2007 |
| 125 | | Joost N. Kok,
Jacek Koronacki,
Ramon 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
Springer 2007 |
| 124 | EE | Edgar H. de Graaf,
Joost N. Kok,
Walter A. Kosters:
Clustering Improves the Exploration of Graph Mining Results.
AIAI 2007: 13-20 |
| 123 | EE | 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 |
| 122 | EE | 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 |
| 121 | EE | Hendrik Blockeel,
Tijn Witsenburg,
Joost N. Kok:
Graphs, Hypergraphs, and Inductive Logic Programming.
MLG 2007 |
| 120 | EE | Edgar H. de Graaf,
Joost N. Kok,
Walter A. Kosters:
Clustering Co-occurrence of Maximal Frequent Patterns in Streams
CoRR abs/0705.0588: (2007) |
| 119 | EE | Edgar H. de Graaf,
Joost N. Kok,
Walter A. Kosters:
Clustering with Lattices in the Analysis of Graph Patterns
CoRR abs/0705.0593: (2007) |
| 118 | EE | Edgar H. de Graaf,
Joost N. Kok,
Walter A. Kosters:
Mining Patterns with a Balanced Interval
CoRR abs/0705.1110: (2007) |
| 2006 |
|---|
| 117 | EE | 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 |
| 116 | EE | 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 |
| 115 | EE | A. Khedr,
Joost N. Kok:
Adopting Knowledge Discovery in Databases for Customer Relationship Management in Egyptian Public Banks.
IFIP PPAI 2006: 201-208 |
| 114 | EE | Jeroen S. de Bruin,
Joost N. Kok:
Towards a Framework for Knowledge Discovery.
IFIP PPAI 2006: 219-228 |
| 113 | EE | Antonio Brogi,
Jean-Marie Jacquet,
Joost N. Kok:
Foundations on Coordination Languages and Software Architectures.
Fundam. Inform. 73(4): (2006) |
| 112 | EE | Joost N. Kok,
José María Peña,
Arno Siebes:
Introduction.
Intell. Data Anal. 10(5): 395 (2006) |
| 111 | EE | 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.
Journal of Chemical Information and Modeling 46(2): 545-552 (2006) |
| 110 | EE | 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".
Journal of Chemical Information and Modeling 46(2): 553-562 (2006) |
| 109 | EE | Jeroen Kazius,
Siegfried Nijssen,
Joost N. Kok,
Thomas Bäck,
Adriaan P. IJzerman:
Substructure Mining Using Elaborate Chemical Representation.
Journal of Chemical Information and Modeling 46(2): 597-605 (2006) |
| 108 | EE | Stephen Swift,
Joost N. Kok,
Xiaohui Liu:
Learning short multivariate time series models through evolutionary and sparse matrix computation.
Natural Computing 5(4): 387-426 (2006) |
| 107 | EE | 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) |
| 2005 |
|---|
| 106 | | A. Fazel Famili,
Joost N. Kok,
José María Peña,
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
Springer 2005 |
| 105 | EE | 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 |
| 104 | EE | Eric-Wubbo Lameijer,
Adriaan P. IJzerman,
Joost N. Kok:
The molecule evoluator: an interactive evolutionary algorithm for designing drug molecules.
GECCO 2005: 1969-1976 |
| 103 | EE | Elena V. Samsonova,
Thomas Bäck,
Joost N. Kok,
Adriaan P. IJzerman:
Reliable Hierarchical Clustering with the Self-organizing Map.
IDA 2005: 385-396 |
| 102 | EE | Christian V. Henkel,
Joost N. Kok:
Towards Evolutionary DNA Computing.
IWINAC (1) 2005: 242-257 |
| 101 | EE | Siegfried Nijssen,
Joost N. Kok:
Multi-class Correlated Pattern Mining.
KDID 2005: 165-187 |
| 100 | EE | 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) |
| 99 | EE | Takashi Washio,
Luc De Raedt,
Joost N. Kok:
Advances in Mining Graphs, Trees and Sequences.
Fundam. Inform. 66(1-2): (2005) |
| 98 | EE | Yun Chi,
Richard R. Muntz,
Siegfried Nijssen,
Joost N. Kok:
Frequent Subtree Mining - An Overview.
Fundam. Inform. 66(1-2): 161-198 (2005) |
| 97 | EE | Sander M. Bohte,
Joost N. Kok:
Applications of spiking neural networks.
Inf. Process. Lett. 95(6): 519-520 (2005) |
| 96 | EE | Farhad Arbab,
Joost N. Kok:
Compositional Construction and Reasoning Techniques for Software.
J. UCS 11(10): 1577-1579 (2005) |
| 95 | EE | Eric-Wubbo Lameijer,
Thomas Bäck,
Joost N. Kok,
Adriaan P. IJzerman:
Evolutionary Algorithms in Drug Design.
Natural Computing 4(3): 177-243 (2005) |
| 2004 |
|---|
| 94 | | Siegfried Nijssen,
Joost N. Kok:
Ideal Refinement of Datalog Clauses Using Primary Keys.
ECAI 2004: 520-524 |
| 93 | EE | Farhad Arbab,
Joost N. Kok:
Interaction and Coordination of Tools for Structured Data.
ISoLA 2004: 1-8 |
| 92 | EE | Siegfried Nijssen,
Joost N. Kok:
A quickstart in frequent structure mining can make a difference.
KDD 2004: 647-652 |
| 91 | EE | Jeroen Eggermont,
Joost N. Kok,
Walter A. Kosters:
Detecting and Pruning Introns for Faster Decision Tree Evolution.
PPSN 2004: 1071-1080 |
| 90 | EE | Jeroen Eggermont,
Joost N. Kok,
Walter A. Kosters:
Genetic Programming for data classification: partitioning the search space.
SAC 2004: 1001-1005 |
| 89 | EE | Siegfried Nijssen,
Joost N. Kok:
Frequent graph mining and its application to molecular databases.
SMC (5) 2004: 4571-4577 |
| 88 | EE | Sander M. Bohte,
Michiel C. van Wezel,
Joost N. Kok:
Introduction.
Natural Computing 3(2): 133-134 (2004) |
| 2003 |
|---|
| 87 | EE | 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 |
| 86 | EE | Siegfried Nijssen,
Joost N. Kok:
Efficient Frequent Query Discovery in FARMER.
PKDD 2003: 350-362 |
| 85 | EE | Marcello M. Bonsangue,
Joost N. Kok:
Infinite intersection types.
Inf. Comput. 186(2): 285-318 (2003) |
| 84 | EE | Marcello M. Bonsangue,
Joost N. Kok,
Gianluigi Zavattaro:
Comparing coordination models and architectures using embeddings.
Sci. Comput. Program. 46(1-2): 31-69 (2003) |
| 2002 |
|---|
| 83 | | Sander M. Bohte,
Joost N. Kok,
Johannes A. La Poutré:
Modeling efficient conjunction detection with spiking neural networks.
ESANN 2002: 263-268 |
| 82 | EE | 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 |
| 81 | EE | Sander M. Bohte,
Joost N. Kok,
Johannes A. La Poutré:
Error-backpropagation in temporally encoded networks of spiking neurons.
Neurocomputing 48(1-4): 17-37 (2002) |
| 80 | | Grzegorz Rozenberg,
A. E. Eiben,
Joost N. Kok:
Preface.
Theor. Comput. Sci. 287(1): 1-2 (2002) |
| 2001 |
|---|
| 79 | EE | Michiel C. van Wezel,
Walter A. Kosters,
Peter van der Putten,
Joost N. Kok:
Nonmetric Multidimensional Scaling with Neural Networks.
IDA 2001: 145-155 |
| 78 | | Siegfried Nijssen,
Joost N. Kok:
Faster Association Rules for Multiple Relations.
IJCAI 2001: 891-896 |
| 77 | EE | Marcello M. Bonsangue,
Joost N. Kok:
Infinite Intersection and Union Types for the Lazy Lambda Calculus.
TACS 2001: 448-458 |
| 76 | | 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 |
| 75 | | Joost N. Kok,
Walter A. Kosters:
Natural Data Mining Techniques.
Current Trends in Theoretical Computer Science 2001: 603-613 |
| 2000 |
|---|
| 74 | EE | Joost N. Kok,
Kaisa Sere:
Coordination-Based Design of Distributed Systems.
COORDINATION 2000: 347-352 |
| 73 | EE | Sander M. Bohte,
Joost N. Kok,
Johannes A. La Poutré:
SpikeProp: backpropagation for networks of spiking neurons.
ESANN 2000: 419-424 |
| 72 | EE | Sander M. Bohte,
Johannes A. La Poutré,
Joost N. Kok:
Unsupervised Classification of Complex Clusters in Networks of Spiking Neurons.
IJCNN (3) 2000: 279-284 |
| 71 | | Claudio Rossi,
Elena Marchiori,
Joost N. Kok:
An Adaptive Evolutionary Algorithm for the Satisfiability Problem.
SAC (1) 2000: 463-469 |
| 70 | | Joost N. Kok,
Walter A. Kosters:
Natural Data Mining Techniques.
Bulletin of the EATCS 71: 133-142 (2000) |
| 69 | | Daniel R. Tauritz,
Joost N. Kok,
Ida G. Sprinkhuizen-Kuyper:
Adaptive Information Filtering using Evolutionary Computation.
Inf. Sci. 122(2-4): 121-140 (2000) |
| 68 | EE | Eric J. Hedman,
Joost N. Kok,
Kaisa Sere:
Coordinating action systems.
Theor. Comput. Sci. 240(1): 91-115 (2000) |
| 1999 |
|---|
| 67 | | 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
Springer 1999 |
| 66 | EE | Marcello M. Bonsangue,
Joost N. Kok,
Gianluigi Zavattaro:
Comparing Software Architectures for Coordination Languages.
COORDINATION 1999: 150-165 |
| 65 | | Marcello M. Bonsangue,
Joost N. Kok,
Kaisa Sere:
Developing Object-based Distributed Systems.
FMOODS 1999 |
| 64 | EE | Cees H. M. van Kemenade,
Joost N. Kok:
Cluster Evolution Strategies for Constrained Numerical Optimization.
ISMIS 1999: 630-638 |
| 63 | EE | Marcello M. Bonsangue,
Joost N. Kok:
Comparing Coordination Models Based on Shared Distributed Replicated Data.
SAC 1999: 156-165 |
| 62 | | 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) |
| 61 | EE | Walter A. Kosters,
Joost N. Kok,
Patrik Floréen:
Fourier Analysis of Genetic Algorithms.
Theor. Comput. Sci. 229(1): 143-175 (1999) |
| 1998 |
|---|
| 60 | | 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 |
| 59 | EE | Marcello M. Bonsangue,
Joost N. Kok,
Kaisa Sere:
An Approach to Object-Orientation in Action Systems.
MPC 1998: 68-95 |
| 58 | EE | 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 |
| 57 | | Henk Goeman,
Joost N. Kok,
Kaisa Sere,
Rob T. Udink:
Coordination in the ImpUNITY Framework.
Sci. Comput. Program. 31(2-3): 313-334 (1998) |
| 1997 |
|---|
| 56 | | Eric J. Hedman,
Joost N. Kok,
Kaisa Sere:
Coordinating Action Systems.
COORDINATION 1997: 302-319 |
| 55 | | Michiel C. van Wezel,
Joost N. Kok,
Walter A. Kosters:
Two neural network methods for multidimensional scaling.
ESANN 1997 |
| 54 | | Ben P. Sommeijer,
Joost N. Kok:
Domain Decomposition for an Implicit Shallow-Water Transport Solver.
HPCN Europe 1997: 379-388 |
| 53 | EE | 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 |
| 52 | EE | Marcello M. Bonsangue,
Joost N. Kok:
Specifying Computations Using Hyper Transition Systems.
MFCS 1997: 169-178 |
| 51 | | Marcello M. Bonsangue,
Joost N. Kok:
Infinitary Domain Logic for Finitary Transition Systems.
TACS 1997: 213-232 |
| 50 | | Peter M. W. Knijnenburg,
Joost N. Kok:
The Semantics of the Combination of Atomized Statements and Parallel Choice.
Formal Asp. Comput. 9(5-6): 518-536 (1997) |
| 49 | EE | 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) |
| 48 | EE | Elena Marchiori,
Massimo Marchiori,
Joost N. Kok:
A Novel Search Technique for Solving Over-Constrained Problems.
International Journal on Artificial Intelligence Tools 6(4): 587-611 (1997) |
| 1996 |
|---|
| 47 | | Henk Goeman,
Joost N. Kok,
Kaisa Sere,
Rob T. Udink:
Coordination in the ImpUNITY Framework.
COORDINATION 1996: 215-230 |
| 46 | | Elena Marchiori,
Massimo Marchiori,
Joost N. Kok:
Forward-Tracking: A Technique for Searching Beyond Failure.
ICTAI 1996: 324-331 |
| 45 | EE | 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 |
|---|
| 44 | EE | Marcello M. Bonsangue,
Joost N. Kok,
Erik P. de Vink:
Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency.
CONCUR 1995: 363-377 |
| 43 | | 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 |
| 42 | | Joost N. Kok,
Patrik Floréen:
Tracing the Behavior of Genetic Algorithms Using Expected Values of Bit and Walsh Products.
ICGA 1995: 201-208 |
| 41 | | 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 |
| 40 | | Rob T. Udink,
Joost N. Kok:
ImpUNITY: UNITY with Procedures and Local Variables.
MPC 1995: 452-472 |
| 39 | EE | 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) |
| 1994 |
|---|
| 38 | | Joost N. Kok:
Efficient Solution of Linear Systems for the Time Integration of 3-D Transport Models.
EUROSIM 1994: 79-86 |
| 37 | | Rob T. Udink,
Joost N. Kok:
The RPC-Memory Specification Problem: UNITY+Refinement Calculus.
Formal Systems Specification 1994: 521-540 |
| 36 | EE | Michiel C. van Wezel,
Joost N. Kok,
J. van den Berg,
W. van Kampen:
Genetic Improvement of Railway Timetables.
PPSN 1994: 566-575 |
| 35 | | Rob T. Udink,
Ted Herman,
Joost N. Kok:
Progress for Local Variables in UNITY.
PROCOMET 1994: 127-146 |
| 34 | | Marcello M. Bonsangue,
Joost N. Kok:
Relating Multifunctions and Predicate Transformers through Closure Operators.
TACS 1994: 822-843 |
| 33 | | Marcello M. Bonsangue,
Joost N. Kok:
The Weakest Precondition Calculus: Recursion and Duality
Formal Asp. Comput. 6(6A): 788-800 (1994) |
| 32 | EE | S. Haring,
Max A. Viergever,
Joost N. Kok:
Kohonen networks for multiscale image segmentation.
Image Vision Comput. 12(6): 339-344 (1994) |
| 1993 |
|---|
| 31 | EE | Rob T. Udink,
Joost N. Kok:
Two Fully Abstract Models for UNITY.
CONCUR 1993: 339-352 |
| 30 | | Frank S. de Boer,
Joost N. Kok,
Catuscia Palamidessi,
Jan J. M. M. Rutten:
Non-monotonic Concurrent Constraint Programming.
ILPS 1993: 315-334 |
| 29 | EE | S. Haring,
Max A. Viergever,
Joost N. Kok:
A Multiscale Approach to Image Segmentation Using Kohonen Networks.
IPMI 1993: 212-224 |
| 28 | | Joost N. Kok,
Peter M. W. Knijnenburg:
Divergence Models for Atomized Statements and Parallel Choice.
ISTCS 1993: 231-239 |
| 27 | EE | Marcello M. Bonsangue,
Joost N. Kok:
Isomorphisms between Predicates and State Transformers.
MFCS 1993: 301-310 |
| 26 | | Rob T. Udink,
Joost N. Kok:
Unity Properties and Sequences of States, Some Observations.
Inf. Process. Lett. 47(6): 307-311 (1993) |
| 25 | EE | Joost N. Kok:
Traces, Histories and Streams in the Semantics of Nondeterministic Data Flow.
International Journal of High Speed Computing 5(2): 225-242 (1993) |
| 1992 |
|---|
| 24 | EE | Rob T. Udink,
Joost N. Kok:
On the Relation Between Unity Properties and Sequences of States.
REX Workshop 1992: 594-608 |
| 23 | EE | 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 |
| 22 | EE | Marcello M. Bonsangue,
Joost N. Kok:
Semantics, Orderings and Recursion in the Weakest Precondition Calculus.
REX Workshop 1992: 91-109 |
| 21 | | 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) |
| 1991 |
|---|
| 20 | EE | 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 |
| 19 | | Peter M. W. Knijnenburg,
Joost N. Kok:
On the Semantics of Atomized Statements - the Parallel-Choice Option (Extended Abstract).
FCT 1991: 297-306 |
| 18 | | Bengt Jonsson,
Joost N. Kok:
Towards a Complete Hierarchy of Compositional Dataflow Models.
TACS 1991: 204-225 |
| 17 | | 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) |
| 1990 |
|---|
| 16 | | J. W. de Bakker,
Joost N. Kok:
Comparative Metric Semantics for Concurrent Prolog.
Theor. Comput. Sci. 75(1&2): 14-43 (1990) |
| 15 | | Joost N. Kok,
Jan J. M. M. Rutten:
Contractions in Comparing Concurrency Semantics.
Theor. Comput. Sci. 76(2-3): 179-222 (1990) |
| 1989 |
|---|
| 14 | | 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 |
| 13 | EE | 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 |
| 12 | EE | Joost N. Kok:
An Iterative Metric Fully Abstract Semantics for Nondeterministic Dataflow (Extended Abstract).
MFCS 1989: 321-330 |
| 11 | EE | Bengt Jonsson,
Joost N. Kok:
Comparing Two Fully Abstract Dataflow Models.
PARLE (2) 1989: 217-234 |
| 10 | EE | Joost N. Kok:
Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog.
REX Workshop 1989: 401-413 |
| 9 | | 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) |
| 1988 |
|---|
| 8 | | J. W. de Bakker,
Joost N. Kok:
Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog.
FGCS 1988: 347-355 |
| 7 | EE | Joost N. Kok,
Jan J. M. M. Rutten:
Contractions in Comparing Concurrent Semantics.
ICALP 1988: 317-332 |
| 6 | EE | Joost N. Kok:
A Compositional Semantics for Concurrent Prolog.
STACS 1988: 373-388 |
| 1987 |
|---|
| 5 | EE | Joost N. Kok:
A Fully Abstract Semantics for Data Flow Nets.
PARLE (2) 1987: 351-368 |
| 1986 |
|---|
| 4 | EE | Joost N. Kok:
Denotational Semantics of Nets with Nondeterminism.
ESOP 1986: 237-249 |
| 3 | | 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 |
| 2 | | 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 |
|---|
| 1 | EE | J. W. de Bakker,
Joost N. Kok:
Towards a Uniform Topological Treatment of Streams and Functions on Streams.
ICALP 1985: 140-148 |
