References of "Pang, Jun 50002807"
     in
Bookmark and Share    
Full Text
See detailSemantic and Relational Spaces in Science of Science: Deep Learning Models for Article Vectorisation
Kozlowski, Diego UL; Dusdal, Jennifer UL; Pang, Jun UL et al

E-print/Working paper (2020)

Over the last century, we observe a steady and exponentially growth of scientific publications globally. The overwhelming amount of available literature makes a holistic analysis of the research within a ... [more ▼]

Over the last century, we observe a steady and exponentially growth of scientific publications globally. The overwhelming amount of available literature makes a holistic analysis of the research within a field and between fields based on manual inspection impossible. Automatic techniques to support the process of literature review are required to find the epistemic and social patterns that are embedded in scientific publications. In computer sciences, new tools have been developed to deal with large volumes of data. In particular, deep learning techniques open the possibility of automated end-to-end models to project observations to a new, low-dimensional space where the most relevant information of each observation is highlighted. Using deep learning to build new representations of scientific publications is a growing but still emerging field of research. The aim of this paper is to discuss the potential and limits of deep learning for gathering insights about scientific research articles. We focus on document-level embeddings based on the semantic and relational aspects of articles, using Natural Language Processing (NLP) and Graph Neural Networks (GNNs). We explore the different outcomes generated by those techniques. Our results show that using NLP we can encode a semantic space of articles, while with GNN we are able to build a relational space where the social practices of a research community are also encoded. [less ▲]

Detailed reference viewed: 19 (4 UL)
Full Text
See detailElection Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios
Baloglu, Sevdenur UL; Bursuc, Sergiu UL; Mauw, Sjouke UL et al

E-print/Working paper (2020)

Election verifiability aims to ensure that the outcome produced by electronic voting systems correctly reflects the intentions of eligible voters, even in the presence of an adversary that may corrupt ... [more ▼]

Election verifiability aims to ensure that the outcome produced by electronic voting systems correctly reflects the intentions of eligible voters, even in the presence of an adversary that may corrupt various parts of the voting infrastructure. Protecting such systems from manipulation is challenging because of their distributed nature involving voters, election authorities, voting servers and voting platforms. An adversary corrupting any of these can make changes that, individually, would go unnoticed, yet in the end will affect the outcome of the election. It is, therefore, important to rigorously evaluate whether the measures prescribed by election verifiability achieve their goals. We propose a formal framework that allows such an evaluation in a systematic and automated way. We demonstrate its application to the verification of various scenarios in Helios and Belenios, two prominent internet voting systems. For Helios, our analysis is the first one to be, at the same time, fully automated (with the Tamarin protocol prover) and to precisely capture its end-to-end verifiability guarantees, allow- ing us to derive new security proofs and new attacks on deployed versions of it. For Belenios, similarly, we capture precisely the end-to-end verifiability guarantees when all election authorities are corrupted, which is outside the scope of previous formal definitions. We also find new attacks that apply in weaker corruption scenarios that are expected to be secure. In general, our framework allows a unified analy- sis and comparison of cryptographic voting protocols, corruption scenarios and verifiability procedures towards ensuring the end goal of election integrity. [less ▲]

Detailed reference viewed: 85 (2 UL)
Full Text
Peer Reviewed
See detailProceedings of the 6th Global Conference on Artificial Intelligence (GCAI 2020)
Danoy, Grégoire UL; Pang, Jun UL; Sutcliffe

in 6th Global Conference on Artificial Intelligence (2020, May)

Detailed reference viewed: 98 (9 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: 148 (21 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: 66 (1 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: 21 (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: 109 (1 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: 29 (0 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: 29 (0 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: 31 (0 UL)
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: 23 (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: 79 (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: 39 (0 UL)
Full Text
See detailPreface (Special section on software systems 2020)
Xie, Tao; Jin, Zhi; Li, Xuandong et al

in Journal of Computer Science and Technology (2020), 35(6), 1231-1233

Detailed reference viewed: 29 (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: 30 (0 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: 128 (2 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: 83 (1 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: 102 (3 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: 60 (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: 62 (0 UL)