×

Bockmayr, Alexander

Author ID: bockmayr.alexander Recent zbMATH articles by "Bockmayr, Alexander"
Published as: Bockmayr, Alexander; Bockmayr, A.
External Links: MGP
Documents Indexed: 42 Publications since 1987
Co-Authors: 45 Co-Authors with 37 Joint Publications
1,204 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 147 times in 127 Documents Cited by Year
Branch and infer: A unifying framework for integer and finite domain constraint programming. Zbl 1034.90517
Bockmayr, Alexander; Kasper, Thomas
14
1998
On the Chvátal rank of polytopes in the 0/1 cube. Zbl 0956.52013
Bockmayr, Alexander; Eisenbrand, Friedrich; Hartmann, Mark; Schulz, Andreas S.
11
1999
Using hybrid concurrent constraint programming to model dynamic biological systems. Zbl 1045.68527
Bockmayr, Alexander; Courtois, Arnaud
9
2002
Detecting infeasibility and generating cuts for mixed integer programming using constraint programming. Zbl 1086.90041
Bockmayr, Alexander; Pisaruk, Nicolai
9
2006
Solving numerical constraints. Zbl 1011.68127
Bockmayr, Alexander; Weispfenning, Volker
8
2001
On unions and dominants of polytopes. Zbl 1098.90092
Balas, Egon; Bockmayr, Alexander; Pisaruk, Nicolai; Wolsey, Laurence
8
2004
Computing maximal and minimal trap spaces of Boolean networks. Zbl 1416.92072
Klarner, Hannes; Bockmayr, Alexander; Siebert, Heike
8
2015
Temporal constraints in the logical analysis of regulatory networks. Zbl 1133.68041
Siebert, Heike; Bockmayr, Alexander
8
2008
A new constraint-based description of the steady-state flux cone of metabolic networks. Zbl 1182.92036
Larhlimi, Abdelhalim; Bockmayr, Alexander
8
2009
SCIL – symbolic constraints in integer linear programming. Zbl 1019.90515
Althaus, Ernst; Bockmayr, Alexander; Elf, Matthias; Jünger, Michael; Kasper, Thomas; Mehlhorn, Kurt
8
2002
Dynamic optimization of metabolic networks coupled with gene expression. Zbl 1314.92059
Waldherr, Steffen; Oyarzún, Diego A.; Bockmayr, Alexander
7
2015
Conditional narrowing modulo a set of equations. Zbl 0776.68068
Bockmayr, Alexander
6
1993
Network flow problems in constraint programming. Zbl 1067.68618
Bockmayr, Alexander; Pisaruk, Nicolai; Aggoun, Abderrahmane
4
2001
A note on a canonical theory with undecidable unification and matching problem. Zbl 0637.68034
Bockmayr, Alexander
4
1987
Cutting planes and the elementary closure in fixed dimension. Zbl 1082.90549
Bockmayr, Alexander; Eisenbrand, Friedrich
4
2001
Constraint programming. Zbl 1278.90373
Bockmayr, Alexander; Hooker, John N.
4
2005
A multi-scale constraint programming model of alternative splicing regulation. Zbl 1071.68099
Eveillard, Damien; Ropers, Delphine; de Jong, Hidde; Branlant, Christiane; Bockmayr, Alexander
3
2004
Relating attractors and singular steady states in the logical analysis of bioregulatory networks. Zbl 1127.92002
Siebert, Heike; Bockmayr, Alexander
3
2007
Narrowing with built-in theories. Zbl 0708.68010
Bockmayr, A.
2
1989
Regulatory dynamic enzyme-cost flux balance analysis: a unifying framework for constraint-based modeling. Zbl 1455.92062
Liu, Lin; Bockmayr, Alexander
2
2020
Branch-and-infer: a framework for combining CP and IP. Zbl 1078.90038
Bockmayr, Alexander; Kasper, Thomas
2
2004
Narrowing strategies for arbitrary canonical rewrite systems. Zbl 0839.68052
Bockmayr, Alexander; Krischer, Stefan; Werner, Andreas
2
1995
Finding MEMo: minimum sets of elementary flux modes. Zbl 1425.92092
Röhl, Annika; Bockmayr, Alexander
2
2019
Detecting redundant narrowing derivations by the LSE-SL reducibility test. Zbl 1503.68125
Krischer, Stefan; Bockmayr, Alexander
2
1991
Learning Boolean controls in regulated metabolic networks: a case-study. Zbl 1491.92055
Thuillier, Kerian; Baroukh, Caroline; Bockmayr, Alexander; Cottret, Ludovic; Paulevé, Loïc; Siegel, Anne
1
2021
Bio-logics: logical analysis of bioregulatory networks. Zbl 1383.92031
Bockmayr, Alexander; Siebert, Heike
1
2013
Combining logic and optimization in cutting plane theory. Zbl 0961.03012
Bockmayr, Alexander; Eisenbrand, Friedrich
1
2000
Modelling discrete optimisation problems in constraint logic programming. Zbl 0910.90235
Barth, Peter; Bockmayr, Alexander
1
1998
Building and analysing an integrative model of HIV-1 RNA alternative splicing. Zbl 1088.93501
Bockmayr, A.; Courtois, A.; Eveillard, D.; Vezain, M.
1
2005
Multiscale modeling of alternative splicing regulation. Zbl 1112.92320
Eveillard, Damien; Ropers, Delphine; de Jong, Hidde; Branlant, Christiane; Bockmayr, Alexander
1
2003
Analysis and characterization of asynchronous state transition graphs using extremal states. Zbl 1272.92018
Lorenz, Therese; Siebert, Heike; Bockmayr, Alexander
1
2013
On flux coupling analysis of metabolic subsystems. Zbl 1325.92038
Marashi, Sayed-Amir; David, Laszlo; Bockmayr, Alexander
1
2012
An optimal narrowing strategy for general canonical systems. Zbl 1508.68144
Bockmayr, Alexander; Krischer, Stefan; Werner, Andreas
1
1993
Learning Boolean controls in regulated metabolic networks: a case-study. Zbl 1491.92055
Thuillier, Kerian; Baroukh, Caroline; Bockmayr, Alexander; Cottret, Ludovic; Paulevé, Loïc; Siegel, Anne
1
2021
Regulatory dynamic enzyme-cost flux balance analysis: a unifying framework for constraint-based modeling. Zbl 1455.92062
Liu, Lin; Bockmayr, Alexander
2
2020
Finding MEMo: minimum sets of elementary flux modes. Zbl 1425.92092
Röhl, Annika; Bockmayr, Alexander
2
2019
Computing maximal and minimal trap spaces of Boolean networks. Zbl 1416.92072
Klarner, Hannes; Bockmayr, Alexander; Siebert, Heike
8
2015
Dynamic optimization of metabolic networks coupled with gene expression. Zbl 1314.92059
Waldherr, Steffen; Oyarzún, Diego A.; Bockmayr, Alexander
7
2015
Bio-logics: logical analysis of bioregulatory networks. Zbl 1383.92031
Bockmayr, Alexander; Siebert, Heike
1
2013
Analysis and characterization of asynchronous state transition graphs using extremal states. Zbl 1272.92018
Lorenz, Therese; Siebert, Heike; Bockmayr, Alexander
1
2013
On flux coupling analysis of metabolic subsystems. Zbl 1325.92038
Marashi, Sayed-Amir; David, Laszlo; Bockmayr, Alexander
1
2012
A new constraint-based description of the steady-state flux cone of metabolic networks. Zbl 1182.92036
Larhlimi, Abdelhalim; Bockmayr, Alexander
8
2009
Temporal constraints in the logical analysis of regulatory networks. Zbl 1133.68041
Siebert, Heike; Bockmayr, Alexander
8
2008
Relating attractors and singular steady states in the logical analysis of bioregulatory networks. Zbl 1127.92002
Siebert, Heike; Bockmayr, Alexander
3
2007
Detecting infeasibility and generating cuts for mixed integer programming using constraint programming. Zbl 1086.90041
Bockmayr, Alexander; Pisaruk, Nicolai
9
2006
Constraint programming. Zbl 1278.90373
Bockmayr, Alexander; Hooker, John N.
4
2005
Building and analysing an integrative model of HIV-1 RNA alternative splicing. Zbl 1088.93501
Bockmayr, A.; Courtois, A.; Eveillard, D.; Vezain, M.
1
2005
On unions and dominants of polytopes. Zbl 1098.90092
Balas, Egon; Bockmayr, Alexander; Pisaruk, Nicolai; Wolsey, Laurence
8
2004
A multi-scale constraint programming model of alternative splicing regulation. Zbl 1071.68099
Eveillard, Damien; Ropers, Delphine; de Jong, Hidde; Branlant, Christiane; Bockmayr, Alexander
3
2004
Branch-and-infer: a framework for combining CP and IP. Zbl 1078.90038
Bockmayr, Alexander; Kasper, Thomas
2
2004
Multiscale modeling of alternative splicing regulation. Zbl 1112.92320
Eveillard, Damien; Ropers, Delphine; de Jong, Hidde; Branlant, Christiane; Bockmayr, Alexander
1
2003
Using hybrid concurrent constraint programming to model dynamic biological systems. Zbl 1045.68527
Bockmayr, Alexander; Courtois, Arnaud
9
2002
SCIL – symbolic constraints in integer linear programming. Zbl 1019.90515
Althaus, Ernst; Bockmayr, Alexander; Elf, Matthias; Jünger, Michael; Kasper, Thomas; Mehlhorn, Kurt
8
2002
Solving numerical constraints. Zbl 1011.68127
Bockmayr, Alexander; Weispfenning, Volker
8
2001
Network flow problems in constraint programming. Zbl 1067.68618
Bockmayr, Alexander; Pisaruk, Nicolai; Aggoun, Abderrahmane
4
2001
Cutting planes and the elementary closure in fixed dimension. Zbl 1082.90549
Bockmayr, Alexander; Eisenbrand, Friedrich
4
2001
Combining logic and optimization in cutting plane theory. Zbl 0961.03012
Bockmayr, Alexander; Eisenbrand, Friedrich
1
2000
On the Chvátal rank of polytopes in the 0/1 cube. Zbl 0956.52013
Bockmayr, Alexander; Eisenbrand, Friedrich; Hartmann, Mark; Schulz, Andreas S.
11
1999
Branch and infer: A unifying framework for integer and finite domain constraint programming. Zbl 1034.90517
Bockmayr, Alexander; Kasper, Thomas
14
1998
Modelling discrete optimisation problems in constraint logic programming. Zbl 0910.90235
Barth, Peter; Bockmayr, Alexander
1
1998
Narrowing strategies for arbitrary canonical rewrite systems. Zbl 0839.68052
Bockmayr, Alexander; Krischer, Stefan; Werner, Andreas
2
1995
Conditional narrowing modulo a set of equations. Zbl 0776.68068
Bockmayr, Alexander
6
1993
An optimal narrowing strategy for general canonical systems. Zbl 1508.68144
Bockmayr, Alexander; Krischer, Stefan; Werner, Andreas
1
1993
Detecting redundant narrowing derivations by the LSE-SL reducibility test. Zbl 1503.68125
Krischer, Stefan; Bockmayr, Alexander
2
1991
Narrowing with built-in theories. Zbl 0708.68010
Bockmayr, A.
2
1989
A note on a canonical theory with undecidable unification and matching problem. Zbl 0637.68034
Bockmayr, Alexander
4
1987
all top 5

