Pub Date : 2008-06-04DOI: 10.1007/978-3-540-68413-8_3
W. Sandmann, V. Wolf
{"title":"Computational Probability for Systems Biology","authors":"W. Sandmann, V. Wolf","doi":"10.1007/978-3-540-68413-8_3","DOIUrl":"https://doi.org/10.1007/978-3-540-68413-8_3","url":null,"abstract":"","PeriodicalId":265205,"journal":{"name":"Formal Methods in Systems Biology","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124789163","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-04DOI: 10.1007/978-3-540-68413-8_4
Elzbieta Krepska, Nicola Bonzanni, Anton Feenstra, W. Fokkink, T. Kielmann, H. Bal, J. Heringa
{"title":"Design Issues for Qualitative Modelling of Biological Cells with Petri Nets","authors":"Elzbieta Krepska, Nicola Bonzanni, Anton Feenstra, W. Fokkink, T. Kielmann, H. Bal, J. Heringa","doi":"10.1007/978-3-540-68413-8_4","DOIUrl":"https://doi.org/10.1007/978-3-540-68413-8_4","url":null,"abstract":"","PeriodicalId":265205,"journal":{"name":"Formal Methods in Systems Biology","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122982333","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-04DOI: 10.1007/978-3-540-68413-8_5
O. Tymchyshyn, M. Kwiatkowska
{"title":"Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis","authors":"O. Tymchyshyn, M. Kwiatkowska","doi":"10.1007/978-3-540-68413-8_5","DOIUrl":"https://doi.org/10.1007/978-3-540-68413-8_5","url":null,"abstract":"","PeriodicalId":265205,"journal":{"name":"Formal Methods in Systems Biology","volume":"112 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120856529","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-04DOI: 10.1007/978-3-540-68413-8_7
F. Fages, S. Soliman
{"title":"From Reaction Models to Influence Graphs and Back: A Theorem","authors":"F. Fages, S. Soliman","doi":"10.1007/978-3-540-68413-8_7","DOIUrl":"https://doi.org/10.1007/978-3-540-68413-8_7","url":null,"abstract":"","PeriodicalId":265205,"journal":{"name":"Formal Methods in Systems Biology","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127808853","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-04DOI: 10.1007/978-3-540-68413-8_8
V. Danos, Jérôme Feret, W. Fontana, Russell Harmer, J. Krivine
{"title":"Rule-Based Modelling, Symmetries, Refinements","authors":"V. Danos, Jérôme Feret, W. Fontana, Russell Harmer, J. Krivine","doi":"10.1007/978-3-540-68413-8_8","DOIUrl":"https://doi.org/10.1007/978-3-540-68413-8_8","url":null,"abstract":"","PeriodicalId":265205,"journal":{"name":"Formal Methods in Systems Biology","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130449071","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-04DOI: 10.1007/978-3-540-68413-8_2
J. Fisher, T. Henzinger, M. Mateescu, Nir Piterman
{"title":"Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions","authors":"J. Fisher, T. Henzinger, M. Mateescu, Nir Piterman","doi":"10.1007/978-3-540-68413-8_2","DOIUrl":"https://doi.org/10.1007/978-3-540-68413-8_2","url":null,"abstract":"","PeriodicalId":265205,"journal":{"name":"Formal Methods in Systems Biology","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126499045","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-04DOI: 10.1007/978-3-540-68413-8_6
O. Maler, Grégory Batt
{"title":"Approximating Continuous Systems by Timed Automata","authors":"O. Maler, Grégory Batt","doi":"10.1007/978-3-540-68413-8_6","DOIUrl":"https://doi.org/10.1007/978-3-540-68413-8_6","url":null,"abstract":"","PeriodicalId":265205,"journal":{"name":"Formal Methods in Systems Biology","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114088935","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-04DOI: 10.1007/978-3-540-68413-8_9
A. Uhrmacher, J. Himmelspach, M. Jeschke, Mathias John, Stefan Leye, Carsten Maus, M. Röhl, Roland Ewald
{"title":"One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II","authors":"A. Uhrmacher, J. Himmelspach, M. Jeschke, Mathias John, Stefan Leye, Carsten Maus, M. Röhl, Roland Ewald","doi":"10.1007/978-3-540-68413-8_9","DOIUrl":"https://doi.org/10.1007/978-3-540-68413-8_9","url":null,"abstract":"","PeriodicalId":265205,"journal":{"name":"Formal Methods in Systems Biology","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115950183","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2008-06-01DOI: 10.1007/978-3-540-68413-8
J. Fisher
{"title":"Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings","authors":"J. Fisher","doi":"10.1007/978-3-540-68413-8","DOIUrl":"https://doi.org/10.1007/978-3-540-68413-8","url":null,"abstract":"","PeriodicalId":265205,"journal":{"name":"Formal Methods in Systems Biology","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115530891","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：