| 2026 | WWW | Large Language Models-Enhanced Semantic Diffusion for User-Centric Recommendation. | Xian Mo, Yijun Hu, Jun Pang |
| 2025 | ICASSP | Privacy-Preserving Distributed Maximum Consensus Without Accuracy Loss. | Wenrui Yu, Richard Heusdens, Jun Pang, Qiongxiu Li |
| 2025 | ICML | Guided Structural Inference: Leveraging Priors with Soft Gating Mechanisms. | Aoran Wang, Xinnan Dai, Jun Pang |
| 2025 | IJCAI | PAMol: Pocket-Aware Drug Design Method with Hypergraph Representation of Protein Pocket Structure and Feature Fusion. | Xiaoli Lin, Xiongwei Liao, Jun Pang, Bo Li, Xiaolong Zhang |
| 2025 | TrustCom | Bits for Privacy: Evaluating Post-Training Quantization via Membership Inference. | Chenxiang Zhang, Tongxi Qu, Zhong Li, Tian Zhang, Jun Pang, Sjouke Mauw |
| 2024 | AsiaCCS | Formal Verification and Solutions for Estonian E-Voting. | Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang |
| 2024 | ICDE | Multi-Grained Semantics-Aware Graph Neural Networks (Extended abstract). | Zhiqiang Zhong, Cheng-Te Li, Jun Pang |
| 2024 | ICFEM | Observability of Boolean Control Networks: New Definition and Verification Algorithm. | Guisen Wu, Zhiming Liu, Jun Pang |
| 2024 | ICLR | Structural Inference with Dynamics Encoding and Partial Correlation Coefficients. | Aoran Wang, Jun Pang |
| 2024 | WWW | Exploring Unconfirmed Transactions for Effective Bitcoin Address Clustering. | Kai Wang, Yakun Cheng, Michael Wen Tong, Zhenghao Niu, Jun Pang, Weili Han |
| 2023 | ADMA | Two Birds with One Stone: A Link Prediction Model for Knowledge Hypergraph Based on Fully-Connected Tensor Decomposition. | Jun Pang, Hong-Chao Qin, Yan Liu, Xiao-Qi Liu |
| 2023 | ECAI | On Observability Analysis in Multiagent Systems. | Chunyan Mu, Jun Pang |
| 2023 | ICINCO | Single-Experiment Reconstructibility of Boolean Control Networks Revisited. | Guisen Wu, Jun Pang |
| 2023 | ICML | Active Learning based Structural Inference. | Aoran Wang, Jun Pang |
| 2023 | ICML | Effective and Efficient Structural Inference with Reservoir Computing. | Aoran Wang, Tsz Pan Tong, Jun Pang |
| 2022 | APSEC | NEGAR: Network Embedding Guided Architecture Recovery for Software Systems. | Jiayi Chen, Zhixing Wang, Yuchen Jiang, Jun Pang, Tian Zhang, Minxue Pan, Jianwen Sun |
| 2021 | ACSAC | Stealing Machine Learning Models: Attacks and Countermeasures for Generative Adversarial Networks. | Hailong Hu, Jun Pang |
| 2021 | CCS | Membership Inference Attacks against GANs by Leveraging Over-representation Regions. | Hailong Hu, Jun Pang |
| 2021 | CVPR | Hilbert Sinkhorn Divergence for Optimal Transport. | Qian Li, Zhichao Wang, Gang Li, Jun Pang, Guandong Xu |
| 2021 | FM | Cabean 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks. | Cui Su, Jun Pang |
| 2020 | HCI | Effects of Avatar Cuteness on Users' Perceptions of System Errors in Anthropomorphic Interfaces. | Yue Cheng, Lingyun Qiu, Jun Pang |
| 2020 | ICCD | Accelerated Verification of Parametric Protocols with Decision Trees. | Yongjian Li, Taifeng Cao, David N. Jansen, Jun Pang, Xiaotao Wei |
| 2020 | WISE | Higher-Order Graph Convolutional Embedding for Temporal Networks. | Xian Mo, Jun Pang, Zhiming Liu |
| 2020 | WISE | NeuLP: An End-to-End Deep-Learning Model for Link Prediction. | Zhiqiang Zhong, Yang Zhang, Jun Pang |
| 2020 | TASE | Characterising Probabilistic Alternating Simulation for Concurrent Games. | Chenyi Zhang, Jun Pang |
| 2019 | FM | Controlling Large Boolean Networks with Temporary and Permanent Perturbations. | Cui Su, Soumya Paul, Jun Pang |
| 2019 | ICCD | A Learning-Based Framework for Automatic Parameterized Verification. | Yongjian Li, Jialun Cao, Jun Pang |
| 2019 | WISE | A Graph-Based Approach to Explore Relationship Between Hashtags and Images. | Zhiqiang Zhong, Yang Zhang, Jun Pang |
| 2018 | WWW | Tagvisor: A Privacy Advisor for Sharing Hashtags. | Yang Zhang, Mathias Humbert, Tahleen A. Rahman, Cheng-Te Li, Jun Pang, Michael Backes |
| 2018 | SETTA | Towards the Existential Control of Boolean Networks: A Preliminary Report. | Soumya Paul, Jun Pang, Cui Su |
| 2017 | CCS | walk2friends: Inferring Social Links from Mobility Profiles. | Michael Backes, Mathias Humbert, Jun Pang, Yang Zhang |
| 2017 | CIKM | Semantic Annotation for Places in LBSN through Graph Embedding. | Yan Wang, Zongxu Qin, Jun Pang, Yang Zhang, Jin Xin |
| 2017 | FASE | Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. | Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang |
| 2017 | ICFEM | A Verification Framework for Stateful Security Protocols. | Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong |
| 2017 | ICWSM | DeepCity: A Feature Learning Framework for Mining Location Check-Ins. | Jun Pang, Yang Zhang |
| 2017 | SETTA | A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. | Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan |
| 2016 | ICCD | A novel approach to parameterized verification of cache coherence protocols. | Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai |
| 2016 | SAC | Parallel approximate steady-state analysis of large probabilistic Boolean networks. | Andrzej Mizera, Jun Pang, Qixia Yuan |
| 2016 | WISE | On Impact of Weather on Human Mobility in Cities. | Jun Pang, Polina Zablotskaia, Yang Zhang |
| 2016 | SACMAT | An Empirical Study on User Access Control in Online Social Networks. | Minyue Ni, Yang Zhang, Weili Han, Jun Pang |
| 2016 | SETTA | GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks. | Andrzej Mizera, Jun Pang, Qixia Yuan |
| 2015 | APWEB | Distance and Friendship: A Distance-Based Model for Link Prediction in Social Networks. | Yang Zhang, Jun Pang |
| 2015 | ASPLOS | More is Less, Less is More: Molecular-Scale Photonic NoC Power Topologies. | Jun Pang, Chris Dwyer, Alvin R. Lebeck |
| 2015 | ATVA | ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. | Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan |
| 2015 | ATVA | ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks. | Andrzej Mizera, Jun Pang, Qixia Yuan |
| 2015 | COMPSAC | Cryptographic Protocols for Enforcing Relationship-Based Access Control Policies. | Jun Pang, Yang Zhang |
| 2015 | ICWE | Community-Driven Social Influence Analysis and Applications. | Yang Zhang, Jun Pang |
| 2015 | WWW | Exploring Communities for Effective Location Prediction. | Jun Pang, Yang Zhang |
| 2015 | SACMAT | A Logical Approach to Restricting Access in Online Social Networks. | Marcos Cramer, Jun Pang, Yang Zhang |
| 2014 | APWEB | Measuring User Similarity with Trajectory Patterns: Principles and New Metrics. | Xihui Chen, Ruipeng Lu, Xiaoxing Ma, Jun Pang |
| 2014 | ASPLOS | Rhythm: harnessing data parallel hardware for server workloads. | Sandeep R. Agrawal, Valentin Pistol, Jun Pang, John Tran, David Tarjan, Alvin R. Lebeck |
| 2014 | ICECCS | Symbolic Analysis of an Electric Vehicle Charging Protocol. | Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong |
| 2014 | ICECCS | Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks. | Andrzej Mizera, Jun Pang, Qixia Yuan |
| 2014 | SECRYPT | Dynamic Analysis of Usage Control Policies. | Yehia Elrakaiby, Jun Pang |
| 2013 | CCS | Demonstrating a trust framework for evaluating GNSS signal integrity. | Xihui Chen, Carlo Harpes, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang |
| 2013 | ESORICS | Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations. | Naipeng Dong, Hugo Jonker, Jun Pang |
| 2013 | ICFEM | Verification of Functional and Non-functional Requirements of Web Service Composition. | Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li |
| 2013 | ICST | Message from ESSS 2013 Workshop Co-chairs. | Jun Pang, Yang Liu, Sjouke Mauw |
| 2013 | MICRO | Exploiting emerging technologies for nanoscale photonic networks-on-chip. | Jun Pang, Christopher Dwyer, Alvin R. Lebeck |
| 2013 | SAC | Constructing and comparing user mobility profiles for location-based services. | Xihui Chen, Jun Pang, Ran Xue |
| 2012 | ESORICS | Post-hoc User Traceability Analysis in Electronic Toll Pricing Systems. | Xihui Chen, David Fonkwe, Jun Pang |
| 2012 | ESORICS | Formal Analysis of Privacy in an eHealth Protocol. | Naipeng Dong, Hugo Jonker, Jun Pang |
| 2012 | SOFSEM | An Algorithm for Probabilistic Alternating Simulation. | Chenyi Zhang, Jun Pang |
| 2012 | TASE | Comparative Analysis of Clustering Protocols with Probabilistic Model Checking. | Qian Li, Pter Schaffer, Jun Pang, Sjouke Mauw |
| 2011 | FM | On Combining State Space Reductions with Global Fairness Assumptions. | Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong |
| 2010 | EUC | Extending a Key-Chain Based Certified Email Protocol with Transparent TTP. | Zhiyuan Liu, Jun Pang, Chenyi Zhang |
| 2010 | ICECCS | Model Checking Round-Based Distributed Algorithms. | Xin An, Jun Pang |
| 2010 | PODC | Brief announcement: asynchronous bounded expected delay networks. | Rena Bakhshi, Jrg Endrullis, Wan J. Fokkink, Jun Pang |
| 2009 | APSEC | Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. | Bixin Li, Yu Zhou, Jun Pang |
| 2009 | CAV | PAT: Towards Flexible Verification under Fairness. | Jun Sun, Yang Liu, Jin Song Dong, Jun Pang |
| 2009 | ICFEM | Improving Automatic Verification of Security Protocols with XOR. | Xihui Chen, Ton van Deursen, Jun Pang |
| 2009 | TASE | Verification of Population Ring Protocols in PAT. | Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao |
| 2008 | TASE | On Automatic Verification of Self-Stabilizing Population Protocols. | Jun Pang, Zhengqin Luo, Yuxin Deng |
| 2007 | ACNS | Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. | Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng |
| 2007 | ATVA | Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. | Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz |
| 2007 | PDCAT | Extending the Strand Space Method to Verify Kerberos V. | Yongjian Li, Jun Pang |
| 2007 | TACAS | Distributed Analysis with | Stefan Blom, Jens R. Calam, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs |
| 2006 | ATVA | Automatic Verification of Hybrid Systems with Large Discrete State Space. | Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz |
| 2006 | PDCAT | Generalized Unsolicited Tests for Authentication Protocol Analysis. | Yongjian Li, Jun Pang |
| 2004 | SEFM | Abstraction of Parallel Uniform Processes with Data. | Jun Pang, Jaco van de Pol, Miguel Valero Espada |
| 2003 | FOSSACS | Cones and Foci for Protocol Verification Revisited. | Wan J. Fokkink, Jun Pang |
| 2003 | ICFEM | Analyzing the Redesign of a Distributed Lift System in UPPAAL. | Jun Pang, Bart Karstens, Wan J. Fokkink |
| 2002 | ICFEM | Analysis of a Security Protocol in CRL. | Jun Pang |