Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Bockmayr, Alexander - Fachbereich Mathematik und Informatik, Freie Universität Berlin
SCIL { Symbolic Constraints in Integer Linear Programming ?
Integer Programs and Valid Inequalities for Planning Problems
Using hybrid concurrent constraint programming to model dynamic biological systems
Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing
Combining Logic and Optimization in Cutting Plane Theory
Multiscale Modeling of Alternative Splicing Damien Eveillard 1? , Delphine Ropers 2 , Hidde de Jong 3 , Christiane Branlant 2 ,
Minimal Metabolic Behaviors and the Reversible Metabolic Space
Temporal Constraints in the Logical Analysis of Regulatory Networks
Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory
Temporal Logic and Model Alexander Bockmayr
A New Approach to Flux Coupling Analysis of Metabolic Networks
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks
Proceedings CPAIOR'03 Detecting Infeasibility and Generating
Constraint-Based Analysis of Gene Deletion in a Metabolic Network
Network flow problems in constraint programming
On Unions and Dominants of Polytopes , Alexander Bockmayr
Modeling biological systems in hybrid concurrent constraint programming
