A network model of early events in epidermal growth factor receptor signaling that accounts for combinatorial complexity, Biosystems, vol.83, issue.2-3, 2006. ,
DOI : 10.1016/j.biosystems.2005.06.014
BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, vol.20, issue.17, 2004. ,
DOI : 10.1093/bioinformatics/bth378
Kasim development homepage ,
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790
Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, 1979. ,
DOI : 10.1145/567752.567778
Graphs, rewriting and pathway reconstruction for rule-based models, Proc. FSTTCS '12, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00809065
Rule-Based Modelling, Symmetries, Refinements, Proc. FMSB'08, 2008. ,
DOI : 10.1007/978-3-540-68413-8_8
URL : https://hal.archives-ouvertes.fr/inria-00528339
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction, 2010 25th Annual IEEE Symposium on Logic in Computer Science, p.2010, 2010. ,
DOI : 10.1109/LICS.2010.44
URL : https://hal.archives-ouvertes.fr/hal-00520112
Abstract Interpretation of Cellular Signalling Networks, Proc. VMCAI'08, 2008. ,
DOI : 10.1007/978-3-540-78163-9_11
URL : https://hal.archives-ouvertes.fr/inria-00528352
Rule based modeling of biological signaling, Proc. CONCUR'07, 2007. ,
Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, 2004. ,
DOI : 10.1016/j.tcs.2004.03.065
URL : https://hal.archives-ouvertes.fr/hal-00164591
Abstract interpretations of rule-based modelling, HabilitationàHabilitationà Diriger des Recherches ,
Reachability Analysis of Biological Signalling Pathways by Abstract Interpretation, AIP Conference Proceedings, 2007. ,
DOI : 10.1063/1.2836158
URL : https://hal.archives-ouvertes.fr/inria-00528358
Internal coarse-graining of molecular systems, Proceedings of the National Academy of Sciences, vol.106, issue.16, 2009. ,
DOI : 10.1073/pnas.0809908106
URL : https://hal.archives-ouvertes.fr/inria-00528330
Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models, Proc. CMSB'16, 2016. ,
DOI : 10.1007/978-3-319-45177-0_8
URL : https://hal.archives-ouvertes.fr/hal-01379897
A Few Graph-Based Relational Numerical Abstract Domains, Proc. SAS'02, 2002. ,
DOI : 10.1007/3-540-45789-5_11
A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, 1955. ,
DOI : 10.2140/pjm.1955.5.285