about this chapter

presentation abstract bibitem

downloads

book chapter (on HAL) editor version
Jérôme Feret.
Analyses des motifs accessibles dans les modèles Kappa.
 In Approches symboliques de la modélisation et de l'analyse des systèmes biologiques. C. Lhoussaine and Eacute;. Remy (Eds.). ISTE. © , London, 2022.

Résumé : Ce chapitre propose un langage de réécriture pour modéliser l'évolution d'ensembles d'instances de protéines et de leurs liaisons. Ce niveau de détail permet une représentation compacte grâce à une description locale des interactions et ouvre la voie à diverses abstractions. En particulier, nous utilisons ici cette structure pour calculer des propriétés locales des complexes protéiques. 

@incollection{feret:hal-03088539,
  TITLE = {{Analyses des motifs accessiblesdans les mod{\`e}les Kappa}},
  AUTHOR = {Feret, J{\'e}r{\^o}me},
  URL = {https://inria.hal.science/hal-03088539},
  BOOKTITLE = {{Approches symboliques de la mod{\'e}lisation et de l'analyse des syst{\`e}mes biologiques}},
  EDITOR = {C{\'e}dric Lhoussaine et {\'E}lisabeth Remy},
  PUBLISHER = {{ISTE}},
  YEAR = {2022},
  MONTH = Jul,
  KEYWORDS = {R{\'e}actions biochimiques, r{\'e}{\'e}criture de graphes {\`a} sites, analyse statique, interpr{\'e}tation abstraite, accessibilit{\'e}},
  PDF = {https://inria.hal.science/hal-03088539v1/file/kappa_AI_main.pdf},
  HAL_ID = {hal-03088539},
  HAL_VERSION = {v1},
}