Qixia Yuan

Orcid: 0000-0003-4421-5380

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Taming Asynchrony for Attractor Detection in Large Boolean Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2019

A new decomposition-based method for detecting attractors in synchronous Boolean networks.
Sci. Comput. Program., 2019

GPU-accelerated steady-state computation of large probabilistic Boolean networks.
Formal Aspects Comput., 2019

2018
Reviving the Two-State Markov Chain Approach.
IEEE ACM Trans. Comput. Biol. Bioinform., 2018

ASSA-PBN: A Toolbox for Probabilistic Boolean Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2018

Learning probabilistic models for model checking: an evolutionary approach and an empirical study.
Int. J. Softw. Tools Technol. Transf., 2018

ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks.
Proceedings of the Computational Methods in Systems Biology, 2018

2017
Computational Methods for Analysing Long-run Dynamics of Large Biological Networks.
PhD thesis, 2017

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

A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks.
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.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016
Fast Simulation of Probabilistic Boolean Networks (Technical Report).
CoRR, 2016

Improving BDD-based attractor detection for synchronous Boolean networks.
Sci. China Inf. Sci., 2016

Parallel approximate steady-state analysis of large probabilistic Boolean networks.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks.
Proceedings of the Computational Methods in Systems Biology, 2016

Fast Simulation of Probabilistic Boolean Networks.
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.
Int. J. Embed. Syst., 2015

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

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

ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks.
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

2012
Probabilistic Model Checking of the PDGF Signaling Pathway.
Trans. Comp. Sys. Biology, 2012

2011
A Study of the PDGF Signaling Pathway with PRISM
Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

2010
A Malware Detection Algorithm Based on Multi-view Fusion.
Proceedings of the Neural Information Processing. Models and Applications, 2010


  Loading...