VSL 2014: VIENNA SUMMER OF LOGIC 2014

C
Carbone, Alessandra	TBA
D
de Maria, Elisabetta	A Logical Framework for Systems Biology
Despeyroux, Joelle	A Logical Framework for Systems Biology
F
Felty, Amy	A Logical Framework for Systems Biology
Feret, Jerome	An algebraic approach for inferring and using symmetries in rule-based models
H
Henzinger, Thomas	Model Checking the Evolution of Gene Regulatory Networks
L
Lhoussaine, Cedric	Attractor equivalence: An observational semantics for reaction networks
S
Siegel, Anne	Using answer set programming to integrate large-scale heterogeneous information about the response of a biological system
U
Uhrmacher, Adelinde	The role of domain specific languages in simulation studies - Analyzing the impact of membrane dynamics on the Wnt signaling pathway

Disclaimer | Powered by EasyChair Smart Program