2018
2017
-
A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks.
Andrzej Mizera,
Jun Pang, Hongyang Qu, and Qixia Yuan.
In Proc. 3nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications - SETTA'17,
Lecture Notes in Computer Science 10606, pp. 232-249. ©Springer-Verlag, 2017. Best Paper Award Honorable Mention
-
Reviving the two-state Markov chain approach.
Andrzej Mizera,
Jun Pang, and Qixia Yuan.
IEEE/ACM Transactions on Computational Biology and Bioinformatics (special issue of APBC 2017) Pages:1-13, DOI: 10.1109/TCBB.2017.2704592,
2017.
-
ASSA-PBN: A Toolbox for Probabilistic Boolean Networks. (poster)
Andrzej Mizera,
Jun Pang, and Qixia Yuan.
Presented at ISMB/ECCB 2017: The 25th Conference on Intelligent Systems for Molecular Biology and the 16th European Conference on Computational Biology.
-
ASSA-PBN: A Toolbox for Probabilistic Boolean Networks. (poster)
Andrzej Mizera,
Jun Pang, and Qixia Yuan.
Best poster award for Bridging the GAP, the first student research fair at University of Luxembourg.
2016
-
GPU-accelerated Steady-state Computation of Large Probabilistic Boolean Networks.
Andrzej Mizera,
Jun Pang, and Qixia Yuan.
In Proc. 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications - SETTA'16,
Lecture Notes in Computer Science 9984, pp. 50-66.
©Springer-Verlag, 2016.
-
Should we learn probabilistic models for model checking? A new approach and an empirical study.
Jingyi Wang, Jun Sun,
Qixia Yuan, and Jun Pang.
CoRR abs/1605.08278, 2016.
-
Fast simulation of probabilistic Boolean networks.
Andrzej Mizera,
Jun Pang, and Qixia Yuan.
In Proc. 14th International Conference on Computational Methods in Systems Biology - CMSB'16,
Lecture Notes in Computer Science Volume 9859, pp. 216-231.
©Springer-Verlag, 2016.
-
ASSA-PBN 2.0: A software tool for probabilistic Boolean networks.
Andrzej Mizera,
Jun Pang, and Qixia Yuan.
In Proc. 14th International Conference on Computational Methods in Systems Biology - CMSB'16,
Lecture Notes in Computer Science Volume 9859, pp. 309-315.
©Springer-Verlag, 2016.
-
GPU-accelerated Steady-State Analysis of Probabilistic Boolean Networks (poster).
Andrzej Mizera,
Jun Pang, and Qixia Yuan.
14th International Conference on Computational Methods in Systems Biology - CMSB'16, 2016.
-
Improving BDD-based attractor detection for synchronous Boolean networks.
Qixia Yuan, Hongyang Qu,
Jun Pang, and Andrzej Mizera.
SCIENCE CHINA Information Sciences59(8): 080101:1-080101:16, 2016.
-
Parallel approximate steady-state analysis of large probabilistic Boolean networks.
Andrzej Mizera,
Jun Pang, and Qixia Yuan.
In Proc. 31st ACM Symposium on Applied Computing - SAC'16,
pages 1-8, ©ACM Press, 2016.
2015
-
Improving BDD-based attractor detection for synchronous Boolean networks.
Hongyang Qu, Qixia Yuan
Jun Pang, and Andrzej Mizera.
In Proc. 7th Asia-Pacific Symposium on Internetware - Internetware'15,
pages 212-220, ©ACM Press, 2015.
-
ASSA-PBN: An approximate steady-state analyser for probabilistic Boolean networks.
Andrzej Mizera,
Jun Pang, and Qixia Yuan.
In Proc. 13th International Symposium on Automated Technology for Verification and Analysis - ATVA'15,
Lecture Notes in Computer Science 9364, pp. 214-220.
©Springer-Verlag, 2015.
2014
2012 and before
-
Probabilistic model checking of the PDGF signaling pathway.
Qixia Yuan, Panuwat Trairatphisan,
Jun Pang, Sjouke Mauw,
Monique Wiesinger, and Thomas Sauter.
Transactions on Computational Systems Biology XIV,
Lecture Notes in Bioinformatics 7625, pp. 151-180. ©Springer-Verlag, 2012.
-
A study of the PDGF signaling pathway with PRISM.
Qixia Yuan, Jun Pang,
Sjouke Mauw, Panuwat Trairatphisan,
Monique Wiesinger, and Thomas Sauter.
In Proc. 3rd International Workshop on Computational Models for Cell Processes - CompMod'11,
Electronic Proceedings in Theoretical Computer Science 67, pp. 65-81. 2011.
-
A Malware Detection Algorithm Based on Multi-view Fusion.
Shanqing Guo, Qixia Yuan,
Fengbo Lin, Fengyu Wang, and
Tao Ban
In Proc. of the 17th international conference on Neural information processing: models and applications-Volume Part II,
pp. 259-266. Springer-Verlag, 2010
