Qixia Yuan

ORCID

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 17

Top Venues

CoRR

IEEE ACM Trans. Comput. Biol. Bioinform.

CMSB

SETTA

University of Luxembourg (PHD)

Education History

University of Luxembourg

PHD

Publications

Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
Taming Asynchrony for Attractor Detection in Large Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (1) (2019)
Qixia Yuan, Andrzej Mizera, Jun Pang, Hongyang Qu
A new decomposition-based method for detecting attractors in synchronous Boolean networks. Sci. Comput. Program. 180 (2019)
Andrzej Mizera, Jun Pang, Qixia Yuan
GPU-accelerated steady-state computation of large probabilistic Boolean networks. Formal Aspects Comput. 31 (1) (2019)
Andrzej Mizera, Jun Pang, Cui Su, Qixia Yuan
ASSA-PBN: A Toolbox for Probabilistic Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (4) (2018)
Andrzej Mizera, Jun Pang, Qixia Yuan
Reviving the Two-State Markov Chain Approach. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (5) (2018)
Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks. CMSB (2018)
Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
Learning probabilistic models for model checking: an evolutionary approach and an empirical study. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report). CoRR (2017)
Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. FASE (2017)
Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. SETTA (2017)
Andrzej Mizera, Jun Pang, Qixia Yuan
Fast Simulation of Probabilistic Boolean Networks. CMSB (2016)
Andrzej Mizera, Jun Pang, Qixia Yuan
ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks. CMSB (2016)
Andrzej Mizera, Jun Pang, Qixia Yuan
GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks. SETTA (2016)
Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. CoRR (2016)
Qixia Yuan, Hongyang Qu, Jun Pang, Andrzej Mizera
Improving BDD-based attractor detection for synchronous Boolean networks. Sci. China Inf. Sci. 59 (8) (2016)
Andrzej Mizera, Jun Pang, Qixia Yuan
Parallel approximate steady-state analysis of large probabilistic Boolean networks. SAC (2016)
Andrzej Mizera, Jun Pang, Qixia Yuan
Fast Simulation of Probabilistic Boolean Networks (Technical Report). CoRR (2016)
Hongyang Qu, Qixia Yuan, Jun Pang, Andrzej Mizera
Improving BDD-based Attractor Detection for Synchronous Boolean Networks. Internetware (2015)
Andrzej Mizera, Jun Pang, Qixia Yuan
ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks. ATVA (2015)
Andrzej Mizera, Jun Pang, Qixia Yuan
Reviving the Two-state Markov Chain Approach (Technical Report). CoRR (2015)
Andrzej Mizera, Jun Pang, Qixia Yuan
Parallel Approximate Steady-state Analysis of Large Probabilistic Boolean Networks (Technical Report). CoRR (2015)
Chengyu Hu, Zuoxia Yu, Rupeng Yang, Qiuliang Xu, Yongbin Zhou, Qixia Yuan
Weak leakage resilient extractable hash proof system and construction for weak leakage resilient CCA-secure public-key encryption. Int. J. Embed. Syst. 7 (3/4) (2015)
Andrzej Mizera, Jun Pang, Qixia Yuan
Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks. ICECCS (2014)
Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw, Monique Wiesinger, Thomas Sauter
Probabilistic Model Checking of the PDGF Signaling Pathway. Trans. Comp. Sys. Biology 14 (2012)
Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter
A Study of the PDGF Signaling Pathway with PRISM CompMod (2011)
Shanqing Guo, Qixia Yuan, Fengbo Lin, Fengyu Wang, Tao Ban
A Malware Detection Algorithm Based on Multi-view Fusion. ICONIP (2) (2010)

Qixia Yuan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Qixia Yuan