Qixia Yuan

Qixia Yuan
Adresse postale 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), 15(5), 1525-1537

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)

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 detailGPU-accelerated steady-state analysis of probabilistic Boolean networks
Mizera, Andrzej; Pang, Jun; Yuan, Qixia

Poster (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

2012

Full Text
See detailProbabilistic model checking of the PDGF signaling pathway
Yuan, Qixia; Trairatphisan, Panuwat; Pang, Jun; Mauw, Sjouke; Wiesinger, Monique; Sauter, Thomas

in Transactions on Computational Systems Biology (2012), XIV

Top of Page

2011

Full Text
See detailA study of the PDGF signaling pathway with PRISM
Yuan, Qixia; Pang, Jun; Mauw, Sjouke; Trairatphisan, Panuwat; Wiesinger, Monique; Sauter, Thomas

in Proceedings of the 3rd Workshop on Computational Models for Cell Processes (2011), EPTCS 67

Top of Page