Modeling the molecular network controlling adhesion between human endothelial cells: Inference and simulation using constraint logic programming

Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science)

Volumn 3082, Issue , 2005, Pages 104-118

  Fanchon, Eric ^a   Corblin, Fabien ^a,b   Trilling, Laurent ^b   Hermant, Bastien ^a   Gulino, Danielle ^a  

^a INSTITUT DE BIOLOGIE STRUCTURALE   (France)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ADHESION; BIOLOGICAL ORGANS; BLOOD VESSELS; COMPUTER SIMULATION; GENETIC ENGINEERING; LIVING SYSTEMS STUDIES; LOGIC PROGRAMMING; MATHEMATICAL MODELS; TISSUE; BIOCHEMISTRY; MOLECULAR BIOLOGY;

BIOCHEMICAL NETWORK; CELL-CELL ADHESION; HUMAN ENDOTHELIAL CELLS; MOLECULAR NETWORK CONTROLLING ADHESION;

CELLS;

BIOCHEMICAL NETWORK; CELL-CELL ADHESION; LEUKOCYTES;

EID: 26444505542     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25974-9_9     Document Type: Conference Paper

References (22)

1. A. Bockmayer and A. Courtois. Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems. In Proceedings of the 18th International Conference on Logic Programming, LNCS 2401, Springer, 85-99 (2002).
2. N. Chabrier and F. Pages. Symbolic Model Checking of Biochemical Networks. Computational Methods in Systems Biology. In Computational Methods in System Biology 2003, C. Priami (ed.), LNCS 2602, Springer, 149-162 (2003).
3. J. Cohen. Approaches for simulating and modeling cell regulation : search for a unified view using constraints. In Linköping Electronic Articles in Computer and Information Science, 3, no7 (2001).
4. A. Colmerauer. Prolog - Constraints Inside, Manuel de Prolog, PROLOGIA, Case 919, 13288 Marseille cedex 09, France (1996).
5. G. Delzanno and A. Podelski. Model Checking in CLP. In Proceeding of the 5th International Conference TACAS'99, Springer, LNCS 1579, 223-239 (1999).
6. V. Devloo, P. Hansen and M. Labbé. Identification of All Steady States in Large Biological Systems by Logical Analysis. Bulletin of Mathematical Biology 65, 1025-1051 (2003).
7. L. Glass, S. A. Kauffman. Co-operative components, spatial localization and oscillatory cellular dynamics. J. Theor. Biol. 34, 219-237 (1972).
8. L. Glass, S. A. Kauffman. The logical analysis of continuous, non-linear biochemical control networks. J. Theor. Biol. 39, 103-129 (1973).
9. D. Gulino, E. Delachanal, E. Concord, Y. Genoux, B. Morand, M. O. Valiron, E. Sulpice, R. Scaife, M. Alemany and T. Vernet. Alteration of Endothelial Cell Monolayer Integrity Triggers Resynthesis of Vascular Endothelium Cadherin. The Journal of Biological Chemistry 273, 29786-29793 (1998).
10. B. Hermant, S. Bibert, E. Concord, B. Dublet, M. Weidenhaupt, T. Vernet and D. Gulino-Debrac. Identification of Proteases Involved in the Proteolysis of Vascular Endothelium Cadherin during Neutrophil Transmigration. The Journal of Biological Chemistry 278, 14002-14012 (2003).
11. T. J. Hickey and D. K. Wittenberg. Rigorous Modeling of Hybrid Systems using Interval Arithmetic Constraints. In Technical Report CS-03-241, Computer Science Departement, Brandeis University (2003).
12. P. L. Hordijk, E. Anthony, F. P. Mul, R. Rientsma, L. C. Oomen and D. Roos. Vascular-Endothelial-Cadherin Modulates Endothelial Monolayer Permeability. J. Cell Sci. 112, 1915-1923 (1999).
13. H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, and J. Geiselmann. Hybrid modeling and simulation of genetic regulatory networks: A qualitative approach. In Hybrid Systems : Computation and Control (HSCC 2003), A. Pnueli and O. Maler (ed.), LNCS 2623, Springer, 267-282 (2003).
14. M. G. Lampugnani, M. Corada, L. Caveda, F. Breviario, O. Ayalon, B. Geiger and E. Dejana. The molecular organization of endothelial cell to cell junctions: differential association of plakoglobin, β-catenin, and α-catenin with vascular endothelial cadherin (VE-cadherin). J. Cell Biol. 129, 203-217 (1995).
15. M. G. Lampugnani, M. Resnati, M. Raiteri, R. Pigott, A. Pisacane, G. Houen, L. P. Ruco and E. Dejana. A novel endothelial-specific membrane protein is a marker of cell-cell contacts. J. Cell Biol. 118, 1511-1522 (1992).
16. 2+-dependent hexameric structure. Journal of Biological Chemistry 276, 3581-3588 (2001).
17. J. D. Murray, Mathematical Biology, Springer-Verlag (1989).
18. S. Peres and J. P. Comet. Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa. In CMSB 2003, C. Priami (ed.), LNCS 2602, 47-56 (2003).
19. B. E. Shapiro, A. Levchenko and E. Mjolsness. Automatic model generation for signal transduction with applications to MAPK pathway. In Foundations of Systems Biology, H. Kitano (ed.), MIT Press (2002).
20. E. H. Snoussi and R. Thomas. Logical Identification of All Steady States : The Concept of Feedback Loop Characteristic States. Bulletin of Mathematical Biology 55, 973-991 (1993).
21. D. Thieffry, M. Colet and R. Thomas. Formalisation of Regulatory Networks : a Logical Method and Its Automation. Math. Modelling and Sci. Computing 2, 144-151 (1993).
22. R. Thomas and M. Kaufman. Multistationarity, the Basis of Cell Differentiation and Memory. II. Logical Analysis of Regulatory Networks in Term of Feedback Circuits. Chaos, 11, 180-195 (2001).