Edit Profile (opens in new tab) Bockmayr, Alexander Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 3 single-authored 5 Siebert, Heike 4 Kasper, Thomas 3 Eisenbrand, Friedrich 3 Eveillard, Damien 3 Krischer, Stefan 3 Pisaruk, Nicolai N. 2 Branlant, Christiane 2 Courtois, Arnaud 2 de Jong, Hidde 2 Ropers, Delphine 2 Werner, Andreas 1 Aggoun, Abderrahmane 1 Althaus, Ernst 1 Balas, Egon 1 Baroukh, Caroline 1 Barth, Peter 1 Cottret, Ludovic 1 David, Laszlo 1 Elf, Matthias 1 Goldstein, Yaron 1 Hartmann, Mark E. 1 Hooker, John N. jun. 1 Jünger, Michael 1 Klarner, Hannes 1 Larhlimi, Abdelhalim 1 Liu, Lin 1 Lorenz, Therese 1 Lunin, Vladimir Y. 1 Marashi, Sayed-Amir 1 Mehlhorn, Kurt 1 Müller, Arne C. 1 Oyarzún, Diego A. 1 Paulevé, Loïc 1 Reimers, Arne C. 1 Röhl, Annika 1 Schulz, Andreas S. 1 Siegel, Anne 1 Thuillier, Kerian 1 Urzhumtsev, Alexandre G. 1 Vezain, M. 1 Waldherr, Steffen 1 Weispfenning, Volker 1 Wolsey, Laurence Alexander all top 5 Serials 3 Journal of Theoretical Biology 2 Discrete Applied Mathematics 2 Journal of Mathematical Biology 2 Theoretical Computer Science 1 Mathematical Biosciences 1 Bulletin of Mathematical Biology 1 Mathematics of Operations Research 1 Annales Societatis Mathematicae Polonae. Series IV 1 Computers & Operations Research 1 Journal of Automated Reasoning 1 Annals of Operations Research 1 Mathematical Programming. Series A. Series B 1 Applicable Algebra in Engineering, Communication and Computing 1 INFORMS Journal on Computing 1 Natural Computing 1 Acta Crystallographica. Section A all top 5 Fields 17 Biology and other natural sciences (92-XX) 16 Operations research, mathematical programming (90-XX) 15 Computer science (68-XX) 4 Combinatorics (05-XX) 3 Mathematical logic and foundations (03-XX) 2 Convex and discrete geometry (52-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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.90517Bockmayr, Alexander; Kasper, Thomas 12 1998 On the Chvátal rank of polytopes in the 0/1 cube. Zbl 0956.52013Bockmayr, Alexander; Eisenbrand, Friedrich; Hartmann, Mark; Schulz, Andreas S. 9 1999 Using hybrid concurrent constraint programming to model dynamic biological systems. Zbl 1045.68527Bockmayr, Alexander; Courtois, Arnaud 9 2002 Temporal constraints in the logical analysis of regulatory networks. Zbl 1133.68041Siebert, Heike; Bockmayr, Alexander 8 2008 Detecting infeasibility and generating cuts for mixed integer programming using constraint programming. Zbl 1086.90041Bockmayr, Alexander; Pisaruk, Nicolai 8 2006 On unions and dominants of polytopes. Zbl 1098.90092Balas, Egon; Bockmayr, Alexander; Pisaruk, Nicolai; Wolsey, Laurence 8 2004 SCIL – symbolic constraints in integer linear programming. Zbl 1019.90515Althaus, Ernst; Bockmayr, Alexander; Elf, Matthias; Jünger, Michael; Kasper, Thomas; Mehlhorn, Kurt 7 2002 Solving numerical constraints. Zbl 1011.68127Bockmayr, Alexander; Weispfenning, Volker 6 2001 Conditional narrowing modulo a set of equations. Zbl 0776.68068Bockmayr, Alexander 6 1993 A new constraint-based description of the steady-state flux cone of metabolic networks. Zbl 1182.92036Larhlimi, Abdelhalim; Bockmayr, Alexander 6 2009 Dynamic optimization of metabolic networks coupled with gene expression. Zbl 1314.92059Waldherr, Steffen; Oyarzún, Diego A.; Bockmayr, Alexander 6 2015 Cutting planes and the elementary closure in fixed dimension. Zbl 1082.90549Bockmayr, Alexander; Eisenbrand, Friedrich 4 2001 Network flow problems in constraint programming. Zbl 1067.68618Bockmayr, Alexander; Pisaruk, Nicolai; Aggoun, Abderrahmane 4 2001 Computing maximal and minimal trap spaces of Boolean networks. Zbl 1416.92072Klarner, Hannes; Bockmayr, Alexander; Siebert, Heike 4 2015 A multi-scale constraint programming model of alternative splicing regulation. Zbl 1071.68099Eveillard, Damien; Ropers, Delphine; de Jong, Hidde; Branlant, Christiane; Bockmayr, Alexander 3 2004 Constraint programming. Zbl 1278.90373Bockmayr, Alexander; Hooker, John N. 3 2005 Relating attractors and singular steady states in the logical analysis of bioregulatory networks. Zbl 1127.92002Siebert, Heike; Bockmayr, Alexander 2 2007 Branch-and-infer: a framework for combining CP and IP. Zbl 1078.90038Bockmayr, Alexander; Kasper, Thomas 2 2004 Narrowing strategies for arbitrary canonical rewrite systems. Zbl 0839.68052Bockmayr, Alexander; Krischer, Stefan; Werner, Andreas 2 1995 Combining logic and optimization in cutting plane theory. Zbl 0961.03012Bockmayr, Alexander; Eisenbrand, Friedrich 1 2000 Modelling discrete optimisation problems in constraint logic programming. Zbl 0910.90235Barth, Peter; Bockmayr, Alexander 1 1998 Building and analysing an integrative model of HIV-1 RNA alternative splicing. Zbl 1088.93501Bockmayr, A.; Courtois, A.; Eveillard, D.; Vezain, M. 1 2005 On flux coupling analysis of metabolic subsystems. Zbl 1325.92038Marashi, Sayed-Amir; David, Laszlo; Bockmayr, Alexander 1 2012 Analysis and characterization of asynchronous state transition graphs using extremal states. Zbl 1272.92018Lorenz, Therese; Siebert, Heike; Bockmayr, Alexander 1 2013 Bio-logics: logical analysis of bioregulatory networks. Zbl 1383.92031Bockmayr, Alexander; Siebert, Heike 1 2013 Multiscale modeling of alternative splicing regulation. Zbl 1112.92320Eveillard, Damien; Ropers, Delphine; de Jong, Hidde; Branlant, Christiane; Bockmayr, Alexander 1 2003 Narrowing with built-in theories. Zbl 0708.68010Bockmayr, A. 1 1989 Regulatory dynamic enzyme-cost flux balance analysis: a unifying framework for constraint-based modeling. Zbl 1455.92062Liu, Lin; Bockmayr, Alexander 1 2020 Regulatory dynamic enzyme-cost flux balance analysis: a unifying framework for constraint-based modeling. Zbl 1455.92062Liu, Lin; Bockmayr, Alexander 1 2020 Dynamic optimization of metabolic networks coupled with gene expression. Zbl 1314.92059Waldherr, Steffen; Oyarzún, Diego A.; Bockmayr, Alexander 6 2015 Computing maximal and minimal trap spaces of Boolean networks. Zbl 1416.92072Klarner, Hannes; Bockmayr, Alexander; Siebert, Heike 4 2015 Analysis and characterization of asynchronous state transition graphs using extremal states. Zbl 1272.92018Lorenz, Therese; Siebert, Heike; Bockmayr, Alexander 1 2013 Bio-logics: logical analysis of bioregulatory networks. Zbl 1383.92031Bockmayr, Alexander; Siebert, Heike 1 2013 On flux coupling analysis of metabolic subsystems. Zbl 1325.92038Marashi, Sayed-Amir; David, Laszlo; Bockmayr, Alexander 1 2012 A new constraint-based description of the steady-state flux cone of metabolic networks. Zbl 1182.92036Larhlimi, Abdelhalim; Bockmayr, Alexander 6 2009 Temporal constraints in the logical analysis of regulatory networks. Zbl 1133.68041Siebert, Heike; Bockmayr, Alexander 8 2008 Relating attractors and singular steady states in the logical analysis of bioregulatory networks. Zbl 1127.92002Siebert, Heike; Bockmayr, Alexander 2 2007 Detecting infeasibility and generating cuts for mixed integer programming using constraint programming. Zbl 1086.90041Bockmayr, Alexander; Pisaruk, Nicolai 8 2006 Constraint programming. Zbl 1278.90373Bockmayr, Alexander; Hooker, John N. 3 2005 Building and analysing an integrative model of HIV-1 RNA alternative splicing. Zbl 1088.93501Bockmayr, A.; Courtois, A.; Eveillard, D.; Vezain, M. 1 2005 On unions and dominants of polytopes. Zbl 1098.90092Balas, Egon; Bockmayr, Alexander; Pisaruk, Nicolai; Wolsey, Laurence 8 2004 A multi-scale constraint programming model of alternative splicing regulation. Zbl 1071.68099Eveillard, Damien; Ropers, Delphine; de Jong, Hidde; Branlant, Christiane; Bockmayr, Alexander 3 2004 Branch-and-infer: a framework for combining CP and IP. Zbl 1078.90038Bockmayr, Alexander; Kasper, Thomas 2 2004 Multiscale modeling of alternative splicing regulation. Zbl 1112.92320Eveillard, Damien; Ropers, Delphine; de Jong, Hidde; Branlant, Christiane; Bockmayr, Alexander 1 2003 Using hybrid concurrent constraint programming to model dynamic biological systems. Zbl 1045.68527Bockmayr, Alexander; Courtois, Arnaud 9 2002 SCIL – symbolic constraints in integer linear programming. Zbl 1019.90515Althaus, Ernst; Bockmayr, Alexander; Elf, Matthias; Jünger, Michael; Kasper, Thomas; Mehlhorn, Kurt 7 2002 Solving numerical constraints. Zbl 1011.68127Bockmayr, Alexander; Weispfenning, Volker 6 2001 Cutting planes and the elementary closure in fixed dimension. Zbl 1082.90549Bockmayr, Alexander; Eisenbrand, Friedrich 4 2001 Network flow problems in constraint programming. Zbl 1067.68618Bockmayr, Alexander; Pisaruk, Nicolai; Aggoun, Abderrahmane 4 2001 Combining logic and optimization in cutting plane theory. Zbl 0961.03012Bockmayr, Alexander; Eisenbrand, Friedrich 1 2000 On the Chvátal rank of polytopes in the 0/1 cube. Zbl 0956.52013Bockmayr, 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.90517Bockmayr, Alexander; Kasper, Thomas 12 1998 Modelling discrete optimisation problems in constraint logic programming. Zbl 0910.90235Barth, Peter; Bockmayr, Alexander 1 1998 Narrowing strategies for arbitrary canonical rewrite systems. Zbl 0839.68052Bockmayr, Alexander; Krischer, Stefan; Werner, Andreas 2 1995 Conditional narrowing modulo a set of equations. Zbl 0776.68068Bockmayr, Alexander 6 1993 Narrowing with built-in theories. Zbl 0708.68010Bockmayr, A. 1 1989 all cited Publications top 5 cited Publications 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 all top 5 Cited in 34 Serials 9 European Journal of Operational Research 8 Journal of Theoretical Biology 7 Constraints 6 Theoretical Computer Science 6 Operations Research Letters 5 Mathematical Programming. Series A. Series B 4 Journal of Mathematical Biology 4 Computers & Operations Research 4 Journal of Automated Reasoning 4 Annals of Operations Research 2 Bulletin of Mathematical Biology 2 Cybernetics and Systems Analysis 2 Formal Methods in System Design 2 Journal of Scheduling 1 Mathematics of Computation 1 Fuzzy Sets and Systems 1 Journal of Optimization Theory and Applications 1 Mathematics of Operations Research 1 Applicable Algebra in Engineering, Communication and Computing 1 SIAM Journal on Optimization 1 Computational Optimization and Applications 1 Top 1 Annals of Mathematics and Artificial Intelligence 1 Mathematical Problems in Engineering 1 Theory of Computing Systems 1 Journal of Combinatorial Optimization 1 Higher-Order and Symbolic Computation 1 CEJOR. Central European Journal of Operations Research 1 Natural Computing 1 Computational Biology and Chemistry 1 Discrete Optimization 1 Engineering Optimization 1 Algorithms 1 Mathematical Programming Computation all top 5 Cited in 21 Fields 51 Operations research, mathematical programming (90-XX) 34 Biology and other natural sciences (92-XX) 33 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 7 Combinatorics (05-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 3 Information and communication theory, circuits (94-XX) 2 Commutative algebra (13-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Statistics (62-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Functional analysis (46-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) Citations by Year