| Publication | Date of Publication | Type |
|---|
Towards a complete hierarchy of compositional dataflow models
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Dynamic vehicle routing with time windows in theory and practice
Natural Computing | 2019-07-10 | Paper |
Applications of spiking neural networks
Information Processing Letters | 2009-12-18 | Paper |
| Mining balanced patterns in web access data | 2009-04-03 | Paper |
Knowledge Discovery in Inductive Databases
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Learning short multivariate time series models through evolutionary and sparse matrix computation
Natural Computing | 2007-01-25 | Paper |
Advances in Intelligent Data Analysis VI
Lecture Notes in Computer Science | 2006-11-01 | Paper |
TreeSOM: cluster analysis in the self-organizing map
Neural Networks | 2006-10-10 | Paper |
| Frequent subtree mining -- an overview | 2006-06-19 | Paper |
| scientific article; zbMATH DE number 2242600 (Why is no real title available?) | 2006-01-02 | Paper |
Infinite intersection types
Information and Computation | 2004-11-23 | Paper |
| scientific article; zbMATH DE number 2033329 (Why is no real title available?) | 2004-01-27 | Paper |
Comparing coordination models and architectures using embeddings
Science of Computer Programming | 2003-05-14 | Paper |
Adaptive information filtering using evolutionary computation
Information Sciences | 2003-01-23 | Paper |
Toward an infinitary logic of domains: Abramsky logic for transition systems
Information and Computation | 2003-01-14 | Paper |
Error-backpropagation in temporally encoded networks of spiking neurons
Neurocomputing | 2003-01-09 | Paper |
| scientific article; zbMATH DE number 1507042 (Why is no real title available?) | 2001-09-04 | Paper |
Coordinating action systems
Theoretical Computer Science | 2001-01-23 | Paper |
| scientific article; zbMATH DE number 1860684 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1860686 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1479646 (Why is no real title available?) | 2000-07-20 | Paper |
Fourier analysis of genetic algorithms
Theoretical Computer Science | 2000-06-04 | Paper |
Coordination in the ImpUNITY framework
Science of Computer Programming | 2000-02-15 | Paper |
| scientific article; zbMATH DE number 1361475 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1304365 (Why is no real title available?) | 1999-06-17 | Paper |
The semantics of the combination of atomized statements and parallel choice
Formal Aspects of Computing | 1999-01-26 | Paper |
| scientific article; zbMATH DE number 1088041 (Why is no real title available?) | 1997-11-17 | Paper |
Duality beyond sober spaces: Topological spaces and observation frames
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 826300 (Why is no real title available?) | 1995-12-17 | Paper |
The weakest precondition calculus: Recursion and duality
Formal Aspects of Computing | 1995-04-09 | Paper |
| scientific article; zbMATH DE number 554489 (Why is no real title available?) | 1994-04-19 | Paper |
Unity properties and sequences of states, some observations
Information Processing Letters | 1994-03-20 | Paper |
From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
Theoretical Computer Science | 1992-09-27 | Paper |
Semantic models for concurrent logic languages
Theoretical Computer Science | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 17798 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 17812 (Why is no real title available?) | 1992-06-26 | Paper |
Comparative metric semantics for concurrent PROLOG
Theoretical Computer Science | 1990-01-01 | Paper |
Contractions in comparing concurrency semantics
Theoretical Computer Science | 1990-01-01 | Paper |
Denotational semantics of a parallel object-oriented language
Information and Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4050951 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4060684 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3997145 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3943004 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3980464 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3903936 (Why is no real title available?) | 1985-01-01 | Paper |
