VSL 2014: VIENNA SUMMER OF LOGIC 2014

HSB 2014 PROCEEDINGS

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Editors: Adam Halasz and Oded Maler

AuthorsTitlePaperTalk
Tommaso Dreossi, Thao Dang and Carla PiazzaParameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic ModelsJul 23 15:30
Anatoly Sorokin, Oksana Sorokina and J. Douglas ArmstrongRKappa: Statistical sampling suite for Kappa models.Jul 24 14:55
Alvis Brazma, Karlis Cerans, Dace Ruklisa, Thomas Schlitt and Juris ViksnaModeling and analysis of qualitative behavior of gene regulatory networksJul 24 09:45
Claudio Angione, Ezio Bartocci, Luca Bortolussi, Pietro Lio', Annalisa Occhipinti and Guido SanguinettiBayesian Design for Whole Cell Synthetic Biology ModelsJul 24 14:30
Alexandre Rocca, Thao Dang and Eric FanchonExploiting the eigenstructures of linear systems to speed up reachability computationJul 24 12:30
David C Sterratt, Oksana Sorokina and J Douglas ArmstrongIntegration of rule-based models and compartmental models of neuronsJul 24 11:30
Charalampos Kyriakopoulos and Verena WolfOptimal Observation Time Points in Stochastic Chemical KineticsJul 24 12:00
Donal Stewart, Stephen Gilmore and Michael CousinFM-Sim : A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian InferenceJul 23 09:45
Disclaimer | Powered by EasyChair Smart Program