Qixia Yuan

According to our database, Qixia Yuan authored at least 24 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Taming Asynchrony for Attractor Detection in Large Boolean Networks.

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

A new decomposition-based method for detecting attractors in synchronous Boolean networks.

Qixia Yuan, Andrzej Mizera, Jun Pang, Hongyang Qu

Sci. Comput. Program., 2019

GPU-accelerated steady-state computation of large probabilistic Boolean networks.

Andrzej Mizera, Jun Pang, Qixia Yuan

Formal Aspects Comput., 2019

2018

Reviving the Two-State Markov Chain Approach.

Andrzej Mizera, Jun Pang, Qixia Yuan

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

ASSA-PBN: A Toolbox for Probabilistic Boolean Networks.

Andrzej Mizera, Jun Pang, Cui Su, Qixia Yuan

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

Learning probabilistic models for model checking: an evolutionary approach and an empirical study.

Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang

Int. J. Softw. Tools Technol. Transf., 2018

ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks.

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan

Proceedings of the Computational Methods in Systems Biology, 2018

2017

Computational Methods for Analysing Long-run Dynamics of Large Biological Networks.

Qixia Yuan

PhD thesis, 2017

Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report).

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan

CoRR, 2017

A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks.

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.

Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

Fast Simulation of Probabilistic Boolean Networks (Technical Report).

Andrzej Mizera, Jun Pang, Qixia Yuan

CoRR, 2016

Improving BDD-based attractor detection for synchronous Boolean networks.

Qixia Yuan, Hongyang Qu, Jun Pang, Andrzej Mizera

Sci. China Inf. Sci., 2016

Parallel approximate steady-state analysis of large probabilistic Boolean networks.

Andrzej Mizera, Jun Pang, Qixia Yuan

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks.

Andrzej Mizera, Jun Pang, Qixia Yuan

Proceedings of the Computational Methods in Systems Biology, 2016

Fast Simulation of Probabilistic Boolean Networks.

Andrzej Mizera, Jun Pang, Qixia Yuan

Proceedings of the Computational Methods in Systems Biology, 2016

2015

Weak leakage resilient extractable hash proof system and construction for weak leakage resilient CCA-secure public-key encryption.

Chengyu Hu, Zuoxia Yu, Rupeng Yang, Qiuliang Xu, Yongbin Zhou, Qixia Yuan

Int. J. Embed. Syst., 2015

Parallel Approximate Steady-state Analysis of Large Probabilistic Boolean Networks (Technical Report).

Andrzej Mizera, Jun Pang, Qixia Yuan

CoRR, 2015

Reviving the Two-state Markov Chain Approach (Technical Report).

Andrzej Mizera, Jun Pang, Qixia Yuan

CoRR, 2015

ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks.

Andrzej Mizera, Jun Pang, Qixia Yuan

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks.

Andrzej Mizera, Jun Pang, Qixia Yuan

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

2012

Probabilistic Model Checking of the PDGF Signaling Pathway.

Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw, Monique Wiesinger, Thomas Sauter

Trans. Comp. Sys. Biology, 2012

2011

A Study of the PDGF Signaling Pathway with PRISM

Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter

Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

2010

A Malware Detection Algorithm Based on Multi-view Fusion.

Shanqing Guo, Qixia Yuan, Fengbo Lin, Fengyu Wang, Tao Ban

Proceedings of the Neural Information Processing. Models and Applications, 2010