Alexander Bockmayr

ORCID: 0000-0002-5074-1347
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Microbial Metabolic Engineering and Bioproduction
  • Gene Regulatory Network Analysis
  • Constraint Satisfaction and Optimization
  • Logic, programming, and type systems
  • Biofuel production and bioconversion
  • Formal Methods in Verification
  • Logic, Reasoning, and Knowledge
  • Enzyme Catalysis and Immobilization
  • Bioinformatics and Genomic Networks
  • Scheduling and Optimization Algorithms
  • Model-Driven Software Engineering Techniques
  • RNA and protein synthesis mechanisms
  • Advanced Algebra and Logic
  • Advanced Graph Theory Research
  • Semantic Web and Ontologies
  • Algal biology and biofuel production
  • Protein Structure and Dynamics
  • RNA Research and Splicing
  • AI-based Problem Solving and Planning
  • Enzyme Structure and Function
  • Photosynthetic Processes and Mechanisms
  • Computational Drug Discovery Methods
  • Advanced Combinatorial Mathematics
  • Bacterial Genetics and Biotechnology
  • Advanced Database Systems and Queries

Freie Universität Berlin
2014-2024

Technische Universität Berlin
2015

Max Planck Institute for Molecular Genetics
2013

Berlin Mathematical School
2006-2013

Berlin Heart (Germany)
2010-2012

Leibniz Institute for Neurobiology
2010

Leibniz-Institut für Naturstoff-Forschung und Infektionsbiologie e. V. - Hans-Knöll-Institut (HKI)
2010

Friedrich Schiller University Jena
2010

Instituto Gulbenkian de Ciência
2010

Laboratoire Lorrain de Recherche en Informatique et ses Applications
2000-2005

Cyanobacteria are an integral part of Earth's biogeochemical cycles and a promising resource for the synthesis renewable bioproducts from atmospheric CO2 Growth metabolism cyanobacteria inherently tied to diurnal rhythm light availability. As yet, however, insight into stoichiometric energetic constraints cyanobacterial growth is limited. Here, we develop computational framework investigate optimal allocation cellular resources during phototrophic using genome-scale metabolic reconstruction...

10.1073/pnas.1617508114 article EN Proceedings of the National Academy of Sciences 2017-07-18

We introduce branch and infer, a unifying framework for integer linear programming finite domain constraint programming. use this to compare the two approaches with respect their modeling solving capabilities, symbolic abstractions into programming, discuss possible combinations of approaches.

10.1287/ijoc.10.3.287 article EN INFORMS journal on computing 1998-08-01

Flux coupling analysis (FCA) has become a useful tool in the constraint-based of genome-scale metabolic networks. FCA allows detecting dependencies between reaction fluxes networks at steady-state. On one hand, this can help curation reconstructed by verifying whether reactions is agreement with experimental findings. other aid defining intervention strategies to knock out target reactions. We present new method F2C2 for FCA, which orders magnitude faster than previous approaches. As...

10.1186/1471-2105-13-57 article EN cc-by BMC Bioinformatics 2012-04-23

The computational analysis of phototrophic growth using constraint-based optimization requires to go beyond current time-invariant implementations flux-balance (FBA). Phototrophic organisms, such as cyanobacteria, rely on harvesting the sun's energy for conversion atmospheric CO2 into organic carbon, hence their metabolism follows a strongly diurnal lifestyle. We describe cyanobacteria in periodic environment new method called conditional FBA. Our approach enables us incorporate temporal...

10.1038/srep15247 article EN cc-by Scientific Reports 2015-10-26

A constraint-based modeling approach was developed to investigate the metabolic response of eukaryotic microalgae Chlamydomonas reinhardtii under photoautotrophic conditions. The model explicitly includes thermodynamic and energetic constraints on functioning metabolism. mixed integer linear programming method used determine optimal flux distributions with regard this set constraints. It enabled us, in particular, highlight existence a light-driven respiration depending incident photon...

10.1002/btpr.596 article EN Biotechnology Progress 2011-03-22

