147 related articles for article (PubMed ID: 35666771)
1. Model-checking ecological state-transition graphs.
Thomas C; Cosme M; Gaucherel C; Pommereau F
PLoS Comput Biol; 2022 Jun; 18(6):e1009657. PubMed ID: 35666771
[TBL] [Abstract][Full Text] [Related]
2. Model Checking Temporal Logic Formulas Using Sticker Automata.
Zhu W; Feng C; Wu H
Biomed Res Int; 2017; 2017():7941845. PubMed ID: 29119114
[TBL] [Abstract][Full Text] [Related]
3. Evaluation of properties over phylogenetic trees using stochastic logics.
Requeno JI; Colom JM
BMC Bioinformatics; 2016 Jun; 17(1):235. PubMed ID: 27301397
[TBL] [Abstract][Full Text] [Related]
4. Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost.
Ma Z; Li Z; Li W; Gao Y; Li X
Entropy (Basel); 2022 Aug; 24(9):. PubMed ID: 36141069
[TBL] [Abstract][Full Text] [Related]
5. Analysis and characterization of asynchronous state transition graphs using extremal states.
Lorenz T; Siebert H; Bockmayr A
Bull Math Biol; 2013 Jun; 75(6):920-38. PubMed ID: 23081730
[TBL] [Abstract][Full Text] [Related]
6. Automated parameter estimation for biological models using Bayesian statistical model checking.
Hussain F; Langmead CJ; Mi Q; Dutta-Moscato J; Vodovotz Y; Jha SK
BMC Bioinformatics; 2015; 16 Suppl 17(Suppl 17):S8. PubMed ID: 26679759
[TBL] [Abstract][Full Text] [Related]
7. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.
Pârvu O; Gilbert D
PLoS One; 2016; 11(5):e0154847. PubMed ID: 27187178
[TBL] [Abstract][Full Text] [Related]
8. Temporal logics for phylogenetic analysis via model checking.
Requeno JI; Casado Gde M; Blanco R; Colom JM
IEEE/ACM Trans Comput Biol Bioinform; 2013; 10(4):1058-70. PubMed ID: 24334397
[TBL] [Abstract][Full Text] [Related]
9. A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks.
Picard V; Siegel A; Bourdon J
J Comput Biol; 2017 Aug; 24(8):734-745. PubMed ID: 28686462
[TBL] [Abstract][Full Text] [Related]
10. Parameterized model checking of rendezvous systems.
Aminof B; Kotek T; Rubin S; Spegni F; Veith H
Distrib Comput; 2018; 31(3):187-222. PubMed ID: 31258231
[TBL] [Abstract][Full Text] [Related]
11. Bifurcations in the Kuramoto model on graphs.
Chiba H; Medvedev GS; Mizuhara MS
Chaos; 2018 Jul; 28(7):073109. PubMed ID: 30070519
[TBL] [Abstract][Full Text] [Related]
12. Verifying a medical protocol with temporal graphs: the case of a nosocomial disease.
Kamsu-Foguem B; Tchuenté-Foguem G; Foguem C
J Crit Care; 2014 Aug; 29(4):690.e1-9. PubMed ID: 24636931
[TBL] [Abstract][Full Text] [Related]
13. Macromolecular crowding: chemistry and physics meet biology (Ascona, Switzerland, 10-14 June 2012).
Foffi G; Pastore A; Piazza F; Temussi PA
Phys Biol; 2013 Aug; 10(4):040301. PubMed ID: 23912807
[TBL] [Abstract][Full Text] [Related]
14. Formalization of bond graph using higher-order-logic theorem proving.
Qasim U; Rashid A; Hasan O
ISA Trans; 2022 Sep; 128(Pt B):453-469. PubMed ID: 34972543
[TBL] [Abstract][Full Text] [Related]
15. Revealing Complex Ecological Dynamics via Symbolic Regression.
Chen Y; Angulo MT; Liu YY
Bioessays; 2019 Dec; 41(12):e1900069. PubMed ID: 31617228
[TBL] [Abstract][Full Text] [Related]
16. On the History of Ecosystem Dynamical Modeling: The Rise and Promises of Qualitative Models.
Cosme M; Thomas C; Gaucherel C
Entropy (Basel); 2023 Nov; 25(11):. PubMed ID: 37998218
[TBL] [Abstract][Full Text] [Related]
17. Successional theories.
Poorter L; Amissah L; Bongers F; Hordijk I; Kok J; Laurance SGW; Lohbeck M; Martínez-Ramos M; Matsuo T; Meave JA; Muñoz R; Peña-Claros M; van der Sande MT
Biol Rev Camb Philos Soc; 2023 Dec; 98(6):2049-2077. PubMed ID: 37455023
[TBL] [Abstract][Full Text] [Related]
18. Graph models of habitat mosaics.
Urban DL; Minor ES; Treml EA; Schick RS
Ecol Lett; 2009 Mar; 12(3):260-73. PubMed ID: 19161432
[TBL] [Abstract][Full Text] [Related]
19. Non-equilibrium spatial dynamics of ecosystems.
Guichard F; Gouhier TC
Math Biosci; 2014 Sep; 255():1-10. PubMed ID: 24984261
[TBL] [Abstract][Full Text] [Related]
20. Model checking software for phylogenetic trees using distribution and database methods.
Requeno JI; Colom JM
J Integr Bioinform; 2013 Nov; 10(3):229. PubMed ID: 24231143
[TBL] [Abstract][Full Text] [Related]
[Next] [New Search]