{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:55Z","timestamp":1740098935595,"version":"3.37.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319674704"},{"type":"electronic","value":"9783319674711"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-67471-1_12","type":"book-chapter","created":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T15:05:14Z","timestamp":1504191914000},"page":"196-213","source":"Crossref","is-referenced-by-count":0,"title":["Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Miraglio","sequence":"first","affiliation":[]},{"given":"Gilles","family":"Bernot","sequence":"additional","affiliation":[]},{"given":"Jean-Paul","family":"Comet","sequence":"additional","affiliation":[]},{"given":"Christine Risso-de","family":"Faverney","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,1]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1006\/taap.1994.1174","volume":"128","author":"RA Barter","year":"1994","unstructured":"Barter, R.A., Klaassen, C.D.: Reduction of thyroid hormone levels and alteration of thyroid function by four representative UDP-glucuronosyltransferase inducers in rats. Toxicol. Appl. Pharmacol. 128(1), 9\u201317 (1994)","journal-title":"Toxicol. Appl. Pharmacol."},{"issue":"3","key":"12_CR2","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G Bernot","year":"2004","unstructured":"Bernot, G., Comet, J.P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: extending Thomas\u2019 asynchronous logical approach with temporal logic. J. Theor. Biol. 229(3), 339\u2013347 (2004)","journal-title":"J. Theor. Biol."},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-25974-9_14","volume-title":"Computational Methods in Systems Biology","author":"N Chabrier-Rivier","year":"2005","unstructured":"Chabrier-Rivier, N., Fages, F., Soliman, S.: The biochemical abstract machine BIOCHAM. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS, vol. 3082, pp. 172\u2013191. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-25974-9_14"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-24756-2_8","volume-title":"Integrated Formal Methods","author":"S Chaki","year":"2004","unstructured":"Chaki, S., Clarke, E.M., Ouaknine, J., Sharygina, N., Sinha, N.: State\/Event-based software model checking. In: Boiten, E.A., Derrick, J., Smith, G. (eds.) IFM 2004. LNCS, vol. 2999, pp. 128\u2013147. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24756-2_8"},{"key":"12_CR5","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Hayman, J., Krivine, J., Thompson-Walsh, C., Winskel, G.: Graphs, rewriting and pathway reconstruction for rule-based models. In: LIPIcs-Leibniz International Proceedings in Informatics, vol 18. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2012)"},{"issue":"3","key":"12_CR6","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1530\/JOE-11-0002","volume":"209","author":"M Dentice","year":"2011","unstructured":"Dentice, M., Salvatore, D.: Local impact of thyroid hormone inactivation deiodinases: the balance of thyroid hormone. J. Endocrinol. 209(3), 273\u2013282 (2011)","journal-title":"J. Endocrinol."},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-68894-5_3","volume-title":"Formal Methods for Computational Systems Biology","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Formal cell biology in biocham. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 54\u201380. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-68894-5_3"},{"issue":"6","key":"12_CR8","first-page":"1065","volume":"21","author":"H Isler","year":"1958","unstructured":"Isler, H., Leblond, C., Axelrad, A.: Influence of age and of iodine intake on the production of thyroid tumors in the rat 2. J. Natl. Cancer Inst. 21(6), 1065\u20131081 (1958)","journal-title":"J. Natl. Cancer Inst."},{"issue":"1","key":"12_CR9","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1093\/toxsci\/kfm297","volume":"103","author":"RJ Kavlock","year":"2008","unstructured":"Kavlock, R.J., Ankley, G., Blancato, J., Breen, M., Conolly, R., Dix, D., Houck, K., Hubal, E., Judson, R., Rabinowitz, J., et al.: Computational toxicologya state of the science mini review. Toxicol. Sci. 103(1), 14\u201327 (2008)","journal-title":"Toxicol. Sci."},{"key":"12_CR10","unstructured":"Kopp, P.: Thyroid Hormone Synthesis. Werner and Ingbars The Thyroid. A Fundamental and Clinical Text, 10th edn., pp. 48\u201374 (2012)"},{"issue":"3","key":"12_CR11","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1530\/JOE-10-0481","volume":"209","author":"AL Maia","year":"2011","unstructured":"Maia, A.L., Goemann, I.M., Meyer, E.L.S., Wajner, S.M.: Type 1 iodothyronine deiodinase in human physiology and disease deiodinases: the balance of thyroid hormone. J. Endocrinol. 209(3), 283\u2013297 (2011)","journal-title":"J. Endocrinol."},{"issue":"24","key":"12_CR12","doi-asserted-by":"crossref","first-page":"15776","DOI":"10.1073\/pnas.242322099","volume":"99","author":"R Marians","year":"2002","unstructured":"Marians, R., Ng, L., Blair, H., Unger, P., Graves, P., Davies, T.: Defining thyrotropin-dependent and-independent steps of thyroid hormone synthesis by using thyrotropin receptor-null mice. Proc. Natl. Acad. Sci. 99(24), 15776\u201315781 (2002)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/0378-4274(92)90213-4","volume":"64","author":"RM McClain","year":"1992","unstructured":"McClain, R.M.: Thyroid gland neoplasia: non-genotoxic mechanisms. Toxicol. Lett. 64, 397\u2013408 (1992)","journal-title":"Toxicol. Lett."},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"e020","DOI":"10.1621\/nrs.04020","volume":"4","author":"LC Moeller","year":"2006","unstructured":"Moeller, L.C., Cao, X., Dumitrescu, A.M., Seo, H., Refetoff, S.: Thyroid hormone mediated changes in gene expression can be initiated by cytosolic action of the thyroid hormone receptor beta through the phosphatidylinositol 3-kinase pathway. Nucl. Recept. Sig. 4, e020 (2006)","journal-title":"Nucl. Recept. Sig."},{"key":"12_CR15","first-page":"133","volume":"10","author":"M Nagasaki","year":"1999","unstructured":"Nagasaki, M., Onami, S., Miyano, S., Kitano, H.: Bio-calculus: Its concept and molecular interaction. Genome Inf. 10, 133\u2013143 (1999)","journal-title":"Genome Inf."},{"issue":"1","key":"12_CR16","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: an abstraction for biological compartments. Theoret. Comput. Sci. 325(1), 141\u2013167 (2004)","journal-title":"Theoret. Comput. Sci."},{"issue":"12","key":"12_CR17","doi-asserted-by":"crossref","first-page":"5961","DOI":"10.1210\/en.2010-0553","volume":"151","author":"ML Rosene","year":"2010","unstructured":"Rosene, M.L., Wittmann, G., Arrojo e Drigo, R., Singru, P.S., Lechan, R.M., Bianco, A.C.: Inhibition of the type 2 iodothyronine deiodinase underlies the elevated plasma TSH associated with amiodarone treatment. Endocrinology 151(12), 5961\u20135970 (2010)","journal-title":"Endocrinology"},{"issue":"3\u20134","key":"12_CR18","first-page":"565","volume":"4","author":"EH Snoussi","year":"1989","unstructured":"Snoussi, E.H.: Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach. Dyn. Stab. Syst. 4(3\u20134), 565\u2013583 (1989)","journal-title":"Dyn. Stab. Syst."},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-68894-5_2","volume-title":"Formal Methods for Computational Systems Biology","author":"C Talcott","year":"2008","unstructured":"Talcott, C.: Pathway logic. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 21\u201353. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-68894-5_2"},{"issue":"1","key":"12_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R Thomas","year":"1991","unstructured":"Thomas, R.: Regulatory networks seen as asynchronous automata: a logical description. J. Theor. Biol. 153(1), 1\u201323 (1991)","journal-title":"J. Theor. Biol."},{"issue":"1\u20133","key":"12_CR21","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0009-2797(94)90071-X","volume":"92","author":"TJ Visser","year":"1994","unstructured":"Visser, T.J.: Role of sulfation in thyroid hormone metabolism. Chem. Biol. Interact. 92(1\u20133), 293\u2013303 (1994)","journal-title":"Chem. Biol. Interact."},{"issue":"3","key":"12_CR22","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1530\/JOE-10-0448","volume":"209","author":"GR Williams","year":"2011","unstructured":"Williams, G.R., Bassett, J.D.: Local control of thyroid hormone action: role of type 2 deiodinase deiodinases: the balance of thyroid hormone. J. Endocrinol. 209(3), 261\u2013272 (2011)","journal-title":"J. Endocrinol."},{"issue":"1\u20132","key":"12_CR23","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1080\/10408440601123446","volume":"37","author":"RT Zoeller","year":"2007","unstructured":"Zoeller, R.T., Tan, S.W., Tyl, R.W.: General background on the hypothalamic-pituitary-thyroid (HPT) axis. Crit. Rev. Toxicol. 37(1\u20132), 11\u201353 (2007)","journal-title":"Crit. Rev. Toxicol."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67471-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T20:43:14Z","timestamp":1570048994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67471-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319674704","9783319674711"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67471-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}