Dr. Utz-Uwe Haus

Modelling Signaling Networks and a Linear Satisfiability Algorithm
for certain 3CNF Formulas
-joint work with Kathrin Niermann, Klaus Truemper, Robert Weismantel-

We will present a method to construct a boolean model for
signaling events in a cell. For human peripheral blood
T-cells, we have established such a model (Saez-Rodriguerz et
al., 2007), and extended in the last 2 years. We present
mathematical challenges inherent in computations with the
model, namely properties of the resulting satisfiability
problem, and methods to study infeasibility (from modeling
errors, contraditory data, missing timing information). We
present tools for data collection, visualization and for
efficient generation of maximal feasible subsystems.