Följ
Qixia Yuan
Titel
Citeras av
Citeras av
År
Taming asynchrony for attractor detection in large Boolean networks
A Mizera, J Pang, H Qu, Q Yuan
IEEE/ACM transactions on computational biology and bioinformatics 16 (1), 31-42, 2018
482018
Improving BDD-based attractor detection for synchronous Boolean networks
H Qu, Q Yuan, J Pang, A Mizera
Proceedings of the 7th Asia-Pacific Symposium on Internetware, 212-220, 2015
272015
ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks
A Mizera, J Pang, Q Yuan
Automated Technology for Verification and Analysis: 13th International …, 2015
272015
ASSA-PBN: A toolbox for probabilistic Boolean networks
A Mizera, J Pang, C Su, Q Yuan
IEEE/ACM Transactions on Computational Biology and Bioinformatics 15 (4 …, 2017
212017
A new decomposition-based method for detecting attractors in synchronous Boolean networks
Q Yuan, A Mizera, J Pang, H Qu
Science of Computer Programming 180, 18-35, 2019
162019
Should we learn probabilistic models for model checking? A new approach and an empirical study
J Wang, J Sun, Q Yuan, J Pang
Fundamental Approaches to Software Engineering: 20th International …, 2017
142017
ASSA-PBN 2.0: A software tool for probabilistic Boolean networks
A Mizera, J Pang, Q Yuan
International Conference on Computational Methods in Systems Biology, 309-315, 2016
142016
Reviving the two-state Markov chain approach
A Mizera, J Pang, Q Yuan
IEEE/ACM transactions on computational biology and bioinformatics 15 (5 …, 2017
132017
A new decomposition method for attractor detection in large synchronous Boolean networks
A Mizera, J Pang, H Qu, Q Yuan
Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017
132017
Learning probabilistic models for model checking: an evolutionary approach and an empirical study
J Wang, J Sun, Q Yuan, J Pang
International Journal on Software Tools for Technology Transfer 20 (6), 689-704, 2018
82018
Reviving the two-state markov chain approach (technical report)
A Mizera, J Pang, Q Yuan
arXiv preprint arXiv:1501.01779, 2015
82015
GPU-accelerated steady-state computation of large probabilistic Boolean networks
A Mizera, J Pang, Q Yuan
Formal Aspects of Computing 31, 27-46, 2019
72019
Parallel approximate steady-state analysis of large probabilistic Boolean networks
A Mizera, J Pang, Q Yuan
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1-8, 2016
62016
Fast simulation of probabilistic Boolean networks
A Mizera, J Pang, Q Yuan
Computational Methods in Systems Biology: 14th International Conference …, 2016
62016
Probabilistic model checking of the PDGF signaling pathway
Q Yuan, P Trairatphisan, J Pang, S Mauw, M Wiesinger, T Sauter
Transactions on Computational Systems Biology XIV: Special Issue on …, 2012
62012
Reviving the two-state Markov chain approach (Technical report)(2015)
A Mizera, J Pang, Q Yuan
Accessed on http://arxiv. org/abs/1501.01779, 0
6
ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks
A Mizera, J Pang, H Qu, Q Yuan
Computational Methods in Systems Biology: 16th International Conference …, 2018
42018
Taming asynchrony for attractor detection in large Boolean networks (technical report)
A Mizera, J Pang, H Qu, Q Yuan
arXiv preprint arXiv:1704.06530, 2017
32017
A study of the PDGF signaling pathway with PRISM
Q Yuan, J Pang, S Mauw, P Trairatphisan, M Wiesinger, T Sauter
arXiv preprint arXiv:1109.1367, 2011
32011
Weak leakage resilient extractable hash proof system and construction for weak leakage resilient CCA-secure public-key encryption
C Hu, Z Yu, R Yang, Q Xu, Y Zhou, Q Yuan
International Journal of Embedded Systems 7 (3-4), 216-229, 2015
22015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20