{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:13:32Z","timestamp":1743045212217,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253754"},{"type":"electronic","value":"9783540259749"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/978-3-540-25974-9_9","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:23:04Z","timestamp":1267107784000},"page":"104-118","source":"Crossref","is-referenced-by-count":8,"title":["Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Eric","family":"Fanchon","sequence":"first","affiliation":[]},{"given":"Fabien","family":"Corblin","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Trilling","sequence":"additional","affiliation":[]},{"given":"Bastien","family":"Hermant","sequence":"additional","affiliation":[]},{"given":"Danielle","family":"Gulino","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-45619-8_7","volume-title":"Logic Programming","author":"A. Bockmayr","year":"2002","unstructured":"Bockmayr, A., Courtois, A.: Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 85\u201399. Springer, Heidelberg (2002)"},{"key":"9_CR2","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":"9_CR3","unstructured":"Cohen, J.: Approaches for simulating and modeling cell regulation: search for a unified view using constraints. Link\u00f6ping Electronic Articles in Computer and Information Science\u00a03(7) (2001)"},{"key":"9_CR4","unstructured":"Colmerauer, A.: Prolog \u2013 Constraints Inside, Manuel de Prolog, PROLOGIA, Case 919, 13288 Marseille cedex 09, France (1996)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-49059-0_16","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"G. Delzanno","year":"1999","unstructured":"Delzanno, G., Podelski, A.: Model Checking in CLP. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 223\u2013239. Springer, Heidelberg (1999)"},{"key":"9_CR6","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\u00e9, M.: Identification of All Steady States in Large Biological Systems by Logical Analysis. Bulletin of Mathematical Biology\u00a065, 1025\u20131051 (2003)","journal-title":"Bulletin of Mathematical Biology"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0022-5193(72)90157-9","volume":"34","author":"L. Glass","year":"1972","unstructured":"Glass, L., Kauffman, S.A.: Co-operative components, spatial localization and oscillatory cellular dynamics. J. Theor. Biol.\u00a034, 219\u2013237 (1972)","journal-title":"J. Theor. Biol."},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L. Glass","year":"1973","unstructured":"Glass, L., Kauffman, S.A.: The logical analysis of continuous, non-linear biochemical control networks. J. Theor. Biol.\u00a039, 103\u2013129 (1973)","journal-title":"J. Theor. Biol."},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"29786","DOI":"10.1074\/jbc.273.45.29786","volume":"273","author":"D. Gulino","year":"1998","unstructured":"Gulino, D., Delachanal, E., Concord, E., Genoux, Y., Morand, B., Valiron, M.O., Sulpice, E., Scaife, R., Alemany, M., Vernet, T.: Alteration of Endothelial Cell Monolayer Integrity Triggers Resynthesis of Vascular Endothelium Cadherin. The Journal of Biological Chemistry\u00a0273, 29786\u201329793 (1998)","journal-title":"The Journal of Biological Chemistry"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"14002","DOI":"10.1074\/jbc.M300351200","volume":"278","author":"B. Hermant","year":"2003","unstructured":"Hermant, B., Bibert, S., Concord, E., Dublet, B., Weidenhaupt, M., Vernet, T., Gulino-Debrac, D.: Identification of Proteases Involved in the Proteolysis of Vascular Endothelium Cadherin during Neutrophil Transmigration. The Journal of Biological Chemistry\u00a0278, 14002\u201314012 (2003)","journal-title":"The Journal of Biological Chemistry"},{"key":"9_CR11","unstructured":"Hickey, T.J., Wittenberg, D.K.: Rigorous Modeling of Hybrid Systems using Interval Arithmetic Constraints. In: Technical Report CS-03-241, Computer Science Departement, Brandeis University (2003)"},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"1915","DOI":"10.1242\/jcs.112.12.1915","volume":"112","author":"P.L. Hordijk","year":"1999","unstructured":"Hordijk, P.L., Anthony, E., Mul, F.P., Rientsma, R., Oomen, L.C., Roos, D.: Vascular-Endothelial-Cadherin Modulates Endothelial Monolayer Permeability. J. Cell Sci.\u00a0112, 1915\u20131923 (1999)","journal-title":"J. Cell Sci."},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/3-540-36580-X_21","volume-title":"Hybrid Systems: Computation and Control","author":"H. Jong de","year":"2003","unstructured":"de Jong, H., Gouz\u00e9, J.-L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Hybrid modeling and simulation of genetic regulatory networks: A qualitative approach. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 267\u2013282. Springer, Heidelberg (2003)"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1083\/jcb.129.1.203","volume":"129","author":"M.G. Lampugnani","year":"1995","unstructured":"Lampugnani, M.G., Corada, M., Caveda, L., Breviario, F., Ayalon, O., Geiger, B., Dejana, E.: The molecular organization of endothelial cell to cell junctions: differential association of plakoglobin, \u03b2-catenin, and \u03b1-catenin with vascular endothelial cadherin (VE-cadherin). J. Cell Biol.\u00a0129, 203\u2013217 (1995)","journal-title":"J. Cell Biol."},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"1511","DOI":"10.1083\/jcb.118.6.1511","volume":"118","author":"M.G. Lampugnani","year":"1992","unstructured":"Lampugnani, M.G., Resnati, M., Raiteri, M., Pigott, R., Pisacane, A., Houen, G., Ruco, L.P., Dejana, E.: A novel endothelial-specific membrane protein is a marker of cell-cell contacts. J. Cell Biol.\u00a0118, 1511\u20131522 (1992)","journal-title":"J. Cell Biol."},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"3581","DOI":"10.1074\/jbc.M002667200","volume":"276","author":"P. Legrand","year":"2001","unstructured":"Legrand, P., Bibert, S., Jaquinod, M., Ebel, C., Hewatt, E., Vincent, F., Vanbelle, C., Concord, E., Vernet, T., Gulino, D.: Self-assembly of the vascular endothelial cadherin ectodomain in a Ca2\u2009+\u2009-dependent hexameric structure. Journal of Biological Chemistry\u00a0276, 3581\u20133588 (2001)","journal-title":"Journal of Biological Chemistry"},{"key":"9_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-08539-4","volume-title":"Mathematical Biology","author":"J.D. Murray","year":"1989","unstructured":"Murray, J.D.: Mathematical Biology. Springer, Heidelberg (1989)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-36481-1_5","volume-title":"Computational Methods in Systems Biology","author":"S. Peres","year":"2003","unstructured":"Peres, S., Comet, J.-P.: Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 47\u201356. Springer, Heidelberg (2003)"},{"key":"9_CR19","volume-title":"Foundations of Systems Biology","author":"B.E. Shapiro","year":"2002","unstructured":"Shapiro, B.E., Levchenko, A., Mjolsness, E.: Automatic model generation for signal transduction with applications to MAPK pathway. In: Kitano, H. (ed.) Foundations of Systems Biology. MIT Press, Cambridge (2002)"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1007\/BF02460695","volume":"55","author":"E.H. Snoussi","year":"1993","unstructured":"Snoussi, E.H., Thomas, R.: Logical Identification of All Steady States: The Concept of Feedback Loop Characteristic States. Bulletin of Mathematical Biology\u00a055, 973\u2013991 (1993)","journal-title":"Bulletin of Mathematical Biology"},{"key":"9_CR21","first-page":"144","volume":"2","author":"D. Thieffry","year":"1993","unstructured":"Thieffry, D., Colet, M., Thomas, R.: Formalisation of Regulatory Networks: a Logical Method and Its Automation. Math. Modelling and Sci. Computing\u00a02, 144\u2013151 (1993)","journal-title":"Math. Modelling and Sci. Computing"},{"key":"9_CR22","first-page":"180","volume":"11","author":"R. Thomas","year":"2001","unstructured":"Thomas, R., Kaufman, M.: Multistationarity, the Basis of Cell Differentiation and Memory. II. Logical Analysis of Regulatory Networks in Term of Feedback Circuits. Chaos\u00a011, 180\u2013195 (2001)","journal-title":"II. Logical Analysis of Regulatory Networks in Term of Feedback Circuits. Chaos"}],"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-25974-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,23]],"date-time":"2021-10-23T23:31:57Z","timestamp":1635031917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25974-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253754","9783540259749"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25974-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}