Name
Affiliation
Papers
QIXIA YUAN
Univ Luxembourg, Comp Sci & Commun, Luxembourg, Luxembourg
20
Collaborators
Citations 
PageRank 
20
31
7.44
Referers 
Referees 
References 
60
368
205
Search Limit
100368
Title
Citations
PageRank
Year
Taming Asynchrony for Attractor Detection in Large Boolean Networks.30.452019
A new decomposition-based method for detecting attractors in synchronous Boolean networks10.352019
GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks.10.372019
Learning probabilistic models for model checking: an evolutionary approach and an empirical study.00.342018
ASSA-PBN: A Toolbox for Probabilistic Boolean Networks.20.362018
Reviving the Two-State Markov Chain Approach.20.392018
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study.50.442017
Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report).00.342017
A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks.00.342017
Parallel approximate steady-state analysis of large probabilistic Boolean networks.30.432016
Improving BDD-based attractor detection for synchronous Boolean networks.00.342016
Fast Simulation of Probabilistic Boolean Networks (Technical Report).00.342016
Improving BDD-based Attractor Detection for Synchronous Boolean Networks.10.352015
Parallel Approximate Steady-state Analysis of Large Probabilistic Boolean Networks (Technical Report)00.342015
ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks.70.522015
Weak Leakage Resilient Extractable Hash Proof System And Construction For Weak Leakage Resilient Cca-Secure Public-Key Encryption00.342015
Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks00.342014
Probabilistic model checking of the PDGF signaling pathway10.352012
A Study Of The Pdgf Signaling Pathway With Prism20.372011
A malware detection algorithm based on multi-view fusion30.382010