Alexander Bockmayr

Arne C. Müller, Alexander Bockmayr: Fast thermodynamically constrained flux variability analysis. Bioinformatics 29(7): 903-909 (2013)

Sayed-Amir Marashi, László Dávid, Alexander Bockmayr: Analysis of Metabolic Subnetworks by Flux Cone Projection. Algorithms for Molecular Biology 7: 17 (2012)

Abdelhalim Larhlimi, László Dávid, Joachim Selbig, Alexander Bockmayr: F2C2: a fast tool for the computation of flux coupling in genome-scale metabolic networks. BMC Bioinformatics 13: 57 (2012)

Hannes Klarner, Heike Siebert, Alexander Bockmayr: Time Series Dependent Analysis of Unparametrized Thomas Networks. IEEE/ACM Trans. Comput. Biology Bioinform. 9(5): 1338-1351 (2012)

Shahrad Jamshidi, Heike Siebert, Alexander Bockmayr: Comparing Discrete and Piecewise Affine Differential Equation Models of Gene Regulatory Networks. IPCAT 2012: 17-24

Alberto Rezola, Luis F. de Figueiredo, M. Brock, Jon Pey, Adam Podhorski, Christoph Wittmann, Stefan Schuster, Alexander Bockmayr, Francisco J. Planes: Exploring metabolic pathways in genome-scale networks via generating flux modes. Bioinformatics 27(4): 534-540 (2011)

Sayed-Amir Marashi, Alexander Bockmayr: Flux coupling analysis of metabolic networks is sensitive to missing reactions. Biosystems 103(1): 57-66 (2011)

László Dávid, Sayed-Amir Marashi, Abdelhalim Larhlimi, Bettina Mieth, Alexander Bockmayr: FFCA: a feasibility-based method for flux coupling analysis of metabolic networks. BMC Bioinformatics 12: 236 (2011)

Hannes Klarner, Heike Siebert, Alexander Bockmayr: Parameter inference for asynchronous logical networks using discrete time series. CMSB 2011: 121-130

Abdelhalim Larhlimi, Alexander Bockmayr: A new constraint-based description of the steady-state flux cone of metabolic networks. Discrete Applied Mathematics 157(10): 2257-2266 (2009)

Alexander Bockmayr: Logic-Based Modeling in Systems Biology. LPNMR 2009: 2

Heike Siebert, Alexander Bockmayr: Temporal constraints in the logical analysis of regulatory networks. Theor. Comput. Sci. 391(3): 258-275 (2008)

Abdelhalim Larhlimi, Alexander Bockmayr: On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network. CMSB 2008: 308-327

Heike Siebert, Alexander Bockmayr: Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks. AB 2007: 36-50

Heike Siebert, Alexander Bockmayr: Context Sensitivity in Logical Modeling with Time Delays. CMSB 2007: 64-79

Alexander Bockmayr, Nicolai Pisaruk: Detecting infeasibility and generating cuts for mixed integer programming using constraint programming. Computers & OR 33(10): 2777-2786 (2006)

Heike Siebert, Alexander Bockmayr: Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks. CMSB 2006: 169-183

Abdelhalim Larhlimi, Alexander Bockmayr: A New Approach to Flux Coupling Analysis of Metabolic Networks. CompLife 2006: 205-215

Egon Balas, Alexander Bockmayr, Nicolai Pisaruk, Laurence A. Wolsey: On unions and dominants of polytopes. Math. Program. 99(2): 223-239 (2004)

Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr: A multi-scale constraint programming model of alternative splicing regulation. Theor. Comput. Sci. 325(1): 3-24 (2004)

Alexander Bockmayr, Arnaud Courtois, Damien Eveillard, M. Vezain: Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing. CMSB 2004: 43-57

Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr: Multiscale Modeling of Alternative Splicing Regulation. CMSB 2003: 75-87

Alexander Bockmayr: Constraint Programming in Computational Molecular Biology. EPIA 2003: 1

Ernst Althaus, Alexander Bockmayr, Matthias Elf, Michael Jünger, Thomas Kasper, Kurt Mehlhorn: SCIL - Symbolic Constraints in Integer Linear Programming. ESA 2002: 75-87

Alexander Bockmayr, Arnaud Courtois: Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems. ICLP 2002: 85-99

Alexander Bockmayr, Arnaud Courtois: Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides. JFPLC 2002: 167-

