| Publication | Date of Publication | Type |
|---|
| Towards a complete hierarchy of compositional dataflow models | 2022-08-16 | Paper |
| Dynamic vehicle routing with time windows in theory and practice | 2019-07-10 | Paper |
| Applications of spiking neural networks | 2009-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3619292 | 2009-04-03 | Paper |
| Knowledge Discovery in Inductive Databases | 2007-05-02 | Paper |
| Learning short multivariate time series models through evolutionary and sparse matrix computation | 2007-01-25 | Paper |
| Advances in Intelligent Data Analysis VI | 2006-11-01 | Paper |
| TreeSOM: cluster analysis in the self-organizing map | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472871 | 2006-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714453 | 2006-01-02 | Paper |
| Infinite intersection types | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4444477 | 2004-01-27 | Paper |
| Comparing coordination models and architectures using embeddings | 2003-05-14 | Paper |
| Adaptive information filtering using evolutionary computation | 2003-01-23 | Paper |
| Toward an infinitary logic of domains: Abramsky logic for transition systems | 2003-01-14 | Paper |
| Error-backpropagation in temporally encoded networks of spiking neurons | 2003-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503830 | 2001-09-04 | Paper |
| Coordinating action systems | 2001-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790412 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790414 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490763 | 2000-07-20 | Paper |
| Fourier analysis of genetic algorithms | 2000-06-04 | Paper |
| Coordination in the ImpUNITY framework | 2000-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699293 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251097 | 1999-06-17 | Paper |
| The semantics of the combination of atomized statements and parallel choice | 1999-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364389 | 1997-11-17 | Paper |
| Duality beyond sober spaces: Topological spaces and observation frames | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858578 | 1995-12-17 | Paper |
| The weakest precondition calculus: Recursion and duality | 1995-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4288291 | 1994-04-19 | Paper |
| Unity properties and sequences of states, some observations | 1994-03-20 | Paper |
| From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic | 1992-09-27 | Paper |
| Semantic models for concurrent logic languages | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975139 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975156 | 1992-06-26 | Paper |
| Comparative metric semantics for concurrent PROLOG | 1990-01-01 | Paper |
| Contractions in comparing concurrency semantics | 1990-01-01 | Paper |
| Denotational semantics of a parallel object-oriented language | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787443 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795188 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4723281 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3713578 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745260 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681901 | 1985-01-01 | Paper |
