Bringing LTL Model Checking to Biologists-Reference-Cited by-同舟云学术

Bringing LTL Model Checking to Biologists

Published:2017 Issue: Volume: Page:1-13
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ahmed Zara,Benque David,Berezin Sergey,Dahl Anna Caroline E.,Fisher Jasmin,Hall Benjamin A.,Ishtiaq Samin,Nanavati Jay,Piterman Nir,Riechert Maik,Skoblov Nikita

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-52234-0_1

Reference17 articles.

1. Bonzanni, N., Garg, A., Feenstra, K.A., Schütte, J., Kinston, S., Miranda-Saavedra, D., Heringa, J., Xenarios, I., Göttgens, B.: Hard-wired heterogeneity in blood stem cells revealed using a dynamic regulatory network model. Bioinformatics 29, i80–i88 (2013)

2. Chuang, R., Hall, B., Benque, D., Cook, B., Ishtiaq, S., Piterman, N., Taylor, A., Vardi, M., Koschmieder, S., Gottgens, B., Fisher, J.: Drug target optimization in chronic myeloid leukemia using innovative computational platform. Sci. Rep. 5, 8190 (2015)

3. Moignard, V., Woodhouse, S., Haghverdi, L., Lilly, J., Tanaka, Y., Wilkinson, A., Buettner, F., Nishikawa, S., Piterman, N., Kouskoff, V., Theis, F., Fisher, J., Gottgens, B.: Decoding the regulatory network of early blood development from single cell gene expression measurements. Nat. Biotechnol. 33, 269–276 (2015)

4. Remy, E., Rebouissou, S., Chaouiya, C., Zinovyev, A., Radvanyi, F., Calzone, L.: A modeling approach to explain mutually exclusive and co-occurring genetic alterations in bladder tumorigenesis. Cancer Res. 75, 4042–4052 (2015)

5. Terfve, C.D.A., Wilkes, E.H., Casado, P., Cutillas, P.R., Saez-Rodriguez, J.: Large-scale models of signal propagation in human cells derived from discovery phosphoproteomic data. Nat. Commun. 6, 8033 (2015)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability;Tools and Algorithms for the Construction and Analysis of Systems;2023

2. Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation;Requirements Engineering: Foundation for Software Quality;2022

3. Executable cancer models: successes and challenges;Nature Reviews Cancer;2020-04-27

4. Millimetre-wave Planar Bruce Array Antenna;2020 International Workshop on Antenna Technology (iWAT);2020-02

5. Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior With Prior Knowledge of Biological Networks;Frontiers in Bioengineering and Biotechnology;2019-03-26