Secrecy by typing in security protocols, Journal of the ACM, vol.46, issue.5, pp.749-786, 1999. ,
DOI : 10.1145/324133.324266
A knowledge representation meta-model for rule-based modelling of signalling networks, Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, pp.204-251, 2015. ,
DOI : 10.4204/EPTCS.204.5
URL : https://hal.archives-ouvertes.fr/hal-01468117
Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set, Hybrid Systems Biology -Fourth International Workshop, HSB 2015 Revised Selected Papers,v olume9271ofLecture Notes in Computer Science, pp.173-191, 2015. ,
DOI : 10.1007/978-3-319-26916-0_10
Bionetgen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, vol.20, issue.17, pp.3289-3291, 2004. ,
Domain-oriented reduction of rule-based networks models, IET Systems Biology, vol.2, issue.5 ,
Signaling through receptors and scaffolds: Independent interactions reduce combinatorial complexity, Biophysical Journal, vol.8, issue.9, 2005. ,
Abstract, Journal of Functional Programming, vol.154, issue.04, pp.407-423, 1992. ,
DOI : 10.1007/978-3-642-67678-9
Exact and ordinary lumpability in finite Markov chains, Journal of Applied Probability, vol.1, issue.01, pp.59-75, 1994. ,
DOI : 10.1016/0166-5316(88)90031-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.1632
Bisimulation relations for weighted automata, Theoretical Computer Science, vol.393, issue.1-3, pp.109-123, 2008. ,
DOI : 10.1016/j.tcs.2007.11.018
URL : http://doi.org/10.1016/j.tcs.2007.11.018
Formal Reduction for Rule-based Models, Postproceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, MFPS XXVII, volume 276C of Electonic Notes in Theoretical Computer Science, pp.31-61, 2011. ,
DOI : 10.1016/j.entcs.2011.09.014
URL : https://hal.archives-ouvertes.fr/inria-00636850
Combining Model Reductions, Postproceedings of the Twenty-sixth Conference on the Mathematical Foundations of Programming Semantics, pp.73-96, 2010. ,
DOI : 10.1016/j.entcs.2010.08.006
URL : https://hal.archives-ouvertes.fr/inria-00527536
Comparing chemical reaction networks:a categorical and algorithmic perspective, Proceedings of the Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS, 2016. ,
DOI : 10.1145/2933575.2935318
Symbolic computation of differential equivalences, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.137-150, 2016. ,
The semantics of program dependence. SIGPLAN Not, pp.13-27, 1989. ,
Exact model reduction of combinatorial reaction networks, BMC Systems Biology, vol.2, issue.1, pp.78-78, 82008. ,
DOI : 10.1186/1752-0509-2-78
Mathematical Modeling of Cellular Signal Transduction Pathways ? A Domain-Oriented Approach to Reduce Combinatorial Complexity, 2008. ,
Abstract Interpretation: Theory and Practice, Proceedings of the 9th International SPIN Workshop, pp.2-5, 2002. ,
DOI : 10.1007/3-540-46017-9_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.9733
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 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, pp.269-282, 1979. ,
DOI : 10.1145/567752.567778
Abstract interpretation and application to logic programs, The Journal of Logic Programming, vol.13, issue.2-3, pp.103-179, 1992. ,
DOI : 10.1016/0743-1066(92)90030-7
URL : http://doi.org/10.1016/0743-1066(92)90030-7
Graphs, rewriting and pathway reconstruction for rule-based models, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012 ume 18 of LIPIcs Schloss Dagstuhl -Leibniz-Zentrum für Informatik, pp.276-288, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00809065
Rule-based modelling of cellular signalling, invited paper, Proceedings of the Eighteenth International Conference on Concurrency Theory, pp.17-41, 2007. ,
Rule-based modelling, symmetries, refinements Formal Methods in Systems Biology Rule-based modelling and model perturbation, Proceedings of the First International Workshop Corrado Priami , Ralph-Johan Back, and Ion Petre Transactions on Computational Systems Biology XI,v olume5750ofLecture Notes in Computer Science, pp.103-122, 2008. ,
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.362-381, 2010. ,
DOI : 10.1109/LICS.2010.44
URL : https://hal.archives-ouvertes.fr/hal-00520112
Scalable simulation of cellular signaling networks, invited paper, Proceedings of the Fifth Asian Symposium on Programming Systems fLecture Notes in Computer Science, pp.139-157, 2007. ,
Abstract Interpretation of Cellular Signalling Networks, Proceedings of the Ninth International Conference on Verification, Model Checking and Abstract Interpretation e4 9 0 5o fLecture Notes in Computer Science, pp.83-97, 2008. ,
DOI : 10.1007/978-3-540-78163-9_11
URL : https://hal.archives-ouvertes.fr/inria-00528352
Internal coarse-graining of molecular systems, Proceedings of the National Academy of Sciences, vol.83, issue.2-3, 2009. ,
DOI : 10.1016/j.biosystems.2005.06.014
URL : https://hal.archives-ouvertes.fr/inria-00528330
Lumpability abstractions of rule-based systems, Theoretical Computer Science, vol.431, issue.0, pp.137-164, 2008. ,
DOI : 10.1016/j.tcs.2011.12.059
URL : https://hal.archives-ouvertes.fr/inria-00527971
Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models, International Journal of Software and Informatics, vol.7, issue.4, pp.527-604, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00975861
Reachability analysis via orthogonal sets of patterns, Seventeenth International Workshop on Static Analysis and Systems Biology (SASB'16), 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01379902
On the subgraph epimorphism problem, Discrete Applied Mathematics, vol.162, pp.214-228, 2014. ,
DOI : 10.1016/j.dam.2013.08.008
URL : https://hal.archives-ouvertes.fr/hal-01098527
Non-standard semantics for program slicing. Higher-Order and Symbolic Computation, pp.2-9, 2003. ,
DOI : 10.1023/a:1025872819613
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.1343
Dynamic and static limitation in multiscale reaction networks, revisited, Advances in Chemical Engineering: Mathematics in Chemical Kinetics and Engineering,v o l u m e3 4o fAdvances in Chemical Engineering, pp.103-173, 2008. ,
Rule-based Modelling and Tunable Resolution, Proceedings Fifth Workshop on Developments in Computational Models?Computational Models From Nature, pp.9-65, 2009. ,
DOI : 10.4204/EPTCS.9.8
URL : https://hal.archives-ouvertes.fr/hal-00694488
Intrinsic information carriers in combinatorial dynamical systems, Chaos: An Interdisciplinary Journal of Nonlinear Science, vol.11, issue.3, 2010. ,
DOI : 10.1073/pnas.97.1.32
URL : https://hal.archives-ouvertes.fr/hal-00520128
Ordinary Differential Equations, 1956. ,
Chemical organisation theory beyond classical models: Discrete dynamics and rule-based models ,
Solutions of ordinary differential equations as limits of pure jump markov processes, Journal of Applied Probability, vol.7, issue.1, pp.49-58, 1970. ,
Limit theorems for sequences of jump markov processes approximating ordinary differential processes, Journal of Applied Probability, vol.8, issue.2 ,
Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics, Computational Methods in Systems Biology -13th International Conference Proceedings ,volume9308ofLecture Notes in Computer Science, pp.133-144, 2015. ,
DOI : 10.1007/978-3-319-23401-4_12
URL : https://hal.archives-ouvertes.fr/hal-01168038
Normalizing Chemical Reaction Networks by Confluent Structural Simplification, Computational Methods in Systems Biology -14th International Conference Proceedings, pp.201-215, 2016. ,
DOI : 10.1073/pnas.0710134105
URL : https://hal.archives-ouvertes.fr/hal-01348303
Communication and Concurrency, 1989. ,
Maximal Reduction of ODE Semantics of Rule-based Models: Syntax-Independent Setup, International Workshop on Computational Systems Biology ,
Reduction of dynamical biochemical reactions networks in computational biology, Frontiers in Genetics, vol.3, issue.1 ,
DOI : 10.3389/fgene.2012.00131
Model Reduction of Biochemical Reactions Networks by Tropical Analysis Methods, Mathematical Modelling of Natural Phenomena, vol.10, issue.3 ,
DOI : 10.1051/mmnp/201510310
Hybrid Reductions of Computational Models of Ion Channels Coupled to Cellular Biochemistry, Computational Methods in Systems Biology -14th International Conference Proceedings,v o l u m e9 8 5 9o fLecture Notes in Computer Science, pp.273-288, 2016. ,
DOI : 10.1007/978-3-319-03080-7_3