Alexander Bockmayr

	2012
51		Shahrad Jamshidi, Heike Siebert, Alexander Bockmayr: Comparing Discrete and Piecewise Affine Differential Equation Models of Gene Regulatory Networks. IPCAT 2012: 17-24
	2011
50		Hannes Klarner, Heike Siebert, Alexander Bockmayr: Parameter inference for asynchronous logical networks using discrete time series. CMSB 2011: 121-130
49		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 Bioinformatics 12: 236 (2011)
48		Alberto Rezola, Luis F. de Figueiredo, M. 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. Bioinformatics 27(4): 534-540 (2011)
47		Sayed-Amir Marashi, Alexander Bockmayr: Flux coupling analysis of metabolic networks is sensitive to missing reactions. Biosystems 103(1): 57-66 (2011)
	2009
46		Alexander Bockmayr: Logic-Based Modeling in Systems Biology. LPNMR 2009: 2
45		Abdelhalim Larhlimi, Alexander Bockmayr: A new constraint-based description of the steady-state flux cone of metabolic networks. Discrete Applied Mathematics 157(10): 2257-2266 (2009)
	2008
44		Abdelhalim Larhlimi, Alexander Bockmayr: On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network. CMSB 2008: 308-327
43		Heike Siebert, Alexander Bockmayr: Temporal constraints in the logical analysis of regulatory networks. Theor. Comput. Sci. 391(3): 258-275 (2008)
	2007
42		Heike Siebert, Alexander Bockmayr: Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks. AB 2007: 36-50
41		Heike Siebert, Alexander Bockmayr: Context Sensitivity in Logical Modeling with Time Delays. CMSB 2007: 64-79
	2006
40		Heike Siebert, Alexander Bockmayr: Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks. CMSB 2006: 169-183
39		Abdelhalim Larhlimi, Alexander Bockmayr: A New Approach to Flux Coupling Analysis of Metabolic Networks. CompLife 2006: 205-215
38		Alexander Bockmayr, Nicolai Pisaruk: Detecting infeasibility and generating cuts for mixed integer programming using constraint programming. Computers & OR 33(10): 2777-2786 (2006)
	2004
37		Alexander Bockmayr, Arnaud Courtois, Damien Eveillard, M. Vezain: Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing. CMSB 2004: 43-57
36		Egon Balas, Alexander Bockmayr, Nicolai Pisaruk, Laurence A. Wolsey: On unions and dominants of polytopes. Math. Program. 99(2): 223-239 (2004)
35		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): 3-24 (2004)
	2003
34		Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr: Multiscale Modeling of Alternative Splicing Regulation. CMSB 2003: 75-87
33		Alexander Bockmayr: Constraint Programming in Computational Molecular Biology. EPIA 2003: 1
	2002
32		Ernst Althaus, Alexander Bockmayr, Matthias Elf, Michael Jünger, Thomas Kasper, Kurt Mehlhorn: SCIL - Symbolic Constraints in Integer Linear Programming. ESA 2002: 75-87
31		Alexander Bockmayr, Arnaud Courtois: Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems. ICLP 2002: 85-99
30		Alexander Bockmayr, Arnaud Courtois: Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides. JFPLC 2002: 167-
	2001
29		Alexander Bockmayr, Nicolai Pisaruk, Abderrahmane Aggoun: Network Flow Problems in Constraint Programming. CP 2001: 196-210
28		Alexander Bockmayr, Volker Weispfenning: Solving Numerical Constraints. Handbook of Automated Reasoning 2001: 751-842
27		Alexander Bockmayr, Nicolai Pisaruk: Solving Assembly Line Balancing Problems by Combining IP and CP CoRR cs.DM/0106002: (2001)
26		Alexander Bockmayr, Friedrich Eisenbrand: Cutting Planes and the Elementary Closure in Fixed Dimension. Math. Oper. Res. 26(2): 304-312 (2001)
	2000
25		Alexander Bockmayr, Friedrich Eisenbrand: Combining Logic and Optimization in Cutting Plane Theory. FroCos 2000: 1-17
	1999
24		Alexander Bockmayr, Yannis Dimopoulos: Integer Programs and Valid Inequalities for Planning Problems. ECP 1999: 239-251
23		Alexander Bockmayr, Thomas Kasper: Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming. JFPLC 1999: 141-142
22		Alexander Bockmayr, Friedrich Eisenbrand, Mark E. Hartmann, Andreas S. Schulz: On the Chvátal Rank of Polytopes in the 0/1 Cube. Discrete Applied Mathematics 98(1-2): 21-27 (1999)
	1998
21		Alexander Bockmayr, Thomas Kasper: Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming. INFORMS Journal on Computing 10(3): 287-300 (1998)
20		Andreas Werner, Alexander Bockmayr, Stefan Krischer: How to Realize LSE Narrowing. New Generation Comput. 16(4): 397-434 (1998)
	1995