Abstract Motivation: Flux variability analysis (FVA) is an important tool to further analyse the results obtained by flux balance (FBA) on genome-scale metabolic networks. For many constraint-based models, FVA identifies unboundedness of optimal space. This reveals that solutions with net through internal biochemical loops are feasible, which violates second law thermodynamics. Such unbounded fluxes may be eliminated extending thermodynamic constraints. Results: We present a new algorithm...

10.1093/bioinformatics/btt059 article EN Bioinformatics 2013-02-06

Constraint-based modeling of genome-scale metabolic network reconstructions has become a widely used approach in computational biology. Flux coupling analysis is constraint-based method that analyses the impact single reaction knockouts on other reactions network. We present an extension flux for double and multiple gene or knockouts, develop corresponding algorithms silico simulation. To evaluate our method, we perform full knockout selection compare results. A prototype implementation...

10.1186/s13015-014-0028-y article EN cc-by Algorithms for Molecular Biology 2015-01-08

10.1007/s10472-025-09981-x article EN cc-by Annals of Mathematics and Artificial Intelligence 2025-04-16

10.1016/j.dam.2008.06.039 article EN publisher-specific-oa Discrete Applied Mathematics 2008-09-10

Abstract Motivation: The reconstruction of metabolic networks at the genome scale has allowed analysis pathways an unprecedented level complexity. Elementary flux modes (EFMs) are appropriate concept for such analysis. However, their number grows in a combinatorial fashion as size network increases, which renders application EFMs approach to large difficult. Novel methods expected deal with Results: In this article, we present novel optimization-based method determining minimal generating...

10.1093/bioinformatics/btq681 article EN Bioinformatics 2010-12-10

Constraint-based analysis has become a widely used method to study metabolic networks. While some of the associated algorithms can be applied genome-scale network reconstructions with several thousands reactions, others are limited small or medium-sized models. In 2015, Erdrich et al. introduced called NetworkReducer, which reduces large networks smaller subnetworks, while preserving set biological requirements that specified by user. Already in 2001, Burgard developed mixed-integer linear...

10.1186/s12859-016-1412-z article EN cc-by BMC Bioinformatics 2017-01-03

10.1016/j.tcs.2007.11.010 article EN publisher-specific-oa Theoretical Computer Science 2007-11-26

Analysis of elementary modes (EMs) is proven to be a powerful constraint-based method in the study metabolic networks. However, enumeration EMs hard computational task. Additionally, due their large number, cannot simply used as an input for subsequent analysis. One possibility limit analysis subset interesting reactions. analysing isolated subnetwork can result finding incorrect which are not part any steady-state flux distribution original network. The ideal set describe reaction activity...

10.1186/1748-7188-7-17 article EN cc-by Algorithms for Molecular Biology 2012-05-29

Integrated modeling of metabolism and gene regulation continues to be a major challenge in computational biology. While there exist approaches like regulatory flux balance analysis (rFBA), dynamic (dFBA), resource (RBA) or enzyme-cost (deFBA) extending classical (FBA) various directions, have been no constraint-based methods so far that allow predicting the dynamics taking into account both macromolecule production costs events. In this paper, we introduce new framework named (r-deFBA),...

10.1016/j.jtbi.2020.110317 article EN cc-by-nc-nd Journal of Theoretical Biology 2020-05-21

10.1016/s0166-218x(99)00156-0 article EN publisher-specific-oa Discrete Applied Mathematics 1999-10-01

Flux coupling analysis (FCA) is a useful method for finding dependencies between fluxes of metabolic network at steady-state. FCA classifies reactions into subsets (called coupled reaction sets) in which activity one implies another reaction. Several approaches have been proposed the literature.We introduce new algorithm, FFCA (Feasibility-based Coupling Analysis), based on checking feasibility system linear inequalities. We show set benchmarks that genome-scale networks faster than other...

10.1186/1471-2105-12-236 article EN cc-by BMC Bioinformatics 2011-06-15

10.1007/s00285-013-0731-1 article EN Journal of Mathematical Biology 2013-10-18
Coming Soon ...