Alexander Bockmayr

Bioinform., 2019

Hybrid Modeling of Metabolic-Regulatory Networks (Extended Abstract).

[BibT_eX]

[DOI]

Lin Liu

Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019

2018

Erratum to: Computing maximal and minimal trap spaces of Boolean networks.

[BibT_eX]

[DOI]

Nat. Comput., 2018

2017

A mixed-integer linear programming approach to the reduction of genome-scale metabolic networks.

[BibT_eX]

[DOI]

Annika Röhl

BMC Bioinform., 2017

2015

Computing maximal and minimal trap spaces of Boolean networks.

[BibT_eX]

[DOI]

Nat. Comput., 2015

Double and multiple knockout simulations for genome-scale metabolic network reconstructions.

[BibT_eX]

[DOI]

Yaron A. B. Goldstein

Algorithms Mol. Biol., 2015

2014

Computing Elementary Flux Modes Involving a Set of Target Reactions.

[BibT_eX]

[DOI]

László Dávid

IEEE ACM Trans. Comput. Biol. Bioinform., 2014

Computing Symbolic Steady States of Boolean Networks.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2014

2013

Preservation of dynamic properties in qualitative modeling frameworks for gene regulatory networks.

[BibT_eX]

[DOI]

Shahrad Jamshidi

Biosyst., 2013

Fast thermodynamically constrained flux variability analysis.

[BibT_eX]

[DOI]

Arne C. Müller

Bioinform., 2013

A Lattice-Theoretic Framework for Metabolic Pathway Analysis.

[BibT_eX]

[DOI]

Yaron A. B. Goldstein

Proceedings of the Computational Methods in Systems Biology, 2013

Bio-Logics: Logical Analysis of Bioregulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012

Time Series Dependent Analysis of Unparametrized Thomas Networks.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2012

F2C2: a fast tool for the computation of flux coupling in genome-scale metabolic networks.

[BibT_eX]

[DOI]

BMC Bioinform., 2012

Analysis of Metabolic Subnetworks by Flux Cone Projection.

[BibT_eX]

[DOI]

Sayed-Amir Marashi

László Dávid

Algorithms Mol. Biol., 2012

Comparing Discrete and Piecewise Affine Differential Equation Models of Gene Regulatory Networks.

[BibT_eX]

[DOI]

Shahrad Jamshidi

Proceedings of the Information Processign in Cells and Tissues, 2012

2011

FFCA: a feasibility-based method for flux coupling analysis of metabolic networks.

[BibT_eX]

[DOI]

BMC Bioinform., 2011

Flux coupling analysis of metabolic networks is sensitive to missing reactions.

[BibT_eX]

[DOI]

Sayed-Amir Marashi

Biosyst., 2011

Exploring metabolic pathways in genome-scale networks via generating flux modes.

[BibT_eX]

[DOI]

Alberto Rezola

Luis F. de Figueiredo

Bioinform., 2011

Parameter inference for asynchronous logical networks using discrete time series.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

2010

Geometric Constraints for the Phase Problem in X-Ray Crystallography.

[BibT_eX]

[DOI]

Corinna Heldt

Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010

Constraint-Based Modeling in Systems Biology.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010

2009

A new constraint-based description of the steady-state flux cone of metabolic networks.

[BibT_eX]

[DOI]

Abdelhalim Larhlimi

Discret. Appl. Math., 2009

Logic-Based Modeling in Systems Biology.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Temporal constraints in the logical analysis of regulatory networks.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network.

[BibT_eX]

[DOI]

Abdelhalim Larhlimi

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007

Context Sensitivity in Logical Modeling with Time Delays.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

Detecting infeasibility and generating cuts for mixed integer programming using constraint programming.

[BibT_eX]

[DOI]

Nicolai Pisaruk

Comput. Oper. Res., 2006

A New Approach to Flux Coupling Analysis of Metabolic Networks.

[BibT_eX]

[DOI]

Abdelhalim Larhlimi

Proceedings of the Computational Life Sciences II, 2006

Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2004

A multi-scale constraint programming model of alternative splicing regulation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

On unions and dominants of polytopes.

[BibT_eX]

[DOI]

Math. Program., 2004

Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003

Constraint Programming in Computational Molecular Biology.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2003

