Alexander Bockmayr

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