Alexander Bockmayr, Friedrich Eisenbrand: Cutting Planes and the Elementary Closure in Fixed Dimension. Math. Oper. Res. 26(2): 304-312 (2001)

Alexander Bockmayr, Volker Weispfenning: Solving Numerical Constraints. Handbook of Automated Reasoning 2001: 751-842

Alexander Bockmayr, Nicolai Pisaruk, Abderrahmane Aggoun: Network Flow Problems in Constraint Programming. CP 2001: 196-210

Alexander Bockmayr, Nicolai Pisaruk: Solving Assembly Line Balancing Problems by Combining IP and CP. CoRR cs.DM/0106002 (2001)

Alexander Bockmayr, Friedrich Eisenbrand: Combining Logic and Optimization in Cutting Plane Theory. FroCoS 2000: 1-17

Alexander Bockmayr, Friedrich Eisenbrand, Mark E. Hartmann, Andreas S. Schulz: On the Chvátal Rank of Polytopes in the 0/1 Cube. Discrete Applied Mathematics 98(1-2): 21-27 (1999)

Alexander Bockmayr, Yannis Dimopoulos: Integer Programs and Valid Inequalities for Planning Problems. ECP 1999: 239-251

Alexander Bockmayr, Thomas Kasper: Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. JFPLC 1999: 141-142

Alexander Bockmayr, Thomas Kasper: Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming. INFORMS Journal on Computing 10(3): 287-300 (1998)

Andreas Werner, Alexander Bockmayr, Stefan Krischer: How to Realize LSE Narrowing. New Generation Comput. 16(4): 397-434 (1998)

Alexander Bockmayr, Stefan Krischer, Andreas Werner: Narrowing Strategies for Arbitrary Canonical Rewrite Systems. Fundam. Inform. 24(1/2): 125-155 (1995)

Peter Barth, Alexander Bockmayr: Finite Domain and Cutting Plane Techniques in CLP(PB). ICLP 1995: 133-147

Andreas Werner, Alexander Bockmayr, Stefan Krischer: How to Realize LSE Narrowing. ALP 1994: 59-76

Alexander Bockmayr, Andreas Werner: LSE Narrowing for Decreasing Conditional Term Rewrite Systems. CTRS 1994: 51-70

Peter Barth, Alexander Bockmayr: Global Consistency in CLP(PB). WLP 1994: 130-133

Alexander Bockmayr: Solving Pseudo-Boolean Constraints. Constraint Programming 1994: 22-38

Alexander Bockmayr: Conditional Narrowing Modulo a Set of Equations. Appl. Algebra Eng. Commun. Comput. 4: 147-168 (1993)

Alexander Bockmayr, Franz Josef Radermacher: Künstliche Intelligenz und Operations Research. KI 1993: 249-254

Andreas Werner, Alexander Bockmayr, Stefan Krischer: A Concept for the Implementation of LSE Narrowing. WLP 1993: 104-107

Alexander Bockmayr, Stefan Krischer, Andreas Werner: An Optimal Narrowing Strategy for General Canonical Systems. CTRS 1992: 483-497

Alexander Bockmayr, Christoph Brzoska, Peter Deussen, Igor Varsek: KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. Inform., Forsch. Entwickl. 6(3): 128-140 (1991)

Stefan Krischer, Alexander Bockmayr: Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. RTA 1991: 74-85

Alexander Bockmayr: Logic Programming with Pseudo-Boolean Constraints. WCLP 1991: 327-350

Alexander Bockmayr: Algebraic and Logic Aspects of Unification. IWWERT 1990: 171-180

Alexander Bockmayr: Model-Theoretic Aspects of Unification. IWWERT 1990: 181-196

Alexander Bockmayr, Christoph Brzoska: Bericht über den Workshop TEGA - Terersetzung: Grundlagen und Anwendung. KI 3(3): 17-19 (1989)

Alexander Bockmayr, Klaus Estenfeld, Ulrich Furbach, Claus Jäkel: Ein Konstanzer Prolog-Workshop. KI 3(4): 15 (1989)

Alexander Bockmayr: Narrowing with Built-In Theories. ALP 1988: 83-92

Alexander Bockmayr: A Note on a Canonical Theory with Undecidable Unification and Matching Problem. J. Autom. Reasoning 3(4): 379-381 (1987)