callback( { "result":{ "query":":facetid:toc:\"db/conf/fmsb/fmsb2008.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"182.10" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"10", "@dc":"10", "@oc":"10", "@id":"43382400", "text":":facetid:toc:db/conf/fmsb/fmsb2008.bht" } }, "hits":{ "@total":"10", "@computed":"10", "@sent":"10", "@first":"0", "hit":[{ "@score":"1", "@id":"5346335", "info":{"authors":{"author":[{"@pid":"31/6599","text":"Vincent Danos"},{"@pid":"f/JeromeFeret","text":"Jérôme Feret"},{"@pid":"91/765","text":"Walter Fontana"},{"@pid":"36/1754","text":"Russell Harmer"},{"@pid":"10/240","text":"Jean Krivine"}]},"title":"Rule-Based Modelling, Symmetries, Refinements.","venue":"FMSB","pages":"103-122","year":"2008","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmsb/DanosFFHK08","doi":"10.1007/978-3-540-68413-8_8","ee":"https://doi.org/10.1007/978-3-540-68413-8_8","url":"https://dblp.org/rec/conf/fmsb/DanosFFHK08"}, "url":"URL#5346335" }, { "@score":"1", "@id":"5346336", "info":{"authors":{"author":[{"@pid":"f/FrancoisFages","text":"François Fages"},{"@pid":"27/1068","text":"Sylvain Soliman"}]},"title":"From Reaction Models to Influence Graphs and Back: A Theorem.","venue":"FMSB","pages":"90-102","year":"2008","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmsb/FagesS08","doi":"10.1007/978-3-540-68413-8_7","ee":"https://doi.org/10.1007/978-3-540-68413-8_7","url":"https://dblp.org/rec/conf/fmsb/FagesS08"}, "url":"URL#5346336" }, { "@score":"1", "@id":"5346337", "info":{"authors":{"author":[{"@pid":"92/1761","text":"Jasmin Fisher"},{"@pid":"h/ThomasAHenzinger","text":"Thomas A. Henzinger"},{"@pid":"09/2316","text":"Maria Mateescu"},{"@pid":"p/NPiterman","text":"Nir Piterman"}]},"title":"Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.","venue":"FMSB","pages":"17-32","year":"2008","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmsb/FisherHMP08","doi":"10.1007/978-3-540-68413-8_2","ee":"https://doi.org/10.1007/978-3-540-68413-8_2","url":"https://dblp.org/rec/conf/fmsb/FisherHMP08"}, "url":"URL#5346337" }, { "@score":"1", "@id":"5346338", "info":{"authors":{"author":[{"@pid":"h/DavidHarel","text":"David Harel"},{"@pid":"50/42","text":"Yaki Setty"}]},"title":"Generic Reactive Animation: Realistic Modeling of Complex Natural Systems.","venue":"FMSB","pages":"1-16","year":"2008","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmsb/HarelS08","doi":"10.1007/978-3-540-68413-8_1","ee":"https://doi.org/10.1007/978-3-540-68413-8_1","url":"https://dblp.org/rec/conf/fmsb/HarelS08"}, "url":"URL#5346338" }, { "@score":"1", "@id":"5346339", "info":{"authors":{"author":[{"@pid":"44/2680","text":"Elzbieta Krepska"},{"@pid":"54/2733","text":"Nicola Bonzanni"},{"@pid":"06/732","text":"K. Anton Feenstra"},{"@pid":"f/WanFokkink","text":"Wan J. Fokkink"},{"@pid":"k/ThiloKielmann","text":"Thilo Kielmann"},{"@pid":"b/HenriEBal","text":"Henri E. Bal"},{"@pid":"85/5966","text":"Jaap Heringa"}]},"title":"Design Issues for Qualitative Modelling of Biological Cells with Petri Nets.","venue":"FMSB","pages":"48-62","year":"2008","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmsb/KrepskaBFFKBH08","doi":"10.1007/978-3-540-68413-8_4","ee":"https://doi.org/10.1007/978-3-540-68413-8_4","url":"https://dblp.org/rec/conf/fmsb/KrepskaBFFKBH08"}, "url":"URL#5346339" }, { "@score":"1", "@id":"5346340", "info":{"authors":{"author":[{"@pid":"m/OdedMaler","text":"Oded Maler"},{"@pid":"05/1010","text":"Grégory Batt"}]},"title":"Approximating Continuous Systems by Timed Automata.","venue":"FMSB","pages":"77-89","year":"2008","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmsb/MalerB08","doi":"10.1007/978-3-540-68413-8_6","ee":"https://doi.org/10.1007/978-3-540-68413-8_6","url":"https://dblp.org/rec/conf/fmsb/MalerB08"}, "url":"URL#5346340" }, { "@score":"1", "@id":"5346341", "info":{"authors":{"author":[{"@pid":"s/WernerSandmann","text":"Werner Sandmann"},{"@pid":"04/6065","text":"Verena Wolf"}]},"title":"Computational Probability for Systems Biology.","venue":"FMSB","pages":"33-47","year":"2008","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmsb/SandmannW08","doi":"10.1007/978-3-540-68413-8_3","ee":"https://doi.org/10.1007/978-3-540-68413-8_3","url":"https://dblp.org/rec/conf/fmsb/SandmannW08"}, "url":"URL#5346341" }, { "@score":"1", "@id":"5346342", "info":{"authors":{"author":[{"@pid":"20/6277","text":"Oksana Tymchyshyn"},{"@pid":"k/MartaZKwiatkowska","text":"Marta Z. Kwiatkowska"}]},"title":"Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis.","venue":"FMSB","pages":"63-76","year":"2008","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmsb/TymchyshynK08","doi":"10.1007/978-3-540-68413-8_5","ee":"https://doi.org/10.1007/978-3-540-68413-8_5","url":"https://dblp.org/rec/conf/fmsb/TymchyshynK08"}, "url":"URL#5346342" }, { "@score":"1", "@id":"5346343", "info":{"authors":{"author":[{"@pid":"u/AdelindeUhrmacher","text":"Adelinde M. Uhrmacher"},{"@pid":"17/3101","text":"Jan Himmelspach"},{"@pid":"50/289","text":"Matthias Jeschke"},{"@pid":"20/5443","text":"Mathias John"},{"@pid":"12/4902","text":"Stefan Leye"},{"@pid":"32/398","text":"Carsten Maus"},{"@pid":"77/448","text":"Mathias Röhl"},{"@pid":"30/5042","text":"Roland Ewald"}]},"title":"One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II.","venue":"FMSB","pages":"123-138","year":"2008","type":"Conference and Workshop Papers","access":"closed","key":"conf/fmsb/UhrmacherHJJLMRE08","doi":"10.1007/978-3-540-68413-8_9","ee":"https://doi.org/10.1007/978-3-540-68413-8_9","url":"https://dblp.org/rec/conf/fmsb/UhrmacherHJJLMRE08"}, "url":"URL#5346343" }, { "@score":"1", "@id":"5428130", "info":{"authors":{"author":{"@pid":"92/1761","text":"Jasmin Fisher"}},"title":"Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings","venue":["FMSB","Lecture Notes in Computer Science"],"volume":"5054","publisher":"Springer","year":"2008","type":"Editorship","key":"conf/fmsb/2008","doi":"10.1007/978-3-540-68413-8","ee":"https://doi.org/10.1007/978-3-540-68413-8","url":"https://dblp.org/rec/conf/fmsb/2008"}, "url":"URL#5428130" } ] } } } )