2026-07-23T19:19:15Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2577 2024-03-06T10:33:31Z ddc:004 open_access

A Logical Paradigm for Systems Biology (Invited Talk) Fages, François temporal logic model-checking systems biology hybrid systems Biologists use diagrams to represent complex systems of interaction between molecular species. These graphical notations encompass two types of information: interactions (e.g. protein complexation, modification, binding to a gene, etc.) and regulations (of an interaction or a transcription). Based on these structures, mathematical models can be developed by equipping such molecular interaction networks with kinetic expressions leading to quantitative models of mainly two kinds: ordinary differential equations for a continuous interpretation of the kinetics and continuous-time Markov chains for a stochastic interpretation of the kinetics. Since 2002, we investigate the transposition of programming concepts and tools to the analysis of living processes at the cellular level. Schloss Dagstuhl – Leibniz-Zentrum für Informatik François Fages 2010 Is Part Of LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICLP.2010.2 urn:nbn:de:0030-drops-25776 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.2 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode