KaSa: A Static Analyzer for Kappa

Autor: Kim Quyên Lý, Nathalie Théret, Jérôme Feret, Pierre Boutillier, Ferdinanda Camporesi, Pierre Vignet, Jean Coquet

Publikováno v: CMSB 2018: Computational Methods in Systems Biology
CMSB 2018-16th International Conference on Computational Methods in Systems Biology
CMSB 2018-16th International Conference on Computational Methods in Systems Biology, Sep 2018, Brno, Czech Republic. pp.285-291, ⟨10.1007/978-3-319-99429-1_17⟩
Computational Methods in Systems Biology ISBN: 9783319994284
CMSB
Computational Methods in Systems Biology
Computational Methods in Systems Biology, 2018, Brno, Czech Republic. ⟨10.1007/978-3-319-99429-1⟩

International audience; KaSa is a static analyzer for Kappa models. Its goal is two-fold. Firstly, KaSa assists the modeler by warning about potential issues in the model. Secondly, KaSa may provide useful properties to check that what is implemented

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15b45387544ea9cf6e3e47a19b8da992
https://hal-univ-rennes1.archives-ouvertes.fr/hal-01888951/file/cmsb2018.pdf

Combining Model Reductions

Autor: Tatjana Petrov, Ferdinanda Camporesi, Heinz Koeppl, Jérôme Feret

Publikováno v: the 26th Conference on the Mathematical Foundations of Programming Semantics-MFPS 2010
the 26th Conference on the Mathematical Foundations of Programming Semantics-MFPS 2010, May 2010, Ottawa, Canada. pp.73--96, ⟨10.1016/j.entcs.2010.08.006⟩
MFPS

International audience; Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge number of distinct chemical species (i.e. non-isom

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb56973d91d59cddbf4f09a85cc691ca

Context-Sensitive Flow Analyses: A Hierarchy of Model Reductions

Autor: Jonathan Hayman, Jérôme Feret, Ferdinanda Camporesi

Publikováno v: Computational Methods in Systems Biology ISBN: 9783642407079
CMSB
CMSB-11th Conference on Computational Methods in Systems Biology-2013
CMSB-11th Conference on Computational Methods in Systems Biology-2013, Ashutosh Gupta and Thomas A. Henzinger, Sep 2013, Klosterneuburg, Austria. pp.220-233, ⟨10.1007/978-3-642-40708-6_17⟩

International audience; Rule-based modelling allows very compact descriptions of protein-protein interaction networks. However, combinatorial complexity increases again when one attempts to describe formally the behaviour of the networks, which motiv

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dd0b150acb7c8fc1cb52d4b374f2b09a
https://doi.org/10.1007/978-3-642-40708-6_17

Automatic reduction of stochastic rules-based models in a nutshell

Autor: Ferdinanda Camporesi, Jéro^me Feret, Heinz Koeppl, Tatjana Petrov, Theodore E. Simos, George Psihoyios, Ch. Tsitouras

Publikováno v: International Conference of Numerical Analysis and Applied Mathematics-ICNAAM 2010
International Conference of Numerical Analysis and Applied Mathematics-ICNAAM 2010, Sep 2010, Rhodos, Greece. pp.1330-1334, ⟨10.1063/1.3497965⟩

International audience; Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each other, which leads to the formation of a huge number of distinct chemical species. Thus we cannot

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88a33280c6c2cf4ff47a019eae4d0741
https://inria.hal.science/inria-00527548