{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T04:24:47Z","timestamp":1759206287960,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457794"},{"type":"electronic","value":"9783540462361"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11880646_4","type":"book-chapter","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T09:13:44Z","timestamp":1163754824000},"page":"68-94","source":"Crossref","is-referenced-by-count":63,"title":["Machine Learning Biochemical Networks from Temporal Logic Properties"],"prefix":"10.1007","author":[{"given":"Laurence","family":"Calzone","sequence":"first","affiliation":[]},{"given":"Nathalie","family":"Chabrier-Rivier","sequence":"additional","affiliation":[]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.Y.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proceedings of the sixth Pacific Symposium of Biocomputing, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"key":"4_CR2","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational Methods in Systems Biology","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Brane calculi - interactions of biological membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"key":"4_CR3","doi-asserted-by":"publisher","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. Theoretical Computer Science\u00a0325, 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V. Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science\u00a0325, 69\u2013110 (2004)","journal-title":"Theoretical Computer Science"},{"key":"4_CR5","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. Transactions on Computational Systems, Biology Special issue of BioConcur 2004 (to appear)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., S\u00f6nmez, M.K.: Pathway logic: Symbolic analysis of biological signaling. In: Proceedings of the seventh Pacific Symposium on Biocomputing, pp. 400\u2013412 (2002)","DOI":"10.1142\/9789812799623_0038"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-36481-1_13","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier","year":"2003","unstructured":"Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 149\u2013162. Springer, Heidelberg (2003)"},{"key":"4_CR8","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.: A fruitful application of formal methods to biological regulatory networks: Extending thomas\u2019 asynchronous logical approach with temporal logic. Journal of Theoretical Biology\u00a0229, 339\u2013347 (2004)","journal-title":"Journal of Theoretical Biology"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-24732-6_12","volume-title":"Model Checking Software","author":"G. Batt","year":"2004","unstructured":"Batt, G., Bergamini, D., de Jong, H., Garavel, H., Mateescu, R.: Model checking genetic regulatory networks using GNA and CADP. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 158\u2013163. Springer, Heidelberg (2004)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of signalling pathways using the prism model checker. In: Plotkin, G. (ed.) CMSB 2005: Proceedings of the third Workshop on Computational Methods in Systems Biology (2005)","DOI":"10.1007\/11880646_3"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1385\/CBB:38:3:271","volume":"38","author":"M. Antoniotti","year":"2003","unstructured":"Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics\u00a038, 271\u2013286 (2003)","journal-title":"Cell Biochemistry and Biophysics"},{"key":"4_CR12","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F., Soliman, S.: A machine learning approach to biochemical reaction rules discovery. In: Doyle III, F.J. (ed.) Proceedings of Foundations of Systems Biology and Engineering FOSBE 2005, Santa Barbara, pp. 375\u2013379 (2005)"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry\u00a04, 64\u201373 (2004)","journal-title":"Journal of Biological Physics and Chemistry"},{"key":"4_CR14","unstructured":"Chabrier, N., Fages, F., Soliman, S.: BIOCHAM\u2019s user manual. INRIA (2003\u20132006)"},{"key":"4_CR15","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"4_CR16","unstructured":"Nagasaki, M., Onami, S., Miyano, S., Kitano, H.: Bio-calculus: Its concept and molecular interaction. In: Proceedings of the Workshop on Genome Informatics, vol.\u00a010, pp. 133\u2013143 (1999)"},{"key":"4_CR17","unstructured":"Nagasaki, M., Onami, S., Miyano, S., Kitano, H.: Bio-calculus: Its concept, and an application for molecular interaction. In: Currents in Computational Molecular Biology. Frontiers Science Series, vol.\u00a030. Universal Academy Press (2000); This book is a collection of poster papers presented at the RECOMB 2000 Poster Session"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S.H. Muggleton","year":"1995","unstructured":"Muggleton, S.H.: Inverse entailment and progol. New Generation Computing\u00a013, 245\u2013286 (1995)","journal-title":"New Generation Computing"},{"key":"4_CR19","unstructured":"Bryant, C.H., Muggleton, S.H., Oliver, S.G., Kell, D.B., Reiser, P.G.K., King, R.D.: Combining inductive logic programming, active learning and robotics to discover the function of genes. Electronic Transactions in Artificial Intelligence\u00a06 (2001)"},{"key":"4_CR20","unstructured":"Angelopoulos, N., Muggleton, S.H.: Machine learning metabolic pathway descriptions using a probabilistic relational representation. Electronic Transactions in Artificial Intelligence\u00a07 (2002); Also in Proceedings of Machine Intelligence 19"},{"key":"4_CR21","unstructured":"Angelopoulos, N., Muggleton, S.H.: Slps for probabilistic pathways: Modeling and parameter estimation. Technical Report TR 2002\/12, Department of Computing, Imperial College, London, UK (2002)"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"3600","DOI":"10.1016\/S0006-3495(03)74778-X","volume":"85","author":"Z. Qu","year":"2003","unstructured":"Qu, Z., MacLellan, W.R., Weiss, J.N.: Dynamics of the cell cycle: checkpoints, sizers, and timers. Biophysics Journal\u00a085, 3600\u20133611 (2003)","journal-title":"Biophysics Journal"},{"key":"4_CR23","series-title":"Lecture Notes in Bioinformatics","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 (LNBI), vol.\u00a03082, pp. 172\u2013191. Springer, Heidelberg (2005)"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: General method for numerically simulating stochastic time evolution of coupled chemical-reactions. Journal of Computational Physics\u00a022, 403\u2013434 (1976)","journal-title":"Journal of Computational Physics"},{"key":"4_CR25","volume-title":"Computational Methods in Molecular Biology: From Genotype to Phenotype","author":"M.A. Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: A probabilistic model of a prokaryotic gene and its regulation. In: Bolouri, H., Bower, J. (eds.) Computational Methods in Molecular Biology: From Genotype to Phenotype. MIT Press, Cambridge (2000)"},{"key":"4_CR26","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 biochemical interaction networks. Theoretical Computer Science\u00a0325, 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"key":"4_CR27","unstructured":"Batt, G.: Validation de mod\u00e8les qualitatifs de r\u00e9seaux de r\u00e9gulation g\u00e9nique: une m\u00e9thode bas\u00e9e sur des techniques de v\u00e9rication formelle. PhD thesis, Universit\u00e9 Joseph Fourier - Grenoble I (2006)"},{"key":"4_CR28","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing\u00a06, 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An openSource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 359. Springer, Heidelberg (2002)"},{"key":"4_CR30","doi-asserted-by":"crossref","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","volume":"10","author":"K.W. Kohn","year":"1999","unstructured":"Kohn, K.W.: Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell\u00a010, 2703\u20132734 (1999)","journal-title":"Molecular Biology of the Cell"},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1038\/nbt0402-370","volume":"20","author":"B. Schoeberl","year":"2002","unstructured":"Schoeberl, B., Eichler-Jonsson, C., Gilles, E., Muller, G.: Computational modeling of the dynamics of the map kinase cascade activated by surface and internalized egf receptors. Nature Biotechnology\u00a020, 370\u2013375 (2002)","journal-title":"Nature Biotechnology"},{"key":"4_CR32","unstructured":"Wang, D., Clarke, E.M., Zhu, Y., Kukula, J.: Using cutwidth to improve symbolic simulation and boolean satisfiability. In: IEEE International High Level Design Validation and Test Workshop 2001 (HLDVT 2001), vol.\u00a06 (2001)"},{"key":"4_CR33","unstructured":"Berman, C.L.: Circuit width, register allocation, and reduced function graphs. Research Report RC 14127, IBM (1988)"},{"key":"4_CR34","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proceedings of the IEEE\u00a077, 541\u2013579 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"4_CR35","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1109\/QEST.2004.1348048","volume-title":"International Conference on Quantitative Evaluation of Systems (QEST 2004)","author":"M.Z. Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Prism 2.0: A tool for probabilistic model checking. In: International Conference on Quantitative Evaluation of Systems (QEST 2004), pp. 322\u2013323. IEEE Computer Society, Los Alamitos (2004)"},{"key":"4_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-24622-0_8","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"T. H\u00e9rault","year":"2004","unstructured":"H\u00e9rault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 73\u201384. Springer, Heidelberg (2004)"},{"key":"4_CR37","doi-asserted-by":"crossref","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"M.A. Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. Journal of Physical Chemistry\u00a0104, 1876\u20131889 (2000)","journal-title":"Journal of Physical Chemistry"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology VI"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11880646_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T23:40:24Z","timestamp":1736638824000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11880646_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457794","9783540462361"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/11880646_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}