Multiscale Modeling of Alternative Splicing Regulation.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides.

[BibT_eX]

Arnaud Courtois

Proceedings of the Programmation en logique avec contraintes, 2002

Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems.

[BibT_eX]

[DOI]

Arnaud Courtois

Proceedings of the Logic Programming, 18th International Conference, 2002

SCIL - Symbolic Constraints in Integer Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the Algorithms, 2002

2001

Cutting Planes and the Elementary Closure in Fixed Dimension.

[BibT_eX]

[DOI]

Friedrich Eisenbrand

Math. Oper. Res., 2001

Solving Assembly Line Balancing Problems by Combining IP and CP

[BibT_eX]

[DOI]

Nicolai Pisaruk

CoRR, 2001

Network Flow Problems in Constraint Programming.

[BibT_eX]

[DOI]

Nicolai Pisaruk

Abderrahmane Aggoun

Proceedings of the Principles and Practice of Constraint Programming, 2001

Solving Numerical Constraints.

[BibT_eX]

[DOI]

Volker Weispfenning

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Combining Logic and Optimization in Cutting Plane Theory.

[BibT_eX]

[DOI]

Friedrich Eisenbrand

Proceedings of the Frontiers of Combining Systems, 2000

1999

On the Chvátal Rank of Polytopes in the 0/1 Cube.

[BibT_eX]

[DOI]

Discret. Appl. Math., 1999

Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming.

[BibT_eX]

Thomas Kasper

Proceedings of the JFPLC'99, 1999

Integer Programs and Valid Inequalities for Planning Problems.

[BibT_eX]

[DOI]

Yannis Dimopoulos

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

1998

How to Realize LSE Narrowing.

[BibT_eX]

[DOI]

New Gener. Comput., 1998

Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming.

[BibT_eX]

[DOI]

Thomas Kasper

INFORMS J. Comput., 1998

Modelling discrete optimisation problems inconstraint logic programming.

[BibT_eX]

[DOI]

Peter Barth

Ann. Oper. Res., 1998

1995

Narrowing Strategies for Arbitrary Canonical Rewrite Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1995

Finite Domain and Cutting Plane Techniques in CLP(PB).

[BibT_eX]

Peter Barth

Proceedings of the Logic Programming, 1995

1994

Solving Pseudo-Boolean Constraints

[BibT_eX]

[DOI]

Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

Global Consistency in CLP(PB).

[BibT_eX]

Peter Barth

Proceedings of the Tenth Logic Programming Workshop, 1994

LSE Narrowing for Decreasing Conditional Term Rewrite Systems.

[BibT_eX]

[DOI]

Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

1993

Conditional Narrowing Modulo a Set of Equations.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 1993

A Concept for the Implementation of LSE Narrowing.

[BibT_eX]

Proceedings of the 9. Workshop Logische Programmierung, 1993

Künstliche Intelligenz und Operations Research.

[BibT_eX]

Franz Josef Radermacher

Proceedings of the Grundlagen und Anwendungen der Künstlichen Intelligenz, 1993

1992

An Optimal Narrowing Strategy for General Canonical Systems.

[BibT_eX]

[DOI]

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991

KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung.

[BibT_eX]

Inform. Forsch. Entwickl., 1991

Logic Programming with Pseudo-Boolean Constraints.

[BibT_eX]

Proceedings of the Constraint Logic Programming, 1991

Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1990

Beiträge zur Theorie des logisch-funktionalen Programmierens.

[BibT_eX]

[DOI]

PhD thesis, 1990

Model-Theoretic Aspects of Unification.

[BibT_eX]

[DOI]

Proceedings of the Word Equations and Related Topics, First International Workshop, 1990

Algebraic and Logic Aspects of Unification.

[BibT_eX]

[DOI]

Proceedings of the Word Equations and Related Topics, First International Workshop, 1990

1989

Ein Konstanzer Prolog-Workshop.

[BibT_eX]

Künstliche Intell., 1989

Bericht über den Workshop TEGA - Terersetzung: Grundlagen und Anwendung.

[BibT_eX]

Christoph Brzoska

Künstliche Intell., 1989

1988

Narrowing with Built-In Theories.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 1988

1987

A Note on a Canonical Theory with Undecidable Unification and Matching Problem.

[BibT_eX]

[DOI]