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: 48 (0 UL)
Full Text
See detailProceedings of the AI4Health Lecture Series (2020)
Schommer, Christoph UL; Sauter, Thomas UL; Pang, Jun UL et al

Scientific Conference (2020)

The research field between Artificial Intelligence and Health sciences has established itself as a central research direction in recent years and has also further increased social interest. On the one ... [more ▼]

The research field between Artificial Intelligence and Health sciences has established itself as a central research direction in recent years and has also further increased social interest. On the one hand, this is due to the emergence of medical mass data and their use for AI-related fields, such as machine learning, human-computer interfaces and natural language-processing systems, and on the other hand, it is also due to the steadily growing social interest, which is not determined by the current Covid 19 pandemic. To this end, the lecture series is intended to provide an opportunity for scientific exchange. [less ▲]

Detailed reference viewed: 46 (3 UL)
Full Text
Peer Reviewed
See detailAccelerated verification of parametric protocols with decision trees
Li, Yongjian; Cao, Taifeng; Jansen, David et al

in Proceedings of the 38th International Conference on Computer Design (ICCD) (2020)

Detailed reference viewed: 48 (0 UL)
See detailPreface for the special issue of the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018)
Pang, Jun UL; Zhang, Chenyi

in Science of Computer Programming (2020), 187

Detailed reference viewed: 66 (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: 106 (0 UL)
See detailProceedings of the 6th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications
Pang, Jun UL; Zhang, Lijun

Book published by Springer (2020)

Detailed reference viewed: 59 (0 UL)
Full Text
Peer Reviewed
See detailFlavors of Boolean network reprogramming in the CoLoMoTo notebook environment.
Biane, Célia; Deritei, David; Rozum, Jordan et al

Poster (2020)

Detailed reference viewed: 125 (2 UL)
Full Text
Peer Reviewed
See detailAn efficient approach towards the source-target control of Boolean networks
Paul, Soumya UL; Su, Cui UL; Pang, Jun UL et al

in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2020), 17(6), 1932-1945

We study the problem of computing a minimal subset of nodes of a given asynchronous Boolean network that need to be perturbed in a single-step to drive its dynamics from an initial state to a target ... [more ▼]

We study the problem of computing a minimal subset of nodes of a given asynchronous Boolean network that need to be perturbed in a single-step to drive its dynamics from an initial state to a target steady state (or attractor), which we call the source-target control of Boolean networks. Due to the phenomenon of state-space explosion, a simple global approach that performs computations on the entire network, may not scale well for large networks. We believe that efficient algorithms for such networks must exploit the structure of the networks together with their dynamics. Taking this view, we derive a decomposition-based solution to the minimal source-target control problem which can be significantly faster than the existing approaches on large networks. We then show that the solution can be further optimised if we take into account appropriate information about the source state. We apply our solutions to both real-life biological networks and randomly generated networks, demonstrating the efficiency and efficacy of our approach. [less ▲]

Detailed reference viewed: 194 (23 UL)
Full Text
Peer Reviewed
See detailHigher-order graph convolutional embedding for temporal networks
Mo, Xian; Pang, Jun UL; Liu, Zhiming

in Proceedings of the 21st International Conference on Web Information System Engineering (WISE'20) (2020)

Detailed reference viewed: 58 (2 UL)
Full Text
Peer Reviewed
See detailA Dynamics-based Approach for the Target Control of Boolean Networks
Su, Cui; Pang, Jun UL

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

Detailed reference viewed: 54 (0 UL)
Full Text
Peer Reviewed
See detailNeuLP: An End-to-End Deep-Learning Model for Link Prediction
Zhong, Zhiqiang UL; Zhang, Yang; Pang, Jun UL

in Proceedings of the 21st International Conference on Web Information System Engineering (WISE'20) (2020)

Detailed reference viewed: 154 (7 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: 53 (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: 105 (2 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: 99 (1 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: 115 (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: 85 (0 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: 125 (3 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: 162 (2 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: 101 (0 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: 39 (0 UL)