An algebraic approach for inferring and using symmetries in rule-based models (abstract)

Using answer set programming to integrate large-scale heterogeneous information about the response of a biological system (abstract)

Attractor equivalence: An observational semantics for reaction networks (abstract)

A Logical Framework for Systems Biology (abstract)

TBA (abstract)

Model Checking the Evolution of Gene Regulatory Networks (abstract)

The role of domain specific languages in simulation studies - Analyzing the impact of membrane dynamics on the Wnt signaling pathway (abstract)