{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T18:36:49Z","timestamp":1791398209719,"version":"4.3.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540751397","type":"print"},{"value":"9783540751403","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75140-3_16","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T05:03:10Z","timestamp":1188536590000},"page":"233-247","source":"Crossref","is-referenced-by-count":80,"title":["Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks"],"prefix":"10.1007","author":[{"given":"Aur\u00e9lien","family":"Naldi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Denis","family":"Thieffry","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudine","family":"Chaouiya","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"16_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. Comput.\u00a035, 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"key":"16_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. Comput.-Aided Design Integrated Circuits\u00a013, 401\u2013424 (1994)","journal-title":"IEEE Trans. Comput.-Aided Design Integrated Circuits"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","first-page":"119","volume-title":"STACS 88","author":"C. Chaouiya","year":"1988","unstructured":"Chaouiya, C., Remy, E., Moss\u00e9, B., Thieffry, D.: Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework. In: Cori, R., Wirsing, M. (eds.) STACS 88. LNCS, vol.\u00a0294, pp. 119\u2013126. Springer, Heidelberg (1988)"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-540-71681-5_5","volume":"4453","author":"A. Garg","year":"2007","unstructured":"Garg, A., Xenarios, I., Mendoza, L., DeMicheli, G.: An Efficient Method for Dynamic Analysis of Gene Regulatory Networks and in-silico Gene Perturbation Experiments. Lect. Notes Comp. Sci.\u00a04453, 62\u201376 (2007)","journal-title":"Lect. Notes Comp. Sci."},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.biosystems.2005.10.003","volume":"84","author":"A. Gonz\u00e1lez","year":"2006","unstructured":"Gonz\u00e1lez, A., Naldi, A., Sanchez, L., Thieffry, D., Chaouiya, C.: GINsim: A software suite for the qualitative modelling, simulation and analysis of regulatory networks. Biosystems\u00a084, 91\u2013100 (2006)","journal-title":"Biosystems"},{"key":"16_CR6","first-page":"9","volume":"4","author":"T. Kam","year":"1998","unstructured":"Kam, T., Villa, T., Brayton, R.K., Sangiovanni-Vincentelli, A.L.: Multi-valued decision diagrams: Theory and applications. Int. J. Multiple-Valued Logic\u00a04, 9\u201312 (1998)","journal-title":"Int. J. Multiple-Valued Logic"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Klamt, S., Saez-Rodriguez, J., Lindquist, J.A., Simeoni, L., Gilles, E.D.: A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinformatics\u00a07(56) (2006)","DOI":"10.1186\/1471-2105-7-56"},{"key":"16_CR8","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":"16_CR9","series-title":"Lecture Notes in Bioinformatics","first-page":"55","volume-title":"Transactions on Computational Systems Biology VII","author":"E. Remy","year":"2006","unstructured":"Remy, E., Ruet, P., Mendoza, L., Thieffry, D., Chaouiya, C.: From logical regulatory graphs to standard petri nets: Dynamical roles and functionality of feedback circuits. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 55\u201372. Springer, Heidelberg (2006)"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1159\/000076100","volume":"1","author":"C. Soul\u00e9","year":"2003","unstructured":"Soul\u00e9, C.: Graphic requirements for multistationarity. ComPlexUs\u00a01, 123\u2013133 (2003)","journal-title":"ComPlexUs"},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/978-3-642-81703-8_24","volume":"9","author":"R. Thomas","year":"1988","unstructured":"Thomas, R.: On the relation between the logical structure of systems and their ability to generate multiple steady states of sustained oscillations. Springer Series Synergetics\u00a09, 180\u2013193 (1988)","journal-title":"Springer Series Synergetics"},{"key":"16_CR12","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. J. Theor. Biol.\u00a0153, 1\u201323 (1991)","journal-title":"J. Theor. Biol."},{"key":"16_CR13","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\u2013I. biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. Math. Biol.\u00a057, 247\u2013276 (1995)","journal-title":"Bull. Math. Biol."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75140-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:52:28Z","timestamp":1619520748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75140-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751397","9783540751403"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75140-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}