Qixia Yuan

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