Cited by 257 Authors

12 Bockmayr, Alexander
5 Pokutta, Sebastian
4 Basu, Amitabh
4 Meseguer Guaita, José
4 Siebert, Heike
3 Conforti, Michele
3 Di Summa, Marco
3 Jiang, Hongyi
3 Lee, Dabeen
3 Mourtos, Ioannis
3 Roux, Olivier F.
3 Soliman, Sylvain
2 Achterberg, Tobias
2 Aguirre, Luis Antonio
2 Appa, Gautam M.
2 Benhamou, Belaid
2 Benini, Luca
2 Braun, Gábor
2 Burke, Edmund Kieran
2 Chaves, Madalena
2 Cornuéjols, Gérard P.
2 Dantchev, Stefan Stoyanov
2 de Jong, Hidde
2 Fages, François
2 Gleixner, Ambros M.
2 Gouzé, Jean-Luc
2 Hooker, John N. jun.
2 Inoue, Katsumi
2 Kis, Tamás
2 Kryvyi, Serhiĭ L.
2 Lombardi, Michele
2 Magnin, Morgan
2 Mairet, Francis
2 Martí-Oliet, Narciso
2 Martin, Barnaby D.
2 Milano, Michela
2 Olarte, Carlos
2 Palomino, Miguel
2 Pastva, Samuel
2 Pita, Isabel
2 Ribeiro, Tony
2 Richard, Adrien
2 Rueda, Camilo
2 Ruggiero, Martino
2 Schulz, Andreas S.
2 Sitek, Paweł
2 Thati, Prasanna
2 Trinh, Van-Giang
2 Valencia, Frank D.
2 van Hoeve, Willem-Jan
2 Werner, Andreas
2 Wikarek, Jarosław
1 Abou-Jaoudé, Wassim
1 Abreu, Levi R.
1 Ahmed, Shabbir
1 Alakaş, Hacı Mehmet
1 Albert, Réka
1 Aleman, Dionne M.
1 Alhazov, Artiom
1 Alvarez-Valdes, Ramon
1 Baroukh, Caroline
1 Baumann, Frank
1 Bayen, Térence
1 Ben Abdallah, Emna
1 Benchimol, Pascal
1 Beneš, Nikola
1 Benoist, Thierry
1 Bernot, Gilles
1 Berthold, Timo
1 Bortfeldt, R.
1 Bouhoula, Adel
1 Bourreau, Eric
1 Bozzano, Marco
1 Brailsford, Sally C.
1 Branlant, Christiane
1 Brim, Luboš
1 Bruttomesso, Roberto
1 Buchheim, Christoph
1 Bzdyra, Krzysztof
1 Caillau, Jean-Baptiste
1 Carravilla, Maria Antónia
1 Carta, Alfonso
1 Castro, Carlos
1 Cerone, Antonio
1 Chabrier-Rivier, Nathalie
1 Chai, Xinwei
1 Chiarugi, Davide
1 Chiaverini, Marc
1 Chung, Kwanghun
1 Cimatti, Alessandro
1 Ciocchetta, Federica
1 Clarke, Edmund Melson jun.
1 Comet, Jean-Paul
1 Corominas, Albert
1 Cottret, Ludovic
1 Cymer, Radosław
1 Danos, Vincent
1 Dash, Sanjeeb
1 De Cock, Martine
1 de Givry, Simon
...and 157 more Authors

Citations by Year