×

Bockmayr, Alexander

Compute Distance To:
Author ID: bockmayr.alexander Recent zbMATH articles by "Bockmayr, Alexander"
Published as: Bockmayr, Alexander; Bockmayr, A.
External Links: MGP
Documents Indexed: 37 Publications since 1987
Co-Authors: 43 Co-Authors with 34 Joint Publications
1,029 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

28 Publications have been cited 118 times in 103 Documents Cited by Year
Branch and infer: A unifying framework for integer and finite domain constraint programming. Zbl 1034.90517
Bockmayr, Alexander; Kasper, Thomas
12
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.
9
1999
Using hybrid concurrent constraint programming to model dynamic biological systems. Zbl 1045.68527
Bockmayr, Alexander; Courtois, Arnaud
9
2002
Temporal constraints in the logical analysis of regulatory networks. Zbl 1133.68041
Siebert, Heike; Bockmayr, Alexander
8
2008
Detecting infeasibility and generating cuts for mixed integer programming using constraint programming. Zbl 1086.90041
Bockmayr, Alexander; Pisaruk, Nicolai
8
2006
On unions and dominants of polytopes. Zbl 1098.90092
Balas, Egon; Bockmayr, Alexander; Pisaruk, Nicolai; Wolsey, Laurence
8
2004
SCIL – symbolic constraints in integer linear programming. Zbl 1019.90515
Althaus, Ernst; Bockmayr, Alexander; Elf, Matthias; Jünger, Michael; Kasper, Thomas; Mehlhorn, Kurt
7
2002
Solving numerical constraints. Zbl 1011.68127
Bockmayr, Alexander; Weispfenning, Volker
6
2001
Conditional narrowing modulo a set of equations. Zbl 0776.68068
Bockmayr, Alexander
6
1993
A new constraint-based description of the steady-state flux cone of metabolic networks. Zbl 1182.92036
Larhlimi, Abdelhalim; Bockmayr, Alexander
6
2009
Dynamic optimization of metabolic networks coupled with gene expression. Zbl 1314.92059
Waldherr, Steffen; Oyarzún, Diego A.; Bockmayr, Alexander
6
2015
Cutting planes and the elementary closure in fixed dimension. Zbl 1082.90549
Bockmayr, Alexander; Eisenbrand, Friedrich
4
2001
Network flow problems in constraint programming. Zbl 1067.68618
Bockmayr, Alexander; Pisaruk, Nicolai; Aggoun, Abderrahmane
4
2001
Computing maximal and minimal trap spaces of Boolean networks. Zbl 1416.92072
Klarner, Hannes; Bockmayr, Alexander; Siebert, Heike
4
2015
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
Constraint programming. Zbl 1278.90373
Bockmayr, Alexander; Hooker, John N.
3
2005
Relating attractors and singular steady states in the logical analysis of bioregulatory networks. Zbl 1127.92002
Siebert, Heike; Bockmayr, Alexander
2
2007
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
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
On flux coupling analysis of metabolic subsystems. Zbl 1325.92038
Marashi, Sayed-Amir; David, Laszlo; Bockmayr, Alexander
1
2012
Analysis and characterization of asynchronous state transition graphs using extremal states. Zbl 1272.92018
Lorenz, Therese; Siebert, Heike; Bockmayr, Alexander
1
2013
Bio-logics: logical analysis of bioregulatory networks. Zbl 1383.92031
Bockmayr, Alexander; Siebert, Heike
1
2013
Multiscale modeling of alternative splicing regulation. Zbl 1112.92320
Eveillard, Damien; Ropers, Delphine; de Jong, Hidde; Branlant, Christiane; Bockmayr, Alexander
1
2003
Narrowing with built-in theories. Zbl 0708.68010
Bockmayr, A.
1
1989
Regulatory dynamic enzyme-cost flux balance analysis: a unifying framework for constraint-based modeling. Zbl 1455.92062
Liu, Lin; Bockmayr, Alexander
1
2020
Regulatory dynamic enzyme-cost flux balance analysis: a unifying framework for constraint-based modeling. Zbl 1455.92062
Liu, Lin; Bockmayr, Alexander
1
2020
Dynamic optimization of metabolic networks coupled with gene expression. Zbl 1314.92059
Waldherr, Steffen; Oyarzún, Diego A.; Bockmayr, Alexander
6
2015
Computing maximal and minimal trap spaces of Boolean networks. Zbl 1416.92072
Klarner, Hannes; Bockmayr, Alexander; Siebert, Heike
4
2015
Analysis and characterization of asynchronous state transition graphs using extremal states. Zbl 1272.92018
Lorenz, Therese; Siebert, Heike; Bockmayr, Alexander
1
2013
Bio-logics: logical analysis of bioregulatory networks. Zbl 1383.92031
Bockmayr, Alexander; Siebert, Heike
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
6
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
2
2007
Detecting infeasibility and generating cuts for mixed integer programming using constraint programming. Zbl 1086.90041
Bockmayr, Alexander; Pisaruk, Nicolai
8
2006
Constraint programming. Zbl 1278.90373
Bockmayr, Alexander; Hooker, John N.
3
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
7
2002
Solving numerical constraints. Zbl 1011.68127
Bockmayr, Alexander; Weispfenning, Volker
6
2001
Cutting planes and the elementary closure in fixed dimension. Zbl 1082.90549
Bockmayr, Alexander; Eisenbrand, Friedrich
4
2001
Network flow problems in constraint programming. Zbl 1067.68618
Bockmayr, Alexander; Pisaruk, Nicolai; Aggoun, Abderrahmane
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.
9
1999
Branch and infer: A unifying framework for integer and finite domain constraint programming. Zbl 1034.90517
Bockmayr, Alexander; Kasper, Thomas
12
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
Narrowing with built-in theories. Zbl 0708.68010
Bockmayr, A.
1
1989
all top 5

Cited by 224 Authors

8 Bockmayr, Alexander
5 Pokutta, Sebastian
3 Lee, Dabeen
3 Meseguer Guaita, José
3 Mourtos, Ioannis
3 Roux, Olivier F.
2 Aguirre, Luis Antonio
2 Appa, Gautam M.
2 Basu, Amitabh
2 Braun, Gábor
2 Burke, Edmund Kieran
2 Chaves, Madalena
2 Conforti, Michele
2 Cornuéjols, Gérard P.
2 Dantchev, Stefan Stoyanov
2 de Jong, Hidde
2 Di Summa, Marco
2 Fages, François
2 Gleixner, Ambros M.
2 Gouzé, Jean-Luc
2 Hooker, John N. jun.
2 Inoue, Katsumi
2 Jiang, Hongyi
2 Kis, Tamás
2 Magnin, Morgan
2 Mairet, Francis
2 Martí-Oliet, Narciso
2 Martin, Barnaby D.
2 Olarte, Carlos
2 Palomino, Miguel
2 Pastva, Samuel
2 Pita, Isabel
2 Ribeiro, Tony
2 Rueda, Camilo
2 Schulz, Andreas S.
2 Siebert, Heike
2 Sitek, Paweł
2 Soliman, Sylvain
2 Thati, Prasanna
2 Valencia, Frank D.
2 van Hoeve, Willem-Jan
2 Wikarek, Jarosław
1 Abou-Jaoudé, Wassim
1 Achterberg, Tobias
1 Ahmed, Shabbir
1 Alakaş, Hacı Mehmet
1 Aleman, Dionne M.
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 Benhamou, Belaid
1 Benini, Luca
1 Benoist, Thierry
1 Bernot, Gilles
1 Bortfeldt, R.
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 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
1 Devriendt, Jo
1 Djema, Walid
1 Drake, John H.
1 Dworschak, Steve
1 Ejlertsen, Lena Secher
1 Eveillard, Damien
1 Falaschi, Moreno
1 Forchheimer, Robert
1 Foulds, Leslie R.
1 Gebert, Jutta
1 Ghilardi, Silvio
1 Godlevsky, A. B.
1 Grell, Susanne
...and 124 more Authors

Citations by Year