A Malware Detection Algorithm Based on Multi-view Fusion. - Shanqing Guo; Qixia Yuan; Fengbo Lin; Fengyu Wang; Tao Ban (ICONIP (2), 2010)

A Study of the PDGF Signaling Pathway with PRISM - Qixia Yuan; Jun Pang 001; Sjouke Mauw; Panuwat Trairatphisan; Monique Wiesinger; Thomas Sauter (CompMod, 2011)

Probabilistic Model Checking of the PDGF Signaling Pathway. - Qixia Yuan; Panuwat Trairatphisan; Jun Pang 001; Sjouke Mauw; Monique Wiesinger; Thomas Sauter (Trans. Comp. Sys. Biology, 2012)

Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks. - Andrzej Mizera; Jun Pang 001; Qixia Yuan (ICECCS, 2014)

ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks. - Andrzej Mizera; Jun Pang 001; Qixia Yuan (ATVA, 2015)

Reviving the Two-state Markov Chain Approach (Technical Report). - Andrzej Mizera; Jun Pang 001; Qixia Yuan (CoRR, 2015)

Parallel Approximate Steady-state Analysis of Large Probabilistic Boolean Networks (Technical Report). - Andrzej Mizera; Jun Pang 001; Qixia Yuan (CoRR, 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)

Fast Simulation of Probabilistic Boolean Networks. - Andrzej Mizera; Jun Pang 001; Qixia Yuan (CMSB, 2016)

ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks. - Andrzej Mizera; Jun Pang 001; Qixia Yuan (CMSB, 2016)

Parallel approximate steady-state analysis of large probabilistic Boolean networks. - Andrzej Mizera; Jun Pang 001; Qixia Yuan (SAC, 2016)

Improving BDD-based attractor detection for synchronous Boolean networks. - Qixia Yuan; Hongyang Qu 001; Jun Pang 001; Andrzej Mizera (Sci. China Inf. Sci., 2016)

Fast Simulation of Probabilistic Boolean Networks (Technical Report). - Andrzej Mizera; Jun Pang 001; Qixia Yuan (CoRR, 2016)

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. - Jingyi Wang 004; Jun Sun 001; Qixia Yuan; Jun Pang 001 (FASE, 2017)

A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. - Andrzej Mizera; Jun Pang 001; Hongyang Qu 001; Qixia Yuan (SETTA, 2017)

Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report). - Andrzej Mizera; Jun Pang 001; Hongyang Qu 001; Qixia Yuan (CoRR, 2017)

Computational Methods for Analysing Long-run Dynamics of Large Biological Networks. - Qixia Yuan (2017)

ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks. - Andrzej Mizera; Jun Pang 001; Hongyang Qu 001; Qixia Yuan (CMSB, 2018)

Learning probabilistic models for model checking: an evolutionary approach and an empirical study. - Jingyi Wang 004; Jun Sun 001; Qixia Yuan; Jun Pang 001 (Int. J. Softw. Tools Technol. Transf., 2018)

ASSA-PBN: A Toolbox for Probabilistic Boolean Networks. - Andrzej Mizera; Jun Pang 001; Cui Su; Qixia Yuan (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

Reviving the Two-State Markov Chain Approach. - Andrzej Mizera; Jun Pang 001; Qixia Yuan (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

GPU-accelerated steady-state computation of large probabilistic Boolean networks. - Andrzej Mizera; Jun Pang 001; Qixia Yuan (Formal Aspects Comput., 2019)

A new decomposition-based method for detecting attractors in synchronous Boolean networks. - Qixia Yuan; Andrzej Mizera; Jun Pang 001; Hongyang Qu 001 (Sci. Comput. Program., 2019)

Taming Asynchrony for Attractor Detection in Large Boolean Networks. - Andrzej Mizera; Jun Pang 001; Hongyang Qu 001; Qixia Yuan (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)