{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T18:51:51Z","timestamp":1770749511231,"version":"3.50.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540716808","type":"print"},{"value":"9783540716815","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71681-5_5","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T12:07:05Z","timestamp":1179403625000},"page":"62-76","source":"Crossref","is-referenced-by-count":44,"title":["An Efficient Method for Dynamic Analysis of Gene Regulatory Networks and in\u00a0silico Gene Perturbation Experiments"],"prefix":"10.1007","author":[{"given":"Abhishek","family":"Garg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Xenarios","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Mendoza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"DeMicheli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Trans. on Computers\u00a035, 677\u2013691 (1986)","journal-title":"IEEE Trans. on Computers"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1109\/43.275352","volume":"13","author":"J.R. Burch","year":"1994","unstructured":"Burch, J.R., Clarke, E.M., Long, D.E., MacMillan, K.L., Dill, D.L.: Symbolic Model Checking for Sequential Circuit Verification. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems\u00a013, 401\u2013424 (1994)","journal-title":"IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"5_CR3","unstructured":"Touati, H.J, Savoj, H., Lin, B., Brayton, R.K., Sangiovanni-Vincentelli, A.: Implicit state enumeration of finite-state machines using BDDs. In: Proc. of ICCAD (1990)"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1023381027062","volume":"23","author":"D. Agnello","year":"2003","unstructured":"Agnello, D., Lankford, C.S.R., Bream, J., Morinobu, A., Gadina, M., OShea, J., Frucht, D.M.: Cytokines and transcription factors that regulate T helper cell differentiation: new players and new insights. J. Clin. Immun.\u00a023, 147\u2013162 (2003)","journal-title":"J. Clin. Immun."},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1006\/bulm.2000.0215","volume":"63","author":"C. Bergmann","year":"2001","unstructured":"Bergmann, C., van Hemmen, J.L.: Th1 or Th2: how an appropriate T helper response can be made. Bull. Math. Bio.\u00a063, 405\u2013430 (2001)","journal-title":"Bull. Math. Bio."},{"key":"5_CR6","first-page":"365","volume":"16","author":"G.R. Krueger","year":"2002","unstructured":"Krueger, G.R., Marshall, G.R., Junker, U., Schroeder, H., Buja, L.M., Wang, G.: Growth factors, cytokines, chemokines and neuropeptides in the modeling of T-cells. In Vivo\u00a016, 365\u2013586 (2002)","journal-title":"In Vivo"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.biosystems.2005.10.004","volume":"84","author":"L. Mendoza","year":"2006","unstructured":"Mendoza, L.: A network model for the control of the differentiation process in Th cells. BioSystems\u00a084, 101\u2013114 (2006)","journal-title":"BioSystems"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Mendoza, L., Xenarios, I.: A method for the generation of standardized qualitative dynamical systems of regulatory networks. Theoretical Biology and Medical Modelling\u00a03 (2006)","DOI":"10.1186\/1742-4682-3-13"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1093\/bioinformatics\/15.7.593","volume":"15","author":"L. Mendoza","year":"1999","unstructured":"Mendoza, L., Thieffry, D., Alvarez-Buylla, E.R.: Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis. BioInfo.\u00a015, 593\u2013606 (1999)","journal-title":"BioInfo."},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1038\/nri954","volume":"2","author":"K.M. Murphy","year":"2002","unstructured":"Murphy, K.M., Reiner, S.L.: The lineage decisions on helper T cells. Nat. Rev. Immun.\u00a02, 933\u2013944 (2002)","journal-title":"Nat. Rev. Immun."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1146\/annurev.immunol.21.120601.140942","volume":"21","author":"S.J. Szabo","year":"2003","unstructured":"Szabo, S.J., Sullivan, B.M., Peng, S.L., Glimcher, L.H.: Molecular mechanisms regulating Th1 immune responses. Ann. Rev. Immun.\u00a021, 713\u2013758 (2003)","journal-title":"Ann. Rev. Immun."},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1111\/j.1749-6632.2002.tb04916.x","volume":"981","author":"D. Thieffry","year":"2002","unstructured":"Thieffry, D., S\u00e1nchez, L.: Alternative epigenetic states understood in terms of specific regulatory structures. Ann. N.Y. Acad. Sci.\u00a0981, 135\u2013153 (2002)","journal-title":"Ann. N.Y. Acad. Sci."},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/S0022-5193(03)00201-7","volume":"224","author":"L. S\u00e1nchez","year":"2003","unstructured":"S\u00e1nchez, L., Thieffry, D.: Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module. Jour. Theo. Bio.\u00a0224, 517\u2013537 (2003)","journal-title":"Jour. Theo. Bio."},{"key":"5_CR14","doi-asserted-by":"publisher","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. Jour. Theo. Bio.\u00a0153, 1\u201323 (1991)","journal-title":"Jour. Theo. Bio."},{"key":"5_CR15","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF02460618","volume":"57","author":"R. Thomas","year":"1995","unstructured":"Thomas, R., Thieffry, D., Kaufman, M.: Dynamical behaviour of biological regulatory networks-I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. Math. Biology\u00a057, 247\u2013276 (1995)","journal-title":"Bull. Math. Biology"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1016\/S0022-5193(05)80374-1","volume":"146","author":"G. Weisbuch","year":"1990","unstructured":"Weisbuch, G., DeBoer, R.J., Perelson, A.S.: Localized memories in idiotypic networks. Jour. Theo. Bio.\u00a0146, 483\u2013499 (1990)","journal-title":"Jour. Theo. Bio."},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1006\/jtbi.2000.2147","volume":"206","author":"A. Yates","year":"2000","unstructured":"Yates, A., Bergmann, C., van Hemmen, J.L., Stark, J., Callard, R.: Cytokine-modulated regulation of helper T cell populations. Jour. Theo. Bio.\u00a0206, 539\u2013560 (2000)","journal-title":"Jour. Theo. Bio."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Xie, A., Beerel, P.A.: Efficient State Classification of Finite State Markov Chains. In: Proc. of DAC (1998)","DOI":"10.1145\/277044.277202"},{"key":"5_CR19","doi-asserted-by":"crossref","first-page":"1479","DOI":"10.1109\/43.552081","volume":"15","author":"G. Hachtel","year":"1996","unstructured":"Hachtel, G., Macii, E., Pardo, A., Somenzi, F.: Markovian analysis of large finite state machines. IEEE Trans. on CAD\u00a015, 1479\u20131493 (1996)","journal-title":"IEEE Trans. on CAD"},{"key":"5_CR20","unstructured":"Somenzi, F.: CUDD: CU Decision Diagram Package Release 2.4.1. University of Colorado at Boulder (2005)"},{"key":"5_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2821-6","volume-title":"Logic Minimization Algorithms for VLSI Synthesis","author":"R.K. Brayton","year":"1984","unstructured":"Brayton, R.K., Sangiovanni-Vincentelli, A.L., McMullen, C.T., Hachtel, G.D.: Logic Minimization Algorithms for VLSI Synthesis. Kluwer Academic Publishers, Dordrecht (1984)"},{"key":"5_CR22","volume-title":"Synthesis and Optimization of Digital Circuits","author":"G. DeMicheli","year":"1994","unstructured":"DeMicheli, G.: Synthesis and Optimization of Digital Circuits. McGraw-Hill Higher Education, New York (1994)"},{"key":"5_CR23","volume-title":"Proc. of the IEEE Symp. on Logic in Computer Science","author":"J.R. Burch","year":"1990","unstructured":"Burch, J.R., Clarke, E.M., MacMillan, K.L., Dill, D.L., Hwang, L.H.: Symbolic Model Checking: 1020 States and Beyond. In: Proc. of the IEEE Symp. on Logic in Computer Science, IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.: MOCHA: Modularity in Model Checking. In: CAV (1998)","DOI":"10.1007\/BFb0028774"},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1016\/S1074-7613(00)00078-9","volume":"13","author":"S. Diehl","year":"2000","unstructured":"Diehl, S., Anguita, J., Hoffmeyer, A., Zapton, T., Ihle, J.N., Fikrig, E., Rinc\u00f3n, M.: Inhibition of Th1 differentiation by IL-6 is mediated by SOCS1. Immunity\u00a013, 805\u2013815 (2000)","journal-title":"Immunity"},{"key":"5_CR26","doi-asserted-by":"crossref","first-page":"5105","DOI":"10.4049\/jimmunol.160.10.5105","volume":"160","author":"H. Tang","year":"1998","unstructured":"Tang, H., Sharp, G.C., Peterson, K.P., Braley-Mullen, H.: IFN-g-deficient mice develop severe granulomatous experimental autoimmune thyroiditis with eosinophil infiltration in thyroids. Jour. Immun.\u00a0160, 5105\u20135112 (1998)","journal-title":"Jour. Immun."},{"key":"5_CR27","doi-asserted-by":"publisher","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. Jour. Theo. Bio.\u00a0229, 339\u2013347 (2004)","journal-title":"Jour. Theo. Bio."},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"1025","DOI":"10.1016\/S0092-8240(03)00061-2","volume":"65","author":"V. Devloo","year":"2003","unstructured":"Devloo, V., Hansen, P., Labb, M.: Identification Of All Steady States In Large Biological Systems By Logical Analysis. Bull. Math. Bio.\u00a065, 1025\u20131051 (2003)","journal-title":"Bull. Math. Bio."},{"key":"5_CR29","unstructured":"Chabrier, N., Fages, F., Soliman, S.: BIOCHAM. In: Proc. of CMSB (May 2004)"}],"container-title":["Lecture Notes in Computer Science","Research in Computational Molecular Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71681-5_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T18:09:09Z","timestamp":1683828549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71681-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540716808","9783540716815"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71681-5_5","relation":{},"subject":[]}}