Alexander Bockmayr

ORCID

Publication Activity (10 Years)

Years Active: 1987-2021
Publications (10 Years): 7

Top Venues

CMSB

Bioinform.

IEEE ACM Trans. Comput. Biol. Bioinform.

BMC Bioinform.

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Kerian Thuillier, Caroline Baroukh, Alexander Bockmayr, Ludovic Cottret, Loïc Paulevé, Anne Siegel
Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study. CMSB (2021)
Lin Liu, Alexander Bockmayr
Hybrid Modeling of Metabolic-Regulatory Networks (Extended Abstract). HSB (2019)
Annika Röhl, Tanguy Riou, Alexander Bockmayr
Computing irreversible minimal cut sets in genome-scale metabolic networks via flux cone projection. Bioinform. 35 (15) (2019)
Hannes Klarner, Alexander Bockmayr, Heike Siebert
Erratum to: Computing maximal and minimal trap spaces of Boolean networks. Nat. Comput. 17 (2) (2018)
Annika Röhl, Alexander Bockmayr
A mixed-integer linear programming approach to the reduction of genome-scale metabolic networks. BMC Bioinform. 18 (1) (2017)
Hannes Klarner, Alexander Bockmayr, Heike Siebert
Computing maximal and minimal trap spaces of Boolean networks. Nat. Comput. 14 (4) (2015)
Yaron A. B. Goldstein, Alexander Bockmayr
Double and multiple knockout simulations for genome-scale metabolic network reconstructions. Algorithms Mol. Biol. 10 (2015)
Hannes Klarner, Alexander Bockmayr, Heike Siebert
Computing Symbolic Steady States of Boolean Networks. ACRI (2014)
László Dávid, Alexander Bockmayr
Computing Elementary Flux Modes Involving a Set of Target Reactions. IEEE ACM Trans. Comput. Biol. Bioinform. 11 (6) (2014)
Alexander Bockmayr, Heike Siebert
Bio-Logics: Logical Analysis of Bioregulatory Networks. Programming Logics (2013)
Shahrad Jamshidi, Heike Siebert, Alexander Bockmayr
Preservation of dynamic properties in qualitative modeling frameworks for gene regulatory networks. Biosyst. 112 (2) (2013)
Yaron A. B. Goldstein, Alexander Bockmayr
A Lattice-Theoretic Framework for Metabolic Pathway Analysis. CMSB (2013)
Arne C. Müller, Alexander Bockmayr
Fast thermodynamically constrained flux variability analysis. Bioinform. 29 (7) (2013)
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 Bioinform. 13 (2012)
Hannes Klarner, Heike Siebert, Alexander Bockmayr
Time Series Dependent Analysis of Unparametrized Thomas Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (5) (2012)
Sayed-Amir Marashi, László Dávid, Alexander Bockmayr
Analysis of Metabolic Subnetworks by Flux Cone Projection. Algorithms Mol. Biol. 7 (2012)
Shahrad Jamshidi, Heike Siebert, Alexander Bockmayr
Comparing Discrete and Piecewise Affine Differential Equation Models of Gene Regulatory Networks. IPCAT (2012)
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 Bioinform. 12 (2011)
Alberto Rezola, Luis F. de Figueiredo, Matthias 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. Bioinform. 27 (4) (2011)
Hannes Klarner, Heike Siebert, Alexander Bockmayr
Parameter inference for asynchronous logical networks using discrete time series. CMSB (2011)
Sayed-Amir Marashi, Alexander Bockmayr
Flux coupling analysis of metabolic networks is sensitive to missing reactions. Biosyst. 103 (1) (2011)
Alexander Bockmayr
Constraint-Based Modeling in Systems Biology. WCB@ICLP (2010)
Corinna Heldt, Alexander Bockmayr
Geometric Constraints for the Phase Problem in X-Ray Crystallography. WCB@ICLP (2010)
Abdelhalim Larhlimi, Alexander Bockmayr
A new constraint-based description of the steady-state flux cone of metabolic networks. Discret. Appl. Math. 157 (10) (2009)
Alexander Bockmayr
Logic-Based Modeling in Systems Biology. LPNMR (2009)
Heike Siebert, Alexander Bockmayr
Temporal constraints in the logical analysis of regulatory networks. Theor. Comput. Sci. 391 (3) (2008)
Abdelhalim Larhlimi, Alexander Bockmayr
On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network. CMSB (2008)
Heike Siebert, Alexander Bockmayr
Context Sensitivity in Logical Modeling with Time Delays. CMSB (2007)
Heike Siebert, Alexander Bockmayr
Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks. AB (2007)
Alexander Bockmayr, Nicolai Pisaruk
Detecting infeasibility and generating cuts for mixed integer programming using constraint programming. Comput. Oper. Res. 33 (10) (2006)
Heike Siebert, Alexander Bockmayr
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks. CMSB (2006)
Abdelhalim Larhlimi, Alexander Bockmayr
A New Approach to Flux Coupling Analysis of Metabolic Networks. CompLife (2006)
Egon Balas, Alexander Bockmayr, Nicolai Pisaruk, Laurence A. Wolsey
On unions and dominants of polytopes. Math. Program. 99 (2) (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) (2004)
Alexander Bockmayr, Arnaud Courtois, Damien Eveillard, M. Vezain
Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing. CMSB (2004)
Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr
Multiscale Modeling of Alternative Splicing Regulation. CMSB (2003)
Alexander Bockmayr
Constraint Programming in Computational Molecular Biology. EPIA (2003)
Alexander Bockmayr, Arnaud Courtois
Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides. JFPLC (2002)
Ernst Althaus, Alexander Bockmayr, Matthias Elf, Michael Jünger, Thomas Kasper, Kurt Mehlhorn
SCIL - Symbolic Constraints in Integer Linear Programming. ESA (2002)
Alexander Bockmayr, Arnaud Courtois
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems. ICLP (2002)
Alexander Bockmayr, Friedrich Eisenbrand
Cutting Planes and the Elementary Closure in Fixed Dimension. Math. Oper. Res. 26 (2) (2001)
Alexander Bockmayr, Nicolai Pisaruk
Solving Assembly Line Balancing Problems by Combining IP and CP CoRR (2001)
Alexander Bockmayr, Nicolai Pisaruk, Abderrahmane Aggoun
Network Flow Problems in Constraint Programming. CP (2001)
Alexander Bockmayr, Friedrich Eisenbrand
Combining Logic and Optimization in Cutting Plane Theory. FroCoS (2000)
Alexander Bockmayr, Thomas Kasper
Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. JFPLC (1999)
Alexander Bockmayr, Friedrich Eisenbrand, Mark E. Hartmann, Andreas S. Schulz
On the Chvátal Rank of Polytopes in the 0/1 Cube. Discret. Appl. Math. 98 (1-2) (1999)
Alexander Bockmayr, Yannis Dimopoulos
Integer Programs and Valid Inequalities for Planning Problems. ECP (1999)
Andreas Werner, Alexander Bockmayr, Stefan Krischer
How to Realize LSE Narrowing. New Gener. Comput. 16 (4) (1998)
Alexander Bockmayr, Thomas Kasper
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming. INFORMS J. Comput. 10 (3) (1998)
Peter Barth, Alexander Bockmayr
Modelling discrete optimisation problems inconstraint logic programming. Ann. Oper. Res. 81 (1998)
Alexander Bockmayr, Stefan Krischer, Andreas Werner
Narrowing Strategies for Arbitrary Canonical Rewrite Systems. Fundam. Informaticae 24 (1/2) (1995)
Peter Barth, Alexander Bockmayr
Finite Domain and Cutting Plane Techniques in CLP(PB). ICLP (1995)
Andreas Werner, Alexander Bockmayr, Stefan Krischer
How to Realize LSE Narrowing. ALP (1994)
Alexander Bockmayr
Solving Pseudo-Boolean Constraints Constraint Programming (1994)
Peter Barth, Alexander Bockmayr
Global Consistency in CLP(PB). WLP (1994)
Alexander Bockmayr, Andreas Werner
LSE Narrowing for Decreasing Conditional Term Rewrite Systems. CTRS (1994)
Alexander Bockmayr
Conditional Narrowing Modulo a Set of Equations. Appl. Algebra Eng. Commun. Comput. 4 (1993)
Alexander Bockmayr, Franz Josef Radermacher
Künstliche Intelligenz und Operations Research. KI (1993)
Andreas Werner, Alexander Bockmayr, Stefan Krischer
A Concept for the Implementation of LSE Narrowing. WLP (1993)
Alexander Bockmayr, Stefan Krischer, Andreas Werner
An Optimal Narrowing Strategy for General Canonical Systems. CTRS (1992)
Stefan Krischer, Alexander Bockmayr
Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. RTA (1991)
Alexander Bockmayr
Logic Programming with Pseudo-Boolean Constraints. WCLP (1991)
Alexander Bockmayr, Christoph Brzoska, Peter Deussen, Igor Varsek
KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. Inform. Forsch. Entwickl. 6 (3) (1991)
Alexander Bockmayr
Model-Theoretic Aspects of Unification. IWWERT (1990)
Alexander Bockmayr
Algebraic and Logic Aspects of Unification. IWWERT (1990)
Alexander Bockmayr, Klaus Estenfeld, Ulrich Furbach, Claus Jäkel
Ein Konstanzer Prolog-Workshop. Künstliche Intell. 3 (4) (1989)
Alexander Bockmayr, Christoph Brzoska
Bericht über den Workshop TEGA - Terersetzung: Grundlagen und Anwendung. Künstliche Intell. 3 (3) (1989)
Alexander Bockmayr
Narrowing with Built-In Theories. ALP (1988)
Alexander Bockmayr
A Note on a Canonical Theory with Undecidable Unification and Matching Problem. J. Autom. Reason. 3 (4) (1987)

Alexander Bockmayr.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander Bockmayr