TY - JOUR AU - Ideker, T. AU - Galitski, T. AU - Hood, L. PY - 2001 DA - 2001// TI - A new approach to decoding life: systems biology JO - Annu Rev Genomics Hum Genet VL - 2 UR - https://doi.org/10.1146/annurev.genom.2.1.343 DO - 10.1146/annurev.genom.2.1.343 ID - Ideker2001 ER - TY - JOUR AU - Kitano, H. PY - 2002 DA - 2002// TI - Systems biology: a brief overview JO - Science VL - 295 UR - https://doi.org/10.1126/science.1069492 DO - 10.1126/science.1069492 ID - Kitano2002 ER - TY - JOUR AU - Benner, S. A. AU - Sismour, A. M. PY - 2005 DA - 2005// TI - Synthetic biology JO - Nat Rev Genet VL - 6 UR - https://doi.org/10.1038/nrg1637 DO - 10.1038/nrg1637 ID - Benner2005 ER - TY - JOUR AU - Endy, D. PY - 2005 DA - 2005// TI - Foundations for engineering biology JO - Nature VL - 438 UR - https://doi.org/10.1038/nature04342 DO - 10.1038/nature04342 ID - Endy2005 ER - TY - JOUR AU - Cvijovic, M. AU - Almquist, J. AU - Hagmar, J. AU - Hohmann, S. AU - Kaltenbach, H. -. M. AU - Klipp, E. AU - Krantz, M. AU - Mendes, P. AU - Nelander, S. AU - Nielsen, J. AU - Pagnani, A. AU - Przulj, N. AU - Raue, A. AU - Stelling, J. AU - Stoma, S. AU - Tobin, F. AU - Wodke, J. A. H. AU - Zecchina, R. AU - Jirstrand, M. PY - 2014 DA - 2014// TI - Bridging the gaps in systems biology JO - Mol Genet Genom VL - 289 UR - https://doi.org/10.1007/s00438-014-0843-3 DO - 10.1007/s00438-014-0843-3 ID - Cvijovic2014 ER - TY - JOUR AU - Dada, J. O. AU - Mendes, P. PY - 2011 DA - 2011// TI - Multi-scale modelling and simulation in systems biology JO - Integr Biol (Camb) VL - 3 UR - https://doi.org/10.1039/c0ib00075b DO - 10.1039/c0ib00075b ID - Dada2011 ER - TY - JOUR AU - Weber, W. AU - Fussenegger, M. PY - 2012 DA - 2012// TI - Emerging biomedical applications of synthetic biology JO - Nat Rev Genet VL - 13 ID - Weber2012 ER - TY - JOUR AU - Kohl, P. AU - Noble, D. PY - 2009 DA - 2009// TI - Systems biology and the virtual physiological human JO - Mol Syst Biol VL - 5 UR - https://doi.org/10.1038/msb.2009.51 DO - 10.1038/msb.2009.51 ID - Kohl2009 ER - TY - STD TI - Kurachi Y: High Definition Physiology project. [http://hd-physiology.jp/] Accessed 2014-04-07. UR - http://hd-physiology.jp/ ID - ref9 ER - TY - JOUR AU - Cheng, A. A. AU - Lu, T. K. PY - 2012 DA - 2012// TI - Synthetic biology: an emerging engineering discipline JO - Annu Rev Biomed Eng VL - 14 UR - https://doi.org/10.1146/annurev-bioeng-071811-150118 DO - 10.1146/annurev-bioeng-071811-150118 ID - Cheng2012 ER - TY - BOOK AU - Clarke, E. M. AU - Grumberg, O. AU - Peled, D. PY - 1999 DA - 1999// TI - Model Checking PB - MIT Press CY - Cambridge ID - Clarke1999 ER - TY - BOOK AU - Baier, C. AU - Katoen, J. -. P. PY - 2008 DA - 2008// TI - Principles of Model Checking PB - The MIT Press CY - Cambridge, London, England ID - Baier2008 ER - TY - CHAP AU - Emerson, E. A. ED - Jan van, L. e. e. u. w. e. n. PY - 1995 DA - 1995// TI - Temporal and modal logic BT - Handbook of Theoretical Computer Science PB - MIT Press CY - Cambridge ID - Emerson1995 ER - TY - STD TI - Konur S. A survey on temporal logics. arXiv e-print 1005.3199, Department of Computer Science, University of Liverpool May 2010. [http://arxiv.org/abs/1005.3199] Accessed 2013-07-03. UR - http://arxiv.org/abs/1005.3199 ID - ref14 ER - TY - JOUR AU - Finkbeiner, B. AU - Sipma, H. PY - 2001 DA - 2001// TI - Checking finite traces using alternating automata JO - Electron Notes Theor Comput Sci VL - 55 UR - https://doi.org/10.1016/S1571-0661(04)00250-6 DO - 10.1016/S1571-0661(04)00250-6 ID - Finkbeiner2001 ER - TY - CHAP AU - Pnueli, A. PY - 1977 DA - 1977// TI - The temporal logic of programs BT - 18th Annual Symposium on Foundations of Computer Science: 31 October-2 November 1977; Providence, RI, USA PB - IEEE CY - New York ID - Pnueli1977 ER - TY - CHAP AU - Jha, S. K. AU - Clarke, E. M. AU - Langmead, C. J. AU - Legay, A. AU - Platzer, A. AU - Zuliani, P. ED - Degano, P. ED - Gorrieri, R. PY - 2009 DA - 2009// TI - A bayesian approach to model checking biological systems BT - Computational Methods in Systems Biology. Lecture Notes in Computer Science PB - Springer CY - Bologna UR - https://doi.org/10.1007/978-3-642-03845-7_15 DO - 10.1007/978-3-642-03845-7_15 ID - Jha2009 ER - TY - CHAP AU - Zuliani, P. AU - Platzer, A. AU - Clarke, E. M. PY - 2010 DA - 2010// TI - Bayesian statistical model checking with application to Simulink/Stateflow verification BT - Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control. HSCC ‘10 PB - ACM CY - New York UR - https://doi.org/10.1145/1755952.1755987 DO - 10.1145/1755952.1755987 ID - Zuliani2010 ER - TY - CHAP AU - Chabrier, N. AU - Fages, F. ED - Priami, C. PY - 2003 DA - 2003// TI - Symbolic model checking of biochemical networks BT - Computational Methods in Systems Biology. Lecture Notes in Computer Science PB - Springer CY - Rovereto UR - https://doi.org/10.1007/3-540-36481-1_13 DO - 10.1007/3-540-36481-1_13 ID - Chabrier2003 ER - TY - JOUR AU - Kwiatkowska, M. AU - Norman, G. AU - Parker, D. PY - 2008 DA - 2008// TI - Using probabilistic model checking in systems biology JO - SIGMETRICS Perform Eval Rev VL - 35 UR - https://doi.org/10.1145/1364644.1364651 DO - 10.1145/1364644.1364651 ID - Kwiatkowska2008 ER - TY - JOUR AU - Barbuti, R. AU - Levi, F. AU - Milazzo, P. AU - Scatena, G. PY - 2012 DA - 2012// TI - Probabilistic model checking of biological systems with uncertain kinetic rates JO - Theor Comput Sci VL - 419 UR - https://doi.org/10.1016/j.tcs.2011.10.022 DO - 10.1016/j.tcs.2011.10.022 ID - Barbuti2012 ER - TY - CHAP AU - Barnat, J. AU - Brim, L. AU - Sǎfránek, D. AU - Vejnár, M. PY - 2010 DA - 2010// TI - Parameter scanning by parallel model checking with applications in systems biology BT - Second International Workshop on Parallel and Distributed Methods in Verification, 2010 Ninth International Workshop On, and High Performance Computational Systems Biology: 30 September-1 October 2010; Enschede PB - IEEE CY - New York ID - Barnat2010 ER - TY - JOUR AU - Jha, S. K. AU - Langmead, C. J. PY - 2011 DA - 2011// TI - Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement JO - Theor Comput Sci VL - 412 UR - https://doi.org/10.1016/j.tcs.2011.01.012 DO - 10.1016/j.tcs.2011.01.012 ID - Jha2011 ER - TY - JOUR AU - Rizk, A. AU - Batt, G. AU - Fages, F. AU - Soliman, S. PY - 2011 DA - 2011// TI - Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures JO - Theor Comput Sci VL - 412 UR - https://doi.org/10.1016/j.tcs.2010.05.008 DO - 10.1016/j.tcs.2010.05.008 ID - Rizk2011 ER - TY - CHAP AU - Madsen, C. AU - Myers, C. AU - Roehner, N. AU - Winstead, C. AU - Zhang, Z. PY - 2012 DA - 2012// TI - Utilizing stochastic model checking to analyze genetic circuits BT - 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB): 9-12 May 2012 PB - IEEE CY - San Diego, CA, New York UR - https://doi.org/10.1109/CIBCB.2012.6217255 DO - 10.1109/CIBCB.2012.6217255 ID - Madsen2012 ER - TY - JOUR AU - Rizk, A. AU - Batt, G. AU - Fages, F. AU - Soliman, S. PY - 2009 DA - 2009// TI - A general computational method for robustness analysis with applications to synthetic gene networks JO - Bioinformatics VL - 25 UR - https://doi.org/10.1093/bioinformatics/btp200 DO - 10.1093/bioinformatics/btp200 ID - Rizk2009 ER - TY - STD TI - Yordanov B, Belta C: A formal verification approach to the design of synthetic gene networks. CoRR2011abs/1109.1275. arXiv:1109.1275 [cs, math, q-bio], 2011. Accessed 2014-04-14. ID - ref27 ER - TY - CHAP AU - Brim, L. AU - Češka, M. AU - Šafránek, D. ED - Bernardo, M. ED - Vink, E. d. ED - Pierro, A. D. ED - Wiklicky, H. PY - 2013 DA - 2013// TI - Model checking of biological systems BT - Formal Methods for Dynamical Systems. Lecture Notes in Computer Science PB - Springer CY - Bertinoro UR - https://doi.org/10.1007/978-3-642-38874-3_3 DO - 10.1007/978-3-642-38874-3_3 ID - Brim2013 ER - TY - STD TI - Zuliani P: Statistical model checking for biological applications. CoRR2014,abs/1405.2705. arXiv:1405.2705 [cs, q-bio], 2014. Accessed 2014-05-17. ID - ref29 ER - TY - CHAP AU - Heiner, M. AU - Rohr, C. AU - Schwarick, M. ED - Colom, J. -. M. ED - Desel, J. PY - 2013 DA - 2013// TI - MARCIE – model checking and reachability analysis done efficiently BT - Application and Theory of Petri Nets and Concurrency. Lecture Notes in Computer Science PB - Springer CY - Milano UR - https://doi.org/10.1007/978-3-642-38697-8_21 DO - 10.1007/978-3-642-38697-8_21 ID - Heiner2013 ER - TY - CHAP AU - Kwiatkowska, M. AU - Norman, G. AU - Parker, D. ED - Gopalakrishnan, G. ED - Qadeer, S. PY - 2011 DA - 2011// TI - PRISM 4.0: Verification of probabilistic real-time systems BT - Computer Aided Verification. Lecture Notes in Computer Science PB - Springer CY - Snowbird UR - https://doi.org/10.1007/978-3-642-22110-1_47 DO - 10.1007/978-3-642-22110-1_47 ID - Kwiatkowska2011 ER - TY - JOUR AU - Appelmelk, B. J. AU - Shiberu, B. AU - Trinks, C. AU - Tapsi, N. AU - Zheng, P. Y. AU - Verboom, T. AU - Maaskant, J. AU - Hokke, C. H. AU - Schiphorst, W. E. C. M. AU - Blanchard, D. AU - Simoons-Smit, I. M. AU - van den Eijnden, D. H. AU - Vandenbroucke-Grauls, C. M. J. E. PY - 1998 DA - 1998// TI - Phase variation in helicobacter pylori lipopolysaccharide JO - Infect Immun VL - 66 ID - Appelmelk1998 ER - TY - STD TI - Weijer C: Dictyostelium discoideum webpage. [http://www.personal.dundee.ac.uk/~cjweijer/dictyweb/] Accessed 2014-09-23. UR - http://www.personal.dundee.ac.uk/~cjweijer/dictyweb/ ID - ref33 ER - TY - STD TI - Younes HLS: Verification and planning for stochastic processes with asynchronous events. Doctor of philosophy,Carnegie Mellon, Pittsburgh, 2005. ID - ref34 ER - TY - CHAP AU - Pârvu, O. AU - Gilbert, D. AU - Heiner, M. AU - Liu, F. AU - Saunders, N. ED - Gupta, A. ED - Henzinger, T. A. PY - 2013 DA - 2013// TI - Modelling and analysis of phase variation in bacterial colony growth BT - Computational Methods in Systems Biology. Lecture Notes in Computer Science PB - Springer CY - Klosterneuburg UR - https://doi.org/10.1007/978-3-642-40708-6_7 DO - 10.1007/978-3-642-40708-6_7 ID - Pârvu2013 ER - TY - JOUR AU - Saunders, N. J. AU - Moxon, E. R. AU - Gravenor, M. B. PY - 2003 DA - 2003// TI - Mutation rates: estimating phase variation rates when fitness differences are present and their impact on population structure JO - Microbiology VL - 149 UR - https://doi.org/10.1099/mic.0.25807-0 DO - 10.1099/mic.0.25807-0 ID - Saunders2003 ER - TY - BOOK AU - Szeliski, R. PY - 2010 DA - 2010// TI - Computer Vision: Algorithms and Applications PB - Springer CY - New York ID - Szeliski2010 ER - TY - BOOK AU - Bradski, G. AU - Kaehler, A. PY - 2008 DA - 2008// TI - Learning OpenCV: Computer Vision with the OpenCV Library PB - O’Reilly CY - Cambridge ID - Bradski2008 ER - TY - STD TI - Itseez: OpenCV documentation2013. [http://docs.opencv.org] UR - http://docs.opencv.org ID - ref39 ER - TY - JOUR AU - Jain, A. K. PY - 2010 DA - 2010// TI - Data clustering: 50 years beyond k-means JO - Pattern Recogn Lett VL - 31 UR - https://doi.org/10.1016/j.patrec.2009.09.011 DO - 10.1016/j.patrec.2009.09.011 ID - Jain2010 ER - TY - BOOK AU - Ester, M. AU - Xu, X. PY - 1996 DA - 1996// TI - A Density-Based Algorithm for Discovering Clusters in Large Spatial Databases with Noise PB - AAAI Press CY - Menlo Park ID - Ester1996 ER - TY - JOUR AU - Tran, T. N. AU - Drab, K. AU - Daszykowski, M. PY - 2013 DA - 2013// TI - Revised DBSCAN algorithm to cluster data with dense adjacent clusters JO - Chemometr Intell Lab Syst VL - 120 UR - https://doi.org/10.1016/j.chemolab.2012.11.006 DO - 10.1016/j.chemolab.2012.11.006 ID - Tran2013 ER - TY - JOUR AU - O’Rourke, J. AU - Aggarwal, A. AU - Maddila, S. AU - Baldwin, M. PY - 1986 DA - 1986// TI - An optimal algorithm for finding minimal enclosing triangles JO - J Algorithm VL - 7 UR - https://doi.org/10.1016/0196-6774(86)90007-6 DO - 10.1016/0196-6774(86)90007-6 ID - O’Rourke1986 ER - TY - JOUR AU - Freeman, H. AU - Shapira, R. PY - 1975 DA - 1975// TI - Determining the minimum-area encasing rectangle for an arbitrary closed curve JO - Commun ACM VL - 18 UR - https://doi.org/10.1145/360881.360919 DO - 10.1145/360881.360919 ID - Freeman1975 ER - TY - STD TI - Toussaint GT: Solving geometric problems with the rotating calipers. In Proc. IEEE Melecon; 1983:10. [http://web.cs.swarthmore.edu/~adanner/cs97/s08/pdf/calipers.pdf] Accessed 2013-07-09. UR - http://web.cs.swarthmore.edu/~adanner/cs97/s08/pdf/calipers.pdf ID - ref45 ER - TY - CHAP AU - Gärtner, B. ED - Nešetřil, J. PY - 1999 DA - 1999// TI - Fast and robust smallest enclosing balls BT - Algorithms - ESA ‘99. Lecture Notes in Computer Science PB - Springer CY - Prague ID - Gärtner1999 ER - TY - STD TI - Steger C: On the calculation of moments of polygons. Technical Report FGBV–96–04, Forschungsgruppe Bildverstehen (FG BV), Informatik IX, Technische Universität München, 1996. ID - ref47 ER - TY - STD TI - Parvu O: Mudi. [http://mudi.modelchecking.org/home] Accessed 2014-07-21. UR - http://mudi.modelchecking.org/home ID - ref48 ER - TY - CHAP AU - Hérault, T. AU - Lassaigne, R. AU - Magniette, F. AU - Peyronnet, S. ED - Steffen, B. ED - Levi, G. PY - 2004 DA - 2004// TI - Approximate probabilistic model checking BT - Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science PB - Springer CY - Venice UR - https://doi.org/10.1007/978-3-540-24622-0_8 DO - 10.1007/978-3-540-24622-0_8 ID - Hérault2004 ER - TY - STD TI - Langmead C: Generalized queries and bayesian statistical model checking in dynamic bayesian networks: Application to personalized medicine. In Proceedings of the 8th International Conference on Computational Systems Bioinformatics (CSB): 10-12 August, 2009; California. Edited by Life Sciences Society; 2009:201–212. ID - ref50 ER - TY - JOUR AU - Younes, H. L. AU - Simmons, R. G. PY - 2006 DA - 2006// TI - Statistical probabilistic model checking with a focus on time-bounded properties JO - Inform Comput VL - 204 UR - https://doi.org/10.1016/j.ic.2006.05.002 DO - 10.1016/j.ic.2006.05.002 ID - Younes2006 ER - TY - CHAP AU - Sen, K. AU - Viswanathan, M. AU - Agha, G. ED - Alur, R. ED - Peled, D. A. PY - 2004 DA - 2004// TI - Statistical model checking of black-box probabilistic systems BT - Computer Aided Verification. Lecture Notes in Computer Science PB - Springer CY - Boston UR - https://doi.org/10.1007/978-3-540-27813-9_16 DO - 10.1007/978-3-540-27813-9_16 ID - Sen2004 ER - TY - CHAP AU - Younes, H. L. S. ED - Etessami, K. ED - Rajamani, S. K. PY - 2005 DA - 2005// TI - Probabilistic verification for “Black-Box” systems BT - Computer Aided Verification. Lecture Notes in Computer Science PB - Springer CY - Edinburgh UR - https://doi.org/10.1007/11513988_25 DO - 10.1007/11513988_25 ID - Younes2005 ER - TY - STD TI - Koh CH, Palaniappan SK, Thiagarajan PS, Wong L: Improved statistical model checking methods for pathway analysis. BMC Bioinformatics2012, 15(Suppl 17). PMID: 23282174. Accessed 2013-10-31. ID - ref54 ER - TY - STD TI - Jha S, Clarke E, Langmead C Legay, A, Platzer A, Zuliani P: Statistical model checking for complex stochastic models in systems biology. [http://repository.cmu.edu/cgi/viewcontent.cgi?article=2244&context=compsci] UR - http://repository.cmu.edu/cgi/viewcontent.cgi?article=2244&context=compsci ID - ref55 ER - TY - JOUR AU - Salaün, L. AU - Snyder, L. A. AU - Saunders, N. J. PY - 2003 DA - 2003// TI - Adaptation by phase variation in pathogenic bacteria JO - Adv Appl Microbiol VL - 52 UR - https://doi.org/10.1016/S0065-2164(03)01011-6 DO - 10.1016/S0065-2164(03)01011-6 ID - Salaün2003 ER - TY - JOUR AU - Salaün, L. AU - Ayraud, S. AU - Saunders, N. J. PY - 2005 DA - 2005// TI - Phase variation mediated niche adaptation during prolonged experimental murine infection with helicobacter pylori JO - Microbiology (Reading, England) VL - 151 UR - https://doi.org/10.1099/mic.0.27379-0 DO - 10.1099/mic.0.27379-0 ID - Salaün2005 ER - TY - CHAP AU - Heiner, M. AU - Herajy, M. AU - Liu, F. AU - Rohr, C. AU - Schwarick, M. ED - Haddad, S. ED - Pomello, L. PY - 2012 DA - 2012// TI - Snoopy – a unifying petri net tool BT - Application and Theory of Petri Nets. Lecture Notes in Computer Science PB - Springer CY - Hamburg ID - Heiner2012 ER - TY - JOUR AU - Cai, H. AU - Devreotes, P. N. PY - 2011 DA - 2011// TI - Moving in the right direction: How eukaryotic cells migrate along chemical gradients JO - Semin Cell Dev Biol VL - 22 UR - https://doi.org/10.1016/j.semcdb.2011.07.020 DO - 10.1016/j.semcdb.2011.07.020 ID - Cai2011 ER - TY - JOUR AU - Jin, T. PY - 2013 DA - 2013// TI - Gradient sensing during chemotaxis JO - Curr Opin Cell Biol VL - 25 UR - https://doi.org/10.1016/j.ceb.2013.06.007 DO - 10.1016/j.ceb.2013.06.007 ID - Jin2013 ER - TY - JOUR AU - Jilkine, A. AU - Edelstein-Keshet, L. PY - 2011 DA - 2011// TI - A comparison of mathematical models for polarization of single eukaryotic cells in response to guided cues JO - PLoS Comput Biol VL - 7 UR - https://doi.org/10.1371/journal.pcbi.1001121 DO - 10.1371/journal.pcbi.1001121 ID - Jilkine2011 ER - TY - JOUR AU - Starruß, J. AU - Back, W. d. AU - Brusch, L. AU - Deutsch, A. PY - 2014 DA - 2014// TI - Morpheus: a user-friendly modeling environment for multiscale and multicellular systems biology JO - Bioinformatics VL - 30 UR - https://doi.org/10.1093/bioinformatics/btt772 DO - 10.1093/bioinformatics/btt772 ID - Starruß2014 ER - TY - JOUR AU - Graner, F. AU - Glazier, J. A. PY - 1992 DA - 1992// TI - Simulation of biological cell sorting using a two-dimensional extended potts model JO - Phys Rev Lett VL - 69 UR - https://doi.org/10.1103/PhysRevLett.69.2013 DO - 10.1103/PhysRevLett.69.2013 ID - Graner1992 ER - TY - JOUR AU - Stoma, S. AU - Fröhlich, M. AU - Gerber, S. AU - Klipp, E. PY - 2011 DA - 2011// TI - STSE: spatio-temporal simulation environment dedicated to biology JO - BMC Bioinformatics VL - 12 UR - https://doi.org/10.1186/1471-2105-12-126 DO - 10.1186/1471-2105-12-126 ID - Stoma2011 ER - TY - CHAP AU - Jha, S. AU - Ramanathan, A. PY - 2012 DA - 2012// TI - Quantifying uncertainty in epidemiological models BT - 2012 ASE/IEEE International Conference on BioMedical Computing (BioMedCom): 14-16 December 2012 PB - IEEE CY - Washington, DC, New York UR - https://doi.org/10.1109/BioMedCom.2012.20 DO - 10.1109/BioMedCom.2012.20 ID - Jha2012 ER - TY - CHAP AU - Hussain, F. AU - Jha, S. K. AU - Ramanathan, A. AU - Pullum, L. L. PY - 2014 DA - 2014// TI - EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth BT - 4th International Conference on Computational Advances in Bio and Medical Sciences (ICCABS): 2-4 June 2014; Miami, FL PB - IEEE CY - New York ID - Hussain2014 ER - TY - JOUR AU - Rousseeuw, P. J. PY - 1987 DA - 1987// TI - Silhouettes: a graphical aid to the interpretation and validation of cluster analysis JO - J Comput Appl Math VL - 20 UR - https://doi.org/10.1016/0377-0427(87)90125-7 DO - 10.1016/0377-0427(87)90125-7 ID - Rousseeuw1987 ER - TY - JOUR AU - Arbelaitz, O. AU - Gurrutxaga, I. AU - Muguerza, J. AU - Pérez, J. M. AU - Perona, I. PY - 2013 DA - 2013// TI - An extensive comparative study of cluster validity indices JO - Pattern Recogn VL - 46 UR - https://doi.org/10.1016/j.patcog.2012.07.021 DO - 10.1016/j.patcog.2012.07.021 ID - Arbelaitz2013 ER -