References of "Pang, Jun 50002807"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailCharacterising probabilistic alternating simulation for concurrent games
Zhang, Chenyi; Pang, Jun UL

in Proceedings of the 14th IEEE Symposium on Theoretical Aspects of Software Engineering (TASE) (2020)

Detailed reference viewed: 36 (0 UL)
Full Text
Peer Reviewed
See detailSequential Temporary and Permanent Control of Boolean Networks.
Su, Cui; Pang, Jun UL

in Proceedings of the 18th International Conference on Computational Methods in Systems Biology (CMSB) (2020)

Detailed reference viewed: 95 (0 UL)
Full Text
Peer Reviewed
See detailAlgorithms for the Sequential Reprogramming of Boolean Networks
Mandon, Hugues; Su, Cui; Pang, Jun UL et al

in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2019), 16(5), 1610-1619

Detailed reference viewed: 82 (1 UL)
Full Text
Peer Reviewed
See detailSequential reprogramming of Boolean networks made practical
Mandon, Hugues; Su, Cui; Haar, Stefan et al

in Proceedings of 17th International Conference on Computational Methods in Systems Biology (CMSB'19) (2019)

Detailed reference viewed: 76 (0 UL)
Full Text
Peer Reviewed
See detailA learning-based framework for automatic parameterized verification
Li, Yongjian; Cao, Jialun; Pang, Jun UL

in Proceedings of the 37th International Conference on Computer Design (ICCD) (2019)

Detailed reference viewed: 45 (0 UL)
Full Text
Peer Reviewed
See detailScalable control of asynchronous Boolean networks
Su, Cui; Paul, Soumya UL; Pang, Jun UL

in Proceedings of 17th International Conference on Computational Methods in Systems Biology (CMSB'19) (2019)

Detailed reference viewed: 86 (0 UL)
Full Text
Peer Reviewed
See detailA new decomposition-based method for detecting attractors in synchronous Boolean networks
Yuan, Qixia; Mizera, Andrzej UL; Pang, Jun UL et al

in Science of Computer Programming (2019), 180

Detailed reference viewed: 95 (5 UL)
See detailProceedings of the 24th International Conference on Engineering of Complex Computer Systems
Pang, Jun UL; Sun, Jing

Book published by IEEE (2019)

Detailed reference viewed: 34 (0 UL)
Full Text
Peer Reviewed
See detailControlling large Boolean networks with temporary and permanent perturbations
Su, Cui; Paul, Soumya UL; Pang, Jun UL

in Proceedings of the 23rd International Symposium on Formal Methods (FM'19) (2019)

Detailed reference viewed: 92 (2 UL)
Full Text
Peer Reviewed
See detailA graph-based approach to explore relationship between hashtags and images
Zhong, Zhiqiang UL; Zhang, Yang; Pang, Jun UL

in Proceedings of the 20th International Conference on Web Information System Engineering (2019)

Detailed reference viewed: 82 (3 UL)
Full Text
Peer Reviewed
See detailTaming asynchrony for attractor detection in large Boolean networks
Mizera, Andrzej UL; Pang, Jun UL; Qu, Hongyang et al

in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2019), 16(1), 31-42

Detailed reference viewed: 117 (3 UL)
Full Text
Peer Reviewed
See detailGPU-accelerated steady-state computation of large probabilistic Boolean networks
Mizera, Andrzej UL; Pang, Jun UL; Yuan, Qixia

in Formal Aspects of Computing (2019), 31(1), 27-46

Detailed reference viewed: 104 (1 UL)
Full Text
Peer Reviewed
See detailControlling large Boolean networks with single-step perturbations
Baudin, Alexis; Paul, Soumya UL; Su, Cui et al

in Bioinformatics (2019), 35(14), 558-567

Detailed reference viewed: 148 (2 UL)
Full Text
Peer Reviewed
See detailAn active learning-based approach for location-aware acquaintance inference
Chen, Bo-Heng; Li, Cheng-Te; Chuang, Kun-Ta et al

in Knowledge and Information Systems (2019), 59(3), 539-569

Detailed reference viewed: 116 (2 UL)
Full Text
Peer Reviewed
See detailASSA-PBN: A Toolbox for Probabilistic Boolean Networks
Mizera, Andrzej UL; Pang, Jun UL; Su, Cui et al

in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2018), 15(4), 1203-1216

Detailed reference viewed: 81 (4 UL)
Full Text
Peer Reviewed
See detailASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks
Mizera, Andrzej UL; Pang, Jun UL; Qu, Hongyang et al

in Proceedings of the 16th International Conference on Computational Methods in Systems Biology (2018)

Detailed reference viewed: 117 (3 UL)
Full Text
Peer Reviewed
See detailA Decomposition-based Approach towards the Control of Boolean Networks
Paul, Soumya UL; Su, Cui; Pang, Jun UL et al

in Proceedings of the 2018 ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics (2018)

Detailed reference viewed: 119 (4 UL)
See detailProceedings of the 12th International Symposium on Theoretical Aspects of Software Engineering
Pang, Jun UL; Zhang, Chenyi; He, Jifeng et al

Book published by IEEE Computer Society (2018)

Detailed reference viewed: 46 (2 UL)
Full Text
Peer Reviewed
See detailTowards the Existential Control of Boolean Networks: A Preliminary Report
Paul, Soumya UL; Pang, Jun UL; Su, Cui

in Proceedings of the 4th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (2018)

Detailed reference viewed: 74 (1 UL)
Full Text
Peer Reviewed
See detailOn the Full Control of Boolean Networks
Paul, Soumya UL; Pang, Jun UL; Su, Cui

in Proceedings of the 16th International Conference on Computational Methods in Systems Biology (2018)

Detailed reference viewed: 101 (4 UL)