Výpis publikací

STRECK, Adam, Juraj KOLČÁK, Heike SIEBERT a David ŠAFRÁNEK. Esther: Introducing an Online Platform for Parameter Identification of Boolean Networks. In A. Gupta. Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings. Heidelberg: Springer, 2013, s. 257-258. ISBN 978-3-642-40707-9.

BARNAT, Jiří, Luboš BRIM, Adam KREJČÍ, Adam STRECK, David ŠAFRÁNEK, Martin VEJNÁR a Tomáš VEJPUSTEK. On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics. Los Alamitos: IEEE Computer Society, 2012, roč. 9, č. 3, s. 693-705. ISSN 1545-5963. Dostupné z: https://dx.doi.org/10.1109/TCBB.2011.110.

KLARNER, Hannes, Adam STRECK, David ŠAFRÁNEK, Juraj KOLČÁK a Heike SIEBERT. Parameter Identification and Model Ranking of Thomas Networks. In Computational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings. Berlin: Springer, 2012, s. 207-226. ISBN 978-3-642-33635-5. Dostupné z: https://dx.doi.org/10.1007/978-3-642-33636-2_13.