The following pages link to Alexander Bockmayr (Q371980):
Displaying 42 items.
- Analysis and characterization of asynchronous state transition graphs using extremal states (Q371981) (← links)
- Flux modules in metabolic networks (Q471076) (← links)
- Regulatory dynamic enzyme-cost flux balance analysis: a unifying framework for constraint-based modeling (Q827854) (← links)
- On flux coupling analysis of metabolic subsystems (Q890718) (← links)
- A new constraint-based description of the steady-state flux cone of metabolic networks (Q1026181) (← links)
- A note on a canonical theory with undecidable unification and matching problem (Q1098623) (← links)
- Conditional narrowing modulo a set of equations (Q1261194) (← links)
- Modelling discrete optimisation problems in constraint logic programming (Q1265908) (← links)
- On unions and dominants of polytopes (Q1434071) (← links)
- A multi-scale constraint programming model of alternative splicing regulation (Q1884858) (← links)
- On the Chvátal rank of polytopes in the 0/1 cube (Q1961231) (← links)
- Computing maximal and minimal trap spaces of Boolean networks (Q2003486) (← links)
- Learning Boolean controls in regulated metabolic networks: a case-study (Q2142113) (← links)
- Finding MEMo: minimum sets of elementary flux modes (Q2330632) (← links)
- Generic flux coupling analysis (Q2344588) (← links)
- Dynamic optimization of metabolic networks coupled with gene expression (Q2351384) (← links)
- Temporal constraints in the logical analysis of regulatory networks (Q2474436) (← links)
- Detecting infeasibility and generating cuts for mixed integer programming using constraint programming (Q2489122) (← links)
- Solving numerical constraints (Q2751364) (← links)
- (Q3490928) (← links)
- (Q4411347) (← links)
- (Q4413207) (← links)
- Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming (Q4427349) (← links)
- (Q4475632) (← links)
- (Q4518860) (← links)
- (Q4537507) (← links)
- (Q4667437) (← links)
- (Q4809158) (← links)
- (Q4847002) (← links)
- Bio-Logics: Logical Analysis of Bioregulatory Networks (Q4916070) (← links)
- (Q4939281) (← links)
- Detecting redundant narrowing derivations by the LSE-SL reducibility test (Q5055750) (← links)
- Constraint Programming (Q5292092) (← links)
- Direct phasing by binary integer programming (Q5359139) (← links)
- Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks (Q5429348) (← links)
- Cutting Planes and the Elementary Closure in Fixed Dimension (Q5704040) (← links)
- Computational Methods in Systems Biology (Q5712410) (← links)
- An optimal narrowing strategy for general canonical systems (Q5881212) (← links)
- On the geometry of elementary flux modes (Q6048954) (← links)
- Erratum to: ``Computing maximal and minimal trap spaces of Boolean networks'' (Q6084217) (← links)
- Algebraic and logical aspects of unification (Q6169562) (← links)
- Model-theoretic aspects of unification (Q6169563) (← links)
