| Publication | Date of Publication | Type |
|---|
| Erratum to: ``Computing maximal and minimal trap spaces of Boolean networks | 2023-11-30 | Paper |
| On the geometry of elementary flux modes | 2023-09-15 | Paper |
| Model-theoretic aspects of unification | 2023-08-14 | Paper |
| Algebraic and logical aspects of unification | 2023-08-14 | Paper |
| An optimal narrowing strategy for general canonical systems | 2023-03-09 | Paper |
| Detecting redundant narrowing derivations by the LSE-SL reducibility test | 2022-12-09 | Paper |
| Learning Boolean controls in regulated metabolic networks: a case-study | 2022-05-25 | Paper |
| Regulatory dynamic enzyme-cost flux balance analysis: a unifying framework for constraint-based modeling | 2021-01-13 | Paper |
| Finding MEMo: minimum sets of elementary flux modes | 2019-10-22 | Paper |
| Computing maximal and minimal trap spaces of Boolean networks | 2019-07-08 | Paper |
| Direct phasing by binary integer programming | 2017-09-22 | Paper |
| On flux coupling analysis of metabolic subsystems | 2015-11-11 | Paper |
| Dynamic optimization of metabolic networks coupled with gene expression | 2015-06-23 | Paper |
| Generic flux coupling analysis | 2015-05-15 | Paper |
| Flux modules in metabolic networks | 2014-11-13 | Paper |
| Analysis and characterization of asynchronous state transition graphs using extremal states | 2013-10-11 | Paper |
| Bio-logics: logical analysis of bioregulatory networks | 2013-04-19 | Paper |
| A new constraint-based description of the steady-state flux cone of metabolic networks | 2009-06-24 | Paper |
| Temporal constraints in the logical analysis of regulatory networks | 2008-03-06 | Paper |
| Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks | 2007-11-29 | Paper |
| Constraint Programming | 2007-06-19 | Paper |
| Detecting infeasibility and generating cuts for mixed integer programming using constraint programming | 2006-05-16 | Paper |
| Computational Methods in Systems Biology | 2005-12-23 | Paper |
| Cutting Planes and the Elementary Closure in Fixed Dimension | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4667437 | 2005-04-19 | Paper |
| A multi-scale constraint programming model of alternative splicing regulation | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809158 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475632 | 2004-08-09 | Paper |
| On unions and dominants of polytopes | 2004-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413207 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411347 | 2003-07-08 | Paper |
| Solving numerical constraints | 2002-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537507 | 2002-07-01 | Paper |
| On the Chvátal rank of polytopes in the 0/1 cube | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518860 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939281 | 2000-02-23 | Paper |
| Modelling discrete optimisation problems in constraint logic programming | 1998-11-08 | Paper |
| Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming | 1998-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4847002 | 1996-06-10 | Paper |
| Conditional narrowing modulo a set of equations | 1993-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490928 | 1989-01-01 | Paper |
| A note on a canonical theory with undecidable unification and matching problem | 1987-01-01 | Paper |
