CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Hybrid Systems Biology: Second International Workshop, HSB 2013 Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014 Vienna, Austria, July 23–24, 2014 Revised Selected Papers
Oded Maler
,
Ádám Halász
,
Thao Dang
,
Carla Piazza
2015-01-01
Cite
DOI
URL
Publication
LECTURE NOTES IN COMPUTER SCIENCE
Related
Set-Based Analysis for Biological Modeling
Parameter synthesis of polynomial dynamical systems
Reachability computation for polynomial dynamical systems
Parallelotope bundles for polynomial reachability
Parameter Synthesis Through Temporal Logic Specifications
Cite
×