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