19		Peter Barth, Alexander Bockmayr: Finite Domain and Cutting Plane Techniques in CLP(PB). ICLP 1995: 133-147
18		Alexander Bockmayr, Stefan Krischer, Andreas Werner: Narrowing Strategies for Arbitrary Canonical Rewrite Systems. Fundam. Inform. 24(1/2): 125-155 (1995)
	1994
17		Andreas Werner, Alexander Bockmayr, Stefan Krischer: How to Realize LSE Narrowing. ALP 1994: 59-76
16		Alexander Bockmayr, Andreas Werner: LSE Narrowing for Decreasing Conditional Term Rewrite Systems. CTRS 1994: 51-70
15		Alexander Bockmayr: Solving Pseudo-Boolean Constraints Constraint Programming 1994: 22-38
14		Peter Barth, Alexander Bockmayr: Global Consistency in CLP(PB). WLP 1994: 130-133
	1993
13		Alexander Bockmayr, Franz Josef Radermacher: Künstliche Intelligenz und Operations Research. KI 1993: 249-254
12		Andreas Werner, Alexander Bockmayr, Stefan Krischer: A Concept for the Implementation of LSE Narrowing. WLP 1993: 104-107
11		Alexander Bockmayr: Conditional Narrowing Modulo a Set of Equations. Appl. Algebra Eng. Commun. Comput. 4: 147-168 (1993)
	1992
10		Alexander Bockmayr, Stefan Krischer, Andreas Werner: An Optimal Narrowing Strategy for General Canonical Systems. CTRS 1992: 483-497
	1991
9		Stefan Krischer, Alexander Bockmayr: Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. RTA 1991: 74-85
8		Alexander Bockmayr: Logic Programming with Pseudo-Boolean Constraints. WCLP 1991: 327-350
7		Alexander Bockmayr, Christoph Brzoska, Peter Deussen, Igor Varsek: KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. Inform., Forsch. Entwickl. 6(3): 128-140 (1991)
	1990
6		Alexander Bockmayr: Algebraic and Logic Aspects of Unification. IWWERT 1990: 171-180
5		Alexander Bockmayr: Model-Theoretic Aspects of Unification. IWWERT 1990: 181-196
	1989
4		Alexander Bockmayr, Christoph Brzoska: Bericht über den Workshop TEGA - Terersetzung: Grundlagen und Anwendung. KI 3(3): 17-19 (1989)
3		Alexander Bockmayr, Klaus Estenfeld, Ulrich Furbach, Claus Jäkel: Ein Konstanzer Prolog-Workshop. KI 3(4): 15 (1989)
	1988
2		Alexander Bockmayr: Narrowing with Built-In Theories. ALP 1988: 83-92
	1987
1		Alexander Bockmayr: A Note on a Canonical Theory with Undecidable Unification and Matching Problem. J. Autom. Reasoning 3(4): 379-381 (1987)

Coauthor Index

1	Abderrahmane Aggoun	[29]
2	Ernst Althaus	[32]
3	Egon Balas	[36]
4	Peter Barth	[14] [19]
5	Christiane Branlant	[34] [35]
6	M. Brock	[48]
7	Christoph Brzoska	[4] [7]
8	Arnaud Courtois	[30] [31] [37]
9	László Dávid	[49]
10	Peter Deussen	[7]
11	Yannis Dimopoulos	[24]
12	Friedrich Eisenbrand	[22] [25] [26]
13	Matthias Elf	[32]
14	Klaus Estenfeld	[3]
15	Damien Eveillard	[34] [35] [37]
16	Luis F. de Figueiredo	[48]
17	Ulrich Furbach	[3]
18	Mark E. Hartmann	[22]
19	Claus Jäkel	[3]
20	Shahrad Jamshidi	[51]
21	Hidde de Jong	[34] [35]
22	Michael Jünger	[32]
23	Thomas Kasper	[21] [23] [32]
24	Hannes Klarner	[50]
25	Stefan Krischer	[9] [10] [12] [17] [18] [20]
26	Abdelhalim Larhlimi	[39] [44] [45] [49]
27	Sayed-Amir Marashi	[47] [49]
28	Kurt Mehlhorn	[32]
29	Bettina Mieth	[49]
30	Jon Pey	[48]
31	Nicolai Pisaruk	[27] [29] [36] [38]
32	Francisco J. Planes	[48]
33	Adam Podhorski	[48]
34	Franz Josef Radermacher	[13]
35	Alberto Rezola	[48]
36	Delphine Ropers	[34] [35]
37	Andreas S. Schulz	[22]
38	Stefan Schuster	[48]
39	Heike Siebert	[40] [41] [42] [43] [50] [51]
40	Igor Varsek	[7]
41	M. Vezain	[37]
42	Volker Weispfenning	[28]
43	Andreas Werner	[10] [12] [16] [17] [18] [20]
44	Christoph Wittmann	[48]
45	Laurence A. Wolsey	[36]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page