A Note on a Canonical Theory with Undecidable Unification and Matching Problem. - Alexander Bockmayr (J. Autom. Reason., 1987)

Narrowing with Built-In Theories. - Alexander Bockmayr (ALP, 1988)

Bericht über den Workshop TEGA - Terersetzung: Grundlagen und Anwendung. - Alexander Bockmayr; Christoph Brzoska (Künstliche Intell., 1989)

Ein Konstanzer Prolog-Workshop. - Alexander Bockmayr; Klaus Estenfeld; Ulrich Furbach; Claus Jäkel (Künstliche Intell., 1989)

Algebraic and Logic Aspects of Unification. - Alexander Bockmayr (IWWERT, 1990)

Model-Theoretic Aspects of Unification. - Alexander Bockmayr (IWWERT, 1990)

Beiträge zur Theorie des logisch-funktionalen Programmierens. - Alexander Bockmayr (1990)

Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. - Stefan Krischer; Alexander Bockmayr (RTA, 1991)

Logic Programming with Pseudo-Boolean Constraints. - Alexander Bockmayr (WCLP, 1991)

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

An Optimal Narrowing Strategy for General Canonical Systems. - Alexander Bockmayr; Stefan Krischer; Andreas Werner 001 (CTRS, 1992)

Künstliche Intelligenz und Operations Research. - Alexander Bockmayr; Franz Josef Radermacher (KI, 1993)

A Concept for the Implementation of LSE Narrowing. - Andreas Werner 001; Alexander Bockmayr; Stefan Krischer (WLP, 1993)

Conditional Narrowing Modulo a Set of Equations. - Alexander Bockmayr (Appl. Algebra Eng. Commun. Comput., 1993)

LSE Narrowing for Decreasing Conditional Term Rewrite Systems. - Alexander Bockmayr; Andreas Werner 001 (CTRS, 1994)

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

Solving Pseudo-Boolean Constraints - Alexander Bockmayr (Constraint Programming, 1994)

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

Narrowing Strategies for Arbitrary Canonical Rewrite Systems. - Alexander Bockmayr; Stefan Krischer; Andreas Werner 001 (Fundam. Informaticae, 1995)

Modelling discrete optimisation problems inconstraint logic programming. - Peter Barth; Alexander Bockmayr (Ann. Oper. Res., 1998)

Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming. - Alexander Bockmayr; Thomas Kasper (INFORMS J. Comput., 1998)

How to Realize LSE Narrowing. - Andreas Werner 001; Alexander Bockmayr; Stefan Krischer (New Gener. Comput., 1998)

Integer Programs and Valid Inequalities for Planning Problems. - Alexander Bockmayr; Yannis Dimopoulos (ECP, 1999)

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

On the Chvátal Rank of Polytopes in the 0/1 Cube. - Alexander Bockmayr; Friedrich Eisenbrand; Mark E. Hartmann; Andreas S. Schulz (Discret. Appl. Math., 1999)

Combining Logic and Optimization in Cutting Plane Theory. - Alexander Bockmayr; Friedrich Eisenbrand (FroCoS, 2000)

Solving Numerical Constraints. - Alexander Bockmayr; Volker Weispfenning (Handbook of Automated Reasoning, 2001)

Network Flow Problems in Constraint Programming. - Alexander Bockmayr; Nicolai Pisaruk; Abderrahmane Aggoun (CP, 2001)

Solving Assembly Line Balancing Problems by Combining IP and CP - Alexander Bockmayr; Nicolai Pisaruk (CoRR, 2001)

Cutting Planes and the Elementary Closure in Fixed Dimension. - Alexander Bockmayr; Friedrich Eisenbrand (Math. Oper. Res., 2001)

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

Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems. - Alexander Bockmayr; Arnaud Courtois (ICLP, 2002)

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

Multiscale Modeling of Alternative Splicing Regulation. - Damien Eveillard; Delphine Ropers; Hidde de Jong; Christiane Branlant; Alexander Bockmayr (CMSB, 2003)

Constraint Programming in Computational Molecular Biology. - Alexander Bockmayr (EPIA, 2003)

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

On unions and dominants of polytopes. - Egon Balas; Alexander Bockmayr; Nicolai Pisaruk; Laurence A. Wolsey (Math. Program., 2004)

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

Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks. - Heike Siebert; Alexander Bockmayr (CMSB, 2006)

A New Approach to Flux Coupling Analysis of Metabolic Networks. - Abdelhalim Larhlimi; Alexander Bockmayr (CompLife, 2006)

Detecting infeasibility and generating cuts for mixed integer programming using constraint programming. - Alexander Bockmayr; Nicolai Pisaruk (Comput. Oper. Res., 2006)

Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks. - Heike Siebert; Alexander Bockmayr (AB, 2007)

Context Sensitivity in Logical Modeling with Time Delays. - Heike Siebert; Alexander Bockmayr (CMSB, 2007)

On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network. - Abdelhalim Larhlimi; Alexander Bockmayr (CMSB, 2008)

Temporal constraints in the logical analysis of regulatory networks. - Heike Siebert; Alexander Bockmayr (Theor. Comput. Sci., 2008)

Logic-Based Modeling in Systems Biology. - Alexander Bockmayr (LPNMR, 2009)

A new constraint-based description of the steady-state flux cone of metabolic networks. - Abdelhalim Larhlimi; Alexander Bockmayr (Discret. Appl. Math., 2009)

Constraint-Based Modeling in Systems Biology. - Alexander Bockmayr (WCB@ICLP, 2010)

Geometric Constraints for the Phase Problem in X-Ray Crystallography. - Corinna Heldt; Alexander Bockmayr (WCB@ICLP, 2010)

Parameter inference for asynchronous logical networks using discrete time series. - Hannes Klarner; Heike Siebert; Alexander Bockmayr (CMSB, 2011)

Exploring metabolic pathways in genome-scale networks via generating flux modes. - Alberto Rezola; Luis F. de Figueiredo; Matthias Brock; Jon Pey; Adam Podhorski; Christoph Wittmann; Stefan Schuster; Alexander Bockmayr; Francisco J. Planes (Bioinform., 2011)

Flux coupling analysis of metabolic networks is sensitive to missing reactions. - Sayed-Amir Marashi; Alexander Bockmayr (Biosyst., 2011)

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

Comparing Discrete and Piecewise Affine Differential Equation Models of Gene Regulatory Networks. - Shahrad Jamshidi; Heike Siebert; Alexander Bockmayr (IPCAT, 2012)

Analysis of Metabolic Subnetworks by Flux Cone Projection. - Sayed-Amir Marashi; László Dávid; Alexander Bockmayr (Algorithms Mol. Biol., 2012)

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

Time Series Dependent Analysis of Unparametrized Thomas Networks. - Hannes Klarner; Heike Siebert; Alexander Bockmayr (IEEE ACM Trans. Comput. Biol. Bioinform., 2012)

Bio-Logics: Logical Analysis of Bioregulatory Networks. - Alexander Bockmayr; Heike Siebert (Programming Logics, 2013)

A Lattice-Theoretic Framework for Metabolic Pathway Analysis. - Yaron A. B. Goldstein; Alexander Bockmayr (CMSB, 2013)

Fast thermodynamically constrained flux variability analysis. - Arne C. Müller; Alexander Bockmayr (Bioinform., 2013)

Preservation of dynamic properties in qualitative modeling frameworks for gene regulatory networks. - Shahrad Jamshidi; Heike Siebert; Alexander Bockmayr (Biosyst., 2013)

Computing Symbolic Steady States of Boolean Networks. - Hannes Klarner; Alexander Bockmayr; Heike Siebert (ACRI, 2014)

Computing Elementary Flux Modes Involving a Set of Target Reactions. - László Dávid; Alexander Bockmayr (IEEE ACM Trans. Comput. Biol. Bioinform., 2014)

Double and multiple knockout simulations for genome-scale metabolic network reconstructions. - Yaron A. B. Goldstein; Alexander Bockmayr (Algorithms Mol. Biol., 2015)

Computing maximal and minimal trap spaces of Boolean networks. - Hannes Klarner; Alexander Bockmayr; Heike Siebert (Nat. Comput., 2015)

A mixed-integer linear programming approach to the reduction of genome-scale metabolic networks. - Annika Röhl; Alexander Bockmayr (BMC Bioinform., 2017)

Erratum to: Computing maximal and minimal trap spaces of Boolean networks. - Hannes Klarner; Alexander Bockmayr; Heike Siebert (Nat. Comput., 2018)

Hybrid Modeling of Metabolic-Regulatory Networks (Extended Abstract). - Lin Liu; Alexander Bockmayr (HSB, 2019)

Computing irreversible minimal cut sets in genome-scale metabolic networks via flux cone projection. - Annika Röhl; Tanguy Riou; Alexander Bockmayr (Bioinform., 2019)

Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study. - Kerian Thuillier; Caroline Baroukh; Alexander Bockmayr; Ludovic Cottret; Loïc Paulevé; Anne Siegel (CMSB, 2021)

MERRIN: MEtabolic regulation rule INference from time series data. - Kerian Thuillier; Caroline Baroukh; Alexander Bockmayr; Ludovic Cottret; Loïc Paulevé; Anne Siegel (Bioinform., 2022)