| Publication | Date of Publication | Type |
|---|
| On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control | 2024-03-01 | Paper |
| On estimating derivatives of input signals in biochemistry | 2024-02-28 | Paper |
| A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics | 2024-01-05 | Paper |
| Algebraic biochemistry: a framework for analog online computation in cells | 2023-01-18 | Paper |
| Stability versus meta-stability in a skin microbiome model | 2023-01-18 | Paper |
| Graphical conditions for rate independence in chemical reaction networks | 2022-12-22 | Paper |
| On the complexity of quadratization for polynomial differential equations | 2022-12-22 | Paper |
| Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs | 2022-05-25 | Paper |
| On chemical reaction network design by a nested evolution algorithm | 2019-10-10 | Paper |
| Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data | 2019-07-25 | Paper |
| Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs | 2019-07-25 | Paper |
| Graphical requirements for multistationarity in reaction networks and their verification in BioModels | 2019-02-01 | Paper |
| On robustness computation and optimization in BIOCHAM-4 | 2018-10-17 | Paper |
| Influence systems vs reaction systems | 2018-03-22 | Paper |
| A hierarchy of semantics for normal constraint logic programs | 2017-01-19 | Paper |
| A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems | 2016-06-27 | Paper |
| On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity | 2016-04-20 | Paper |
| Inferring reaction systems from ordinary differential equations | 2015-09-29 | Paper |
| On the subgraph epimorphism problem | 2014-09-12 | Paper |
| Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures | 2011-06-28 | Paper |
| Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints | 2011-05-03 | Paper |
| Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming | 2011-04-01 | Paper |
| From Rules to Constraint Programs with the Rules2CP Modelling Language | 2009-08-06 | Paper |
| FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 2009-08-06 | Paper |
| Abstract interpretation and types for systems biology | 2009-01-15 | Paper |
| Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM | 2009-01-15 | Paper |
| On temporal logic constraint solving for analyzing numerical data time series | 2008-12-12 | Paper |
| From Reaction Models to Influence Graphs and Back: A Theorem | 2008-06-17 | Paper |
| Closures and Modules Within Linear Logic Concurrent Constraint Programming | 2008-04-24 | Paper |
| Model Revision from Temporal Logic Properties in Computational Systems Biology | 2008-03-28 | Paper |
| Modules for Prolog Revisited | 2008-03-11 | Paper |
| Abstract Critical Pairs and Confluence of Arbitrary Binary Relations | 2008-01-02 | Paper |
| Recent Advances in Constraints | 2007-05-02 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| A constraint programming approach to cutset problems | 2006-05-16 | Paper |
| Computational Methods in Systems Biology | 2005-12-23 | Paper |
| Computational Methods in Systems Biology | 2005-12-23 | Paper |
| Modeling and querying biomolecular interaction networks | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4812992 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472446 | 2004-08-04 | Paper |
| Typing constraint logic programs | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413225 | 2003-07-17 | Paper |
| Linear concurrent constraint programming: Operational and phase semantics | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944893 | 2000-03-22 | Paper |
| Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14.1] | 1999-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218945 | 1998-11-15 | Paper |
| Constructive negation by pruning | 1997-09-04 | Paper |
| Combining explicit negation and negation by failure via Belnap's logic | 1997-02-28 | Paper |
| Average-case analysis of unification algorithms | 1994-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035669 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3983046 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3805951 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3811746 | 1988-01-01 | Paper |
| Associative-commutative unification | 1987-01-01 | Paper |
| Complete sets of unifiers and matchers in equational theories | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3338216 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3335752 | 1983-01-01 | Paper |
