A software package for chemically inspired graph transformation, Lecture Notes Computer Sci, vol.9761, pp.73-88, 2016. ,
A knowledge representation meta-model for rule-based modelling of signalling networks, Proceedings of the 11th International Workshop on Developments in Computational Models (DCM 2015, vol.8, pp.47-59, 2011. ,
Incremental update for graph rewriting, Programming Languages and Systems-26th European Symposium on Programming, vol.2017, pp.201-228, 2017. ,
Kappa Reference Manual, 2017. ,
, The Kappa platform for rule-based modeling i591
Guidelines for visualizing and annotating rule-based models, Mol. BioSyst, vol.7, pp.2779-2795, 2011. ,
DARPA's Big Mechanism program, Phys. Biol, vol.12, p.45008, 2015. ,
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proceedings of the 4th Symposium on Principles of Programming Languages, POPL'77, pp.238-252, 1977. ,
ReactionFlow: an interactive visualization tool for causality analysis in biological pathways, BMC Proc, vol.9, p.6, 2015. ,
Rule-based modelling of cellular signalling, Proceedings of the Eighteenth International Conference on Concurrency Theory, vol.4703, pp.17-41, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00164297
Scalable simulation of cellular signaling networks, Proceedings of the Fifth Asian Symposium on Programming Systems, vol.4807, pp.139-157, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00528409
Abstract interpretation of cellular signalling networks, Verification, Model Checking, and Abstract Interpretation, vol.4905, pp.83-97, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00528352
Graphs, rewriting and pathway reconstruction for rule-based models, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, vol.18, pp.276-288, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00809065
Rule-based modeling of biochemical systems with bionetgen, Methods in Molecular Biology, vol.500, pp.113-167, 2009. ,
Reachability analysis via orthogonal sets of patterns, Seventh International Workshop on Static Analysis and Systems Biology (SASB'16), vol.335, pp.27-48, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01379902
Dishevelled interacts with the DIX domain polymerization interface of Axin to interfere with its function in down-regulating b-catenin, vol.108, pp.1937-1942, 2011. ,
Dynamic influence networks for rule-based models, IEEE Trans. Visualization Computer Graph, vol.24, pp.184-194, 2018. ,
Stochastic simulation of chemical kinetics, Annu. Rev. Phys. Chem, vol.58, pp.35-55, 2007. ,
From word models to executable models of signaling networks using automated assembly, Mol. Syst. Biol, vol.13, p.954, 2017. ,
Bio-curation for cellular signalling: the KAMI project, Computational Methods in Systems Biology: 15th International Conference, pp.3-19, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01617185
BioNetGen 2.2: advances in rule-based modeling, Bioinformatics, vol.32, pp.3366-3368, 2016. ,
LI.-an explanation of the property of induced polarity of atoms and an interpretation of the theory of partial valencies on an electronic basis, J. Chem. Soc. Trans, vol.121, pp.427-440, 1922. ,
Depicting combinatorial complexity with the molecular interaction map notation, Mol. Syst. Biol, vol.2, pp.1-51, 2006. ,
The Virtual Cell: a software environment for computational cell biology, Trends Biotechnol, vol.19, pp.401-406, 2001. ,
A taxonomy of visualization tasks for the analysis of biological pathway data, BMC Bioinformatics, vol.18, pp.21-22, 2017. ,
Extended LineSets: a visualization technique for the interactive inspection of biological pathways, BMC Proc, vol.9, p.4, 2015. ,
Automated visualization of rule-based models, PLoS Comput. Biol, vol.13, p.1005857, 2017. ,
RuleBender: integrated modeling, simulation and visualization for rule-based intracellular biochemistry, Proc. Natl. Acad. Sci, vol.13, issue.S3, pp.7420-7425, 2007. ,