Alexander Bockmayr

Available identifiers

zbMath Open bockmayr.alexanderWikidataQ47760652 ScholiaQ47760652MaRDI QIDQ371980

List of research outcomes

Publication	Date of Publication	Type
Erratum to: ``Computing maximal and minimal trap spaces of Boolean networks	2023-11-30	Paper
On the geometry of elementary flux modes	2023-09-15	Paper
Algebraic and logical aspects of unification	2023-08-14	Paper
Model-theoretic aspects of unification	2023-08-14	Paper
An optimal narrowing strategy for general canonical systems	2023-03-09	Paper
Detecting redundant narrowing derivations by the LSE-SL reducibility test	2022-12-09	Paper
Learning Boolean controls in regulated metabolic networks: a case-study	2022-05-25	Paper
Regulatory dynamic enzyme-cost flux balance analysis: a unifying framework for constraint-based modeling	2021-01-13	Paper
Finding MEMo: minimum sets of elementary flux modes	2019-10-22	Paper
Computing maximal and minimal trap spaces of Boolean networks	2019-07-08	Paper
Direct phasing by binary integer programming	2017-09-22	Paper
On flux coupling analysis of metabolic subsystems	2015-11-11	Paper
Dynamic optimization of metabolic networks coupled with gene expression	2015-06-23	Paper
Generic flux coupling analysis	2015-05-15	Paper
Flux modules in metabolic networks	2014-11-13	Paper
Analysis and characterization of asynchronous state transition graphs using extremal states	2013-10-11	Paper
Bio-Logics: Logical Analysis of Bioregulatory Networks	2013-04-19	Paper
A new constraint-based description of the steady-state flux cone of metabolic networks	2009-06-24	Paper
Temporal constraints in the logical analysis of regulatory networks	2008-03-06	Paper
Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks	2007-11-29	Paper
Constraint Programming	2007-06-19	Paper
Detecting infeasibility and generating cuts for mixed integer programming using constraint programming	2006-05-16	Paper
Computational Methods in Systems Biology	2005-12-23	Paper
Cutting Planes and the Elementary Closure in Fixed Dimension	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4667437	2005-04-19	Paper
A multi-scale constraint programming model of alternative splicing regulation	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4809158	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4475632	2004-08-09	Paper
On unions and dominants of polytopes	2004-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4413207	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4411347	2003-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q2751364	2002-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4537507	2002-07-01	Paper
On the Chvátal rank of polytopes in the 0/1 cube	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4518860	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4939281	2000-02-23	Paper
Modelling discrete optimisation problems in constraint logic programming	1998-11-08	Paper
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming	1998-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4847002	1996-06-10	Paper
Conditional narrowing modulo a set of equations	1993-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q3490928	1989-01-01	Paper
A note on a canonical theory with undecidable unification and matching problem	1987-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexander Bockmayr