Qixia Yuan

Qixia Yuan
Postal Address Université du Luxembourg
2, avenue de l'Université
L-4365 Esch-sur-Alzette
powered by
orbilu.uni.lu

2018

Full Text
See detailReviving the two-state Markov chain approach
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2018)

Top of Page

2017

Full Text
See detailA new decomposition method for attractor detection in large synchronous Boolean networks
Mizera, Andrzej; Pang, Jun; Qu, Hongyang; Yuan, Qixia

in Proceedings of the 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (2017)

Full Text
See detailShould We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study
Wang, Jingyi; Sun, Jun; Yuan, Qixia; Pang, Jun

in Proceedings of 20th International Conference on Fundamental Approaches to Software Engineering (2017)

Top of Page

2016

Full Text
See detailParallel Approximate Steady-state Analysis of Large Probabilistic Boolean Networks
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

in Proceedings of the 31st ACM Symposium on Applied Computing (2016, April)

See detailGPU-accelerated steady-state analysis of probabilistic Boolean networks
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

Poster (2016)

Full Text
See detailASSA-PBN 2.0: A software tool for probabilistic Boolean networks.
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

in Proceedings of 14th International Conference on Computational Methods in Systems Biology (2016)

Full Text
See detailFast simulation of probabilistic Boolean networks.
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

in Proceedings of 14th International Conference on Computational Methods in Systems Biology (2016)

Full Text
See detailImproving BDD-based attractor detection for synchronous Boolean networks.
Yuan, Qixia; Qu, Hongyang; Pang, Jun; Mizera, Andrzej

in SCIENCE CHINA Information Sciences (2016), 59(8), 0801011-08010116

Top of Page

2015

Full Text
See detailASSA-PBN: An approximate steady-state analyser for probabilistic Boolean networks
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

in Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15) (2015)

Full Text
See detailImproving BDD-based attractor detection for synchronous Boolean networks
Qu, Hongyang; Yuan, Qixia; Pang, Jun; Mizera, Andrzej

in Proceedings of the 7th Asia-Pacific Symposium on Internetware (2015)

Top of Page

2014

Full Text
See detailModel-checking based approaches to parameter estimation of gene regulatory networks
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

in Proceedings of 19th IEEE Conference on Engineering of Complex Computer Systems (2014)

Top of Page