{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:47:11Z","timestamp":1725706031260},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642355233"},{"type":"electronic","value":"9783642355240"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35524-0_1","type":"book-chapter","created":{"date-parts":[[2012,11,19]],"date-time":"2012-11-19T20:03:10Z","timestamp":1353355390000},"page":"1-25","source":"Crossref","is-referenced-by-count":4,"title":["Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein"],"prefix":"10.1007","author":[{"given":"Oana","family":"Andrei","sequence":"first","affiliation":[]},{"given":"Muffy","family":"Calder","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"25","key":"1_CR1","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem.\u00a081(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.entcs.2009.02.010","volume":"229","author":"F. Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Degasperi, A., Hillston, J., Calder, M.: Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. Electr. Notes Theor. Comput. Sci.\u00a0229(1), 145\u2013163 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR3","unstructured":"Bartlett, M.S.: An introduction to stochastic processes, with special reference to methods and applications, 3rd edn. Cambridge University Press (1978)"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/3212273","volume":"6","author":"J.F.C. Kingman","year":"1969","unstructured":"Kingman, J.F.C.: Markov Population Processes. Journal of Applied Probability\u00a06, 1\u201318 (1969)","journal-title":"Journal of Applied Probability"},{"issue":"2","key":"1_CR5","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0040-5809(72)90022-6","volume":"3","author":"J.E. Cohen","year":"1972","unstructured":"Cohen, J.E.: Markov population processes as models of primate social and population dynamics. Theoretical Population Biology\u00a03(2), 119\u2013134 (1972)","journal-title":"Theoretical Population Biology"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-04420-5_2","volume-title":"Reachability Problems","author":"T.A. Henzinger","year":"2009","unstructured":"Henzinger, T.A., Jobstmann, B., Wolf, V.: Formalisms for Specifying Markovian Population Models. In: Bournez, O., Potapov, I. (eds.) RP 2009. LNCS, vol.\u00a05797, pp. 3\u201323. Springer, Heidelberg (2009)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11680093_1","volume-title":"Logic Based Program Synthesis and Transformation","author":"F. Fages","year":"2006","unstructured":"Fages, F.: Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. In: Hill, P.M. (ed.) LOPSTR 2005. LNCS, vol.\u00a03901, pp. 1\u20135. Springer, Heidelberg (2006)"},{"key":"1_CR8","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-88562-7_19","volume-title":"Computational Methods in Systems Biology","author":"A. Rizk","year":"2008","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 251\u2013268. Springer, Heidelberg (2008)"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and querying biomolecular interaction networks. Theoretical Computer Science\u00a0325(1), 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"1_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2009.02.002","volume":"229","author":"P. Ballarini","year":"2009","unstructured":"Ballarini, P., Mardare, R., Mura, I.: Analysing Biochemical Oscillation through Probabilistic Model Checking. Electr. Notes Theor. Comput. Sci.\u00a0229(1), 3\u201319 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR11","unstructured":"Spieler, D., Hahn, E.M., Zhang, L.: Model Checking CSL for Markov Population Models. CoRR abs\/1111.4385 (2011)"},{"key":"1_CR12","unstructured":"J\u00falvez, J., Kwiatkowska, M.Z., Norman, G., Parker, D.: A Systematic Approach to Evaluate Sustained Stochastic Oscillations. In: Al-Mubaid, H. (ed.) Proc. of the ISCA 3rd International Conference on Bioinformatics and Computational Biology (BICoB 2011). ISCA, pp. 134\u2013139 (2011)"},{"issue":"20","key":"1_CR13","doi-asserted-by":"publisher","first-page":"2019","DOI":"10.1016\/j.tcs.2010.02.010","volume":"411","author":"P. Ballarini","year":"2010","unstructured":"Ballarini, P., Guerriero, M.L.: Query-based verification of qualitative trends and oscillations in biochemical systems. Theoretical Computer Science\u00a0411(20), 2019\u20132036 (2010)","journal-title":"Theoretical Computer Science"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2010.12.002","volume":"268","author":"O. Andrei","year":"2010","unstructured":"Andrei, O., Calder, M.: A Model and Analysis of the AKAP Scaffold. Electr. Notes Theor. Comput. Sci.\u00a0268, 3\u201315 (2010)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"6","key":"1_CR15","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C. Baier","year":"2003","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng.\u00a029(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR16","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press (2008)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M. Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic Model Checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"key":"1_CR18","volume-title":"Queueing Systems, vol I: Theory","author":"L. Kleinrock","year":"1975","unstructured":"Kleinrock, L.: Queueing Systems, vol I: Theory. John Wiley, New York (1975)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queueing networks and Markov chains: modeling and performance evaluation with computer science applications, 2nd edn. Wiley Interscience (2006)","DOI":"10.1002\/0471791571"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.entcs.2009.02.048","volume":"232","author":"F. Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Gilmore, S., Guerriero, M.L., Hillston, J.: Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. Electr. Notes Theor. Comput. Sci.\u00a0232, 17\u201338 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR21","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11905455_1","volume-title":"Transactions on Computational Systems Biology VII","author":"M. Calder","year":"2006","unstructured":"Calder, M., Gilmore, S., Hillston, J.: Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"1_CR22","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/11880646_3","volume-title":"Transactions on Computational Systems Biology VI","author":"M. Calder","year":"2006","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of Signalling Pathways Using Continuous Time Markov Chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol.\u00a04220, pp. 44\u201367. Springer, Heidelberg (2006)"},{"issue":"2","key":"1_CR23","doi-asserted-by":"publisher","first-page":"344","DOI":"10.2307\/3211904","volume":"8","author":"T.G. Kurtz","year":"1971","unstructured":"Kurtz, T.G.: Limit Theorems for Sequences of Jump Markov Processes Approximating Ordinary Differential Processes. Journal of Applied Probability\u00a08(2), 344\u2013356 (1971)","journal-title":"Journal of Applied Probability"},{"issue":"1","key":"1_CR24","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R. Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.A.: Reactive Modules. Formal Methods in System Design\u00a015(1), 7\u201348 (1999)","journal-title":"Formal Methods in System Design"},{"issue":"4","key":"1_CR25","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1530873.1530882","volume":"36","author":"M.Z. Kwiatkowska","year":"2009","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Performance Evaluation Review\u00a036(4), 40\u201345 (2009)","journal-title":"SIGMETRICS Performance Evaluation Review"},{"key":"1_CR26","first-page":"1","volume":"11","author":"M. Calder","year":"2009","unstructured":"Calder, M., Hillston, J.: Process Algebra Modelling Styles for Biomolecular Processes. T. Comp. Sys. Biology\u00a011, 1\u201325 (2009)","journal-title":"T. Comp. Sys. Biology"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"James, E., Ferrell, J.: What Do Scaffold Proteins Really Do? Sci. STKE\u00a0(52), 1\u20133 (2000)","DOI":"10.1126\/stke.2000.52.pe1"},{"key":"1_CR28","unstructured":"Andrei, O., Calder, M.: Modelling Scaffold-mediated Crosstalk between the cAMP and the Raf-1\/MEK\/ERK Pathways. In: Proceedings of the PASTA 2009 (2009)"},{"issue":"16","key":"1_CR29","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/bioinformatics\/btn275","volume":"24","author":"P.T. Monteiro","year":"2008","unstructured":"Monteiro, P.T., Ropers, D., Mateescu, R., Freitas, A.T., de Jong, H.: Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics\u00a024(16), 227\u2013233 (2008)","journal-title":"Bioinformatics"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology XIV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35524-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T20:15:30Z","timestamp":1557346530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35524-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642355233","9783642355240"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35524-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}