-
1Dissertation/ Thesis
المؤلفون: Feret, Jérôme
المساهمون: Analyse Statique par Interprétation Abstraite (ANTIQUE), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), ENS-PSL, Elisabeth REMY
المصدر: https://inria.hal.science/tel-04326091 ; Informatique [cs]. ENS-PSL, 2023.
مصطلحات موضوعية: Rule-based modeling, Formel methods, Systems biology, Abstract interpretation, Model reduction, Modélisation par règles de réécritures, Méthodes formelles, Biologie des systèmes, Interprétation abstraite, Réduction de modèles, [INFO]Computer Science [cs], [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM]
Relation: tel-04326091; https://inria.hal.science/tel-04326091; https://inria.hal.science/tel-04326091/document; https://inria.hal.science/tel-04326091/file/hdr.pdf
-
2Dissertation/ Thesis
المؤلفون: Camporesi, Ferdinanda
Thesis Advisors: Paris Sciences et Lettres, Feret, Jérôme, Cousot, Radhia
-
3
المؤلفون: Camporesi, Ferdinanda
المساهمون: Laboratoire d'informatique de l'école normale supérieure (LIENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), Université Paris sciences et lettres, Jérôme Feret, Radhia Cousot, Laboratoire d'informatique de l'école normale supérieure ( LIENS ), École normale supérieure - Paris ( ENS Paris ) -Centre National de la Recherche Scientifique ( CNRS ), PSL Research University, Département d'informatique - ENS Paris (DI-ENS), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Analyse Statique par Interprétation Abstraite (ANTIQUE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), STAR, ABES
المصدر: Computation and Language [cs.CL]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE005⟩
Computation and Language [cs.CL]. PSL Research University, 2017. English. 〈NNT : 2017PSLEE005〉مصطلحات موضوعية: Signaling pathways, Model reduction, Information flow, Voies de signalisation, Modélisation par règles de réécritures, Abstract interpretation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Réduction de modèles, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Rule-Based modeling, Interprétation abstraite, [ INFO.INFO-CL ] Computer Science [cs]/Computation and Language [cs.CL], Bisimulations, Flot d’information
وصف الملف: application/pdf
-
4Dissertation/ Thesis
المؤلفون: Camporesi, Ferdinanda
المساهمون: Paris Sciences et Lettres (ComUE), Feret, Jérôme, Cousot, Radhia
مصطلحات موضوعية: Interprétation abstraite, Voies de signalisation, Modélisation par règles de réécritures, Réduction de modèles, Bisimulations, Flot d’information, Abstract interpretation, Signaling pathways, Rule-Based modeling, Model reduction, Information flow
Time: 004