共 74 条
- [21] Modelling and Formal Verification of Neuronal Archetypes Coupling[J]. De Maria, Elisabetta;L'Yvonnet, Thibaud;Gaffe, Daniel;Ressouche, Annie;Grammont, Franck. PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SYSTEMS-BIOLOGY AND BIOINFORMATICS (CSBIO 2017), 2017
- [22] Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems[J]. De Maria, Elisabetta;Muzy, Alexandre;Gaffe, Daniel;Ressouche, Annie;Grammont, Franck. HYBRID SYSTEMS BIOLOGY, (HSB 2016), 2016
- [23] de Maria E, 2014, LECT N BIOINFORMAT, V8738, P136, DOI 10.1007/978-3-319-10398-3_10
- [24] Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints[J]. De Maria, Elisabetta;Fages, Francois;Rizk, Aurelien;Soliman, Sylvain. THEORETICAL COMPUTER SCIENCE, 2011(21)
- [25] Formal proof of theorems on genetic regulatory networks[J]. Denes, Maxime;Lesage, Benjamin;Bertot, Yves;Richard, Adrien. 11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009
- [26] Fages Francois, 2004, Journal of Biological Physics and Chemistry, V4, P64, DOI 10.4024/2040402.jbpc.04.02
- [27] Fontaine P., 2019, P 27 INT C AUT DED, P11716
- [28] Graph analysis of the human connectome: Promise, progress, and pitfalls[J]. Fornito, Alex;Zalesky, Andrew;Breakspear, Michael. NEUROIMAGE, 2013
- [29] Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs[J]. Franzen, Anders. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006(01)
- [30] Advances in Computational Methods in Systems Biology Preface[J]. Gilbert, David;Heiner, Monika. THEORETICAL COMPUTER SCIENCE, 2015