| Publication | Date of Publication | Type |
|---|
Erratum to: ``Computing maximal and minimal trap spaces of Boolean networks
Natural Computing | 2023-11-30 | Paper |
On the geometry of elementary flux modes
Journal of Mathematical Biology | 2023-09-15 | Paper |
Model-theoretic aspects of unification
Word Equations and Related Topics | 2023-08-14 | Paper |
Algebraic and logical aspects of unification
Word Equations and Related Topics | 2023-08-14 | Paper |
An optimal narrowing strategy for general canonical systems
Conditional Term Rewriting Systems | 2023-03-09 | Paper |
Detecting redundant narrowing derivations by the LSE-SL reducibility test
Rewriting Techniques and Applications | 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
Journal of Theoretical Biology | 2021-01-13 | Paper |
Finding MEMo: minimum sets of elementary flux modes
Journal of Mathematical Biology | 2019-10-22 | Paper |
Computing maximal and minimal trap spaces of Boolean networks
Natural Computing | 2019-07-08 | Paper |
Direct phasing by binary integer programming
Acta Crystallographica Section A Foundations of Crystallography | 2017-09-22 | Paper |
On flux coupling analysis of metabolic subsystems
Journal of Theoretical Biology | 2015-11-11 | Paper |
Dynamic optimization of metabolic networks coupled with gene expression
Journal of Theoretical Biology | 2015-06-23 | Paper |
Dynamic optimization of metabolic networks coupled with gene expression
Journal of Theoretical Biology | 2015-06-23 | Paper |
Generic flux coupling analysis
Mathematical Biosciences | 2015-05-15 | Paper |
Flux modules in metabolic networks
Journal of Mathematical Biology | 2014-11-13 | Paper |
Analysis and characterization of asynchronous state transition graphs using extremal states
Bulletin of Mathematical Biology | 2013-10-11 | Paper |
Bio-logics: logical analysis of bioregulatory networks
Programming Logics | 2013-04-19 | Paper |
A new constraint-based description of the steady-state flux cone of metabolic networks
Discrete Applied Mathematics | 2009-06-24 | Paper |
Temporal constraints in the logical analysis of regulatory networks
Theoretical Computer Science | 2008-03-06 | Paper |
Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks
Algebraic Biology | 2007-11-29 | Paper |
Constraint Programming
Discrete Optimization | 2007-06-19 | Paper |
Detecting infeasibility and generating cuts for mixed integer programming using constraint programming
Computers & Operations Research | 2006-05-16 | Paper |
Computational Methods in Systems Biology
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Cutting Planes and the Elementary Closure in Fixed Dimension
Mathematics of Operations Research | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2159466 (Why is no real title available?) | 2005-04-19 | Paper |
A multi-scale constraint programming model of alternative splicing regulation
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2090521 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2084706 (Why is no real title available?) | 2004-08-09 | Paper |
On unions and dominants of polytopes
Mathematical Programming. Series A. Series B | 2004-07-01 | Paper |
| scientific article; zbMATH DE number 1950550 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1947383 (Why is no real title available?) | 2003-07-08 | Paper |
| Solving numerical constraints | 2002-08-27 | Paper |
| scientific article; zbMATH DE number 1761888 (Why is no real title available?) | 2002-07-01 | Paper |
On the Chvátal rank of polytopes in the 0/1 cube
Discrete Applied Mathematics | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1538005 (Why is no real title available?) | 2000-12-03 | Paper |
| scientific article; zbMATH DE number 1406243 (Why is no real title available?) | 2000-02-23 | Paper |
Modelling discrete optimisation problems in constraint logic programming
Annals of Operations Research | 1998-11-08 | Paper |
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
INFORMS Journal on Computing | 1998-01-01 | Paper |
| scientific article; zbMATH DE number 794242 (Why is no real title available?) | 1996-06-10 | Paper |
Conditional narrowing modulo a set of equations
Applicable Algebra in Engineering, Communication and Computing | 1993-08-31 | Paper |
| scientific article; zbMATH DE number 4164122 (Why is no real title available?) | 1989-01-01 | Paper |
A note on a canonical theory with undecidable unification and matching problem
Journal of Automated Reasoning | 1987-01-01 | Paper |
