Jun Pang - RankMe

316 papers A* 20A 12B 29C 21Misc 12Journal 145Unranked 71

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Estimating Exam Item Difficulty with LLMs: A Benchmark on Brazil's ENEM Corpus. CoRR Thiago Brant, Julien Kühn, Jun Pang
2026	A*	`conf`	Large Language Models-Enhanced Semantic Diffusion for User-Centric Recommendation. WWW Xian Mo, Yijun Hu, Jun Pang
2026	J	`jnl`	Malicious Repurposing of Open Science Artefacts by Using Large Language Models. CoRR Zahra Hashemi, Zhiqiang Zhong, Jun Pang, Wei Zhao
2026	—	`conf`	Sjouke Mauw: Conqueror of Ambiguities, Inconsistencies, and Incompleteness. Juggling Formal Methods and Security Jun Pang, Sasa Radomirovic
2025	J	`jnl`	"Double vaccinated, 5G boosted!": Learning Attitudes towards COVID-19 Vaccination from Social Media. ACM Trans. Web Ninghan Chen, Xihui Chen, Zhiqiang Zhong, Jun Pang
2025	J	`jnl`	Attention-aware graph contrastive learning with topological relationship for recommendation. Appl. Soft Comput. Xian Mo, Jun Pang, Zihang Zhao
2025	B	`conf`	Bits for Privacy: Evaluating Post-Training Quantization via Membership Inference. TrustCom Chenxiang Zhang, Tongxi Qu, Zhong Li, Tian Zhang, Jun Pang, Sjouke Mauw
2025	J	`jnl`	Bits for Privacy: Evaluating Post-Training Quantization via Membership Inference. CoRR Chenxiang Zhang, Tongxi Qu, Zhong Li, Tian Zhang, Jun Pang, Sjouke Mauw
2025	J	`jnl`	Efficient Data Selection for Training Genomic Perturbation Models. CoRR George Panagopoulos, Johannes F. Lutzeyer, Sofiane Ennadir, Michalis Vazirgiannis, Jun Pang
2025	—	`conf`	Evaluating Multi-Agent Defences Against Jailbreaking Attacks on Large Language Models. FLLM Maria Carolina, Cornelia Wit, Jun Pang
2025	J	`jnl`	Evaluating Multi-Agent Defences Against Jailbreaking Attacks on Large Language Models. CoRR Maria Carolina Cornelia Wit, Jun Pang
2025	—	`conf`	FlowGRN: Scalable and Dropout-Robust Gene Regulatory Network Inference via Flow Matching-Based Trajectory Reconstruction. BCB Tsz Pan Tong, Jun Pang
2025	J	`jnl`	Fooling machine learning models: a novel out-of-distribution attack through generative adversarial networks. Appl. Intell. Hailong Hu, Jun Pang
2025	J	`jnl`	From Centralized to Decentralized Federated Learning: Theoretical Insights, Privacy Preservation, and Robustness Challenges. CoRR Qiongxiu Li, Wenrui Yu, Yufei Xia, Jun Pang
2025	A*	`conf`	Guided Structural Inference: Leveraging Priors with Soft Gating Mechanisms. ICML Aoran Wang, Xinnan Dai, Jun Pang
2025	J	`jnl`	How does the optimizer implicitly bias the model merging loss landscape? CoRR Chenxiang Zhang, Alexander Theus, Damien Teney, Antonio Orvieto, Jun Pang, Sjouke Mauw
2025	J	`jnl`	KAGNNs: Kolmogorov-Arnold Networks meet Graph Learning. Trans. Mach. Learn. Res. Roman Bresson, Giannis Nikolentzos, George Panagopoulos, Michail Chatzianastasis, Jun Pang, Michalis Vazirgiannis
2025	—	`conf`	Kolmogorov-Arnold Network for Gene Regulatory Network Inference. CMSB Tsz Pan Tong, Aoran Wang, George Panagopoulos, Jun Pang
2025	J	`jnl`	Kolmogorov-Arnold Network for Gene Regulatory Network Inference. CoRR Tsz Pan Tong, Aoran Wang, George Panagopoulos, Jun Pang
2025	—	`conf`	Model Checking the Two-Phase Commit Protocol for Distributed Database Systems. SFPVV Yisong Yu, Naipeng Dong, Jun Pang, Jinsong Dong
2025	—	`ed.`	Multi-disciplinary Trends in Artificial Intelligence - 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11-15, 2024, Proceedings, Part I MIWAI (1) Chattrakul Sombattheera, Paul Weng, Jun Pang
2025	—	`ed.`	Multi-disciplinary Trends in Artificial Intelligence - 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11-15, 2024, Proceedings, Part II MIWAI (2) Chattrakul Sombattheera, Paul Weng, Jun Pang
2025	J	`jnl`	Multi-relational graph contrastive learning with learnable graph augmentation. Neural Networks Xian Mo, Jun Pang, Binyuan Wan, Rui Tang, Hao Liu, Shuyu Jiang
2025	J	`jnl`	Ownership Infringement Detection for Generative Adversarial Networks Against Model Stealing. IEEE Trans. Artif. Intell. Hailong Hu, Jun Pang
2025	Misc	`conf`	Privacy-Preserving Distributed Maximum Consensus Without Accuracy Loss. ICASSP Wenrui Yu, Richard Heusdens, Jun Pang, Qiongxiu Li
2025	J	`jnl`	Spurious Privacy Leakage in Neural Networks. CoRR Chenxiang Zhang, Jun Pang, Sjouke Mauw
2025	J	`jnl`	Spurious Privacy Leakage in Neural Networks. Trans. Mach. Learn. Res. Chenxiang Zhang, Jun Pang, Sjouke Mauw
2025	J	`jnl`	Subject section Aggregating GRNs via multiplex link prediction. Briefings Bioinform. Tsz Pan Tong, Jun Pang
2025	J	`jnl`	TS-Insight: Visualizing Thompson Sampling for Verification and XAI. CoRR Parsa Vares, Éloi Durant, Jun Pang, Nicolas Médoc, Mohammad Ghoniem
2025	J	`jnl`	Unveiling Privacy Risks in the Long Tail: Membership Inference in Class Skewness. IEEE Trans. Inf. Forensics Secur. Hailong Hu, Jun Pang, Yantao Li, Huafeng Qin
2024	J	`jnl`	A tale of two roles: exploring topic-specific susceptibility and influence in cascade prediction. Data Min. Knowl. Discov. Ninghan Chen, Xihui Chen, Zhiqiang Zhong, Jun Pang
2024	A*	`conf`	Benchmarking Structural Inference Methods for Interacting Dynamical Systems with Synthetic Data. NeurIPS Aoran Wang, Tsz Pan Tong, Andrzej Mizera, Jun Pang
2024	J	`jnl`	Bridging Performance of X (formerly known as Twitter) Users: A Predictor of Subjective Well-Being During the Pandemic. ACM Trans. Web Ninghan Chen, Xihui Chen, Zhiqiang Zhong, Jun Pang
2024	J	`jnl`	Deep autoencoder architecture with outliers for temporal attributed network embedding. Expert Syst. Appl. Xian Mo, Jun Pang, Zhiming Liu
2024	A*	`conf`	Exploring Unconfirmed Transactions for Effective Bitcoin Address Clustering. WWW Kai Wang, Yakun Cheng, Michael Wen Tong, Zhenghao Niu, Jun Pang, Weili Han
2024	A	`conf`	Formal Verification and Solutions for Estonian E-Voting. AsiaCCS Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2024	J	`jnl`	Graph Neural Networks for Treatment Effect Prediction. CoRR George Panagopoulos, Daniele Malitesta, Fragkiskos D. Malliaros, Jun Pang
2024	J	`jnl`	Hierarchical Bipartite Graph Convolutional Network for Recommendation. IEEE Comput. Intell. Mag. Yi-Wei Cheng, Zhiqiang Zhong, Jun Pang, Cheng-Te Li
2024	J	`jnl`	Integrating Optimal Transport and Structural Inference Models for GRN Inference from Single-cell Data. CoRR Tsz Pan Tong, Aoran Wang, George Panagopoulos, Jun Pang
2024	J	`jnl`	KAGNNs: Kolmogorov-Arnold Networks meet Graph Learning. CoRR Roman Bresson, Giannis Nikolentzos, George Panagopoulos, Michail Chatzianastasis, Jun Pang, Michalis Vazirgiannis
2024	J	`jnl`	Learning graph representations for influence maximization. Soc. Netw. Anal. Min. George Panagopoulos, Nikolaos Tziortziotis, Michalis Vazirgiannis, Jun Pang, Fragkiskos D. Malliaros
2024	J	`jnl`	Mechanizing the CMP Abstraction for Parameterized Verification. Proc. ACM Program. Lang. Yongjian Li, Bohua Zhan, Jun Pang
2024	A*	`conf`	Multi-Grained Semantics-Aware Graph Neural Networks (Extended abstract). ICDE Zhiqiang Zhong, Cheng-Te Li, Jun Pang
2024	C	`conf`	Observability of Boolean Control Networks: New Definition and Verification Algorithm. ICFEM Guisen Wu, Zhiming Liu, Jun Pang
2024	J	`jnl`	Privacy-Preserving Distributed Maximum Consensus Without Accuracy Loss. CoRR Wenrui Yu, Richard Heusdens, Jun Pang, Qiongxiu Li
2024	A*	`conf`	Structural Inference of Dynamical Systems with Conjoined State Space Models. NeurIPS Aoran Wang, Jun Pang
2024	A*	`conf`	Structural Inference with Dynamics Encoding and Partial Correlation Coefficients. ICLR Aoran Wang, Jun Pang
2024	—	`conf`	Uplift Modeling Under Limited Supervision. ECML/PKDD (6) George Panagopoulos, Daniele Malitesta, Fragkiskos D. Malliaros, Jun Pang
2024	J	`jnl`	XRAD: Ransomware Address Detection Method based on Bitcoin Transaction Relationships. ACM Trans. Web Kai Wang, Michael Wen Tong, Jun Pang, Jitao Wang, Weili Han
2023	A*	`conf`	Active Learning based Structural Inference. ICML Aoran Wang, Jun Pang
2023	—	`ed.`	Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings CMSB Jun Pang, Joachim Niehren
2023	A*	`conf`	Effective and Efficient Structural Inference with Reservoir Computing. ICML Aoran Wang, Tsz Pan Tong, Jun Pang
2023	A	`conf`	Election Verifiability in Receipt-Free Voting Protocols. CSF Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2023	J	`jnl`	Exploring Unconfirmed Transactions for Effective Bitcoin Address Clustering. CoRR Kai Wang, Maike Tong, Changhao Wu, Jun Pang, Chen Chen, Xiapu Luo, Weili Han
2023	J	`jnl`	Hierarchical message-passing graph neural networks. Data Min. Knowl. Discov. Zhiqiang Zhong, Cheng-Te Li, Jun Pang
2023	C	`conf`	Loss and Likelihood Based Membership Inference of Diffusion Models. ISC Hailong Hu, Jun Pang
2023	J	`jnl`	Membership Inference of Diffusion Models. CoRR Hailong Hu, Jun Pang
2023	J	`jnl`	Multi-Grained Semantics-Aware Graph Neural Networks. IEEE Trans. Knowl. Data Eng. Zhiqiang Zhong, Cheng-Te Li, Jun Pang
2023	A	`conf`	On Observability Analysis in Multiagent Systems. ECAI Chunyan Mu, Jun Pang
2023	J	`jnl`	On Quantified Observability Analysis in Multiagent Systems. CoRR Chunyan Mu, Jun Pang
2023	J	`jnl`	Ownership Protection of Generative Adversarial Networks. CoRR Hailong Hu, Jun Pang
2023	J	`jnl`	PriSampler: Mitigating Property Inference of Diffusion Models. CoRR Hailong Hu, Jun Pang
2023	J	`jnl`	Relation-Aware Weighted Embedding for Heterogeneous Graphs. Inf. Technol. Control. Ganglin Hu, Jun Pang
2023	—	`conf`	Single-Experiment Reconstructibility of Boolean Control Networks Revisited. ICINCO (2) Guisen Wu, Jun Pang
2023	—	`conf`	Structural-semantics Guided Program Simplification for Understanding Neural Code Intelligence Models. Internetware Chaoxuan Shi, Tingwei Zhu, Tian Zhang, Jun Pang, Minxue Pan
2023	J	`jnl`	Target Control of Asynchronous Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. Cui Su, Jun Pang
2022	J	`jnl`	"Double vaccinated, 5G boosted!": Learning Attitudes towards COVID-19 Vaccination from Social Media. CoRR Ninghan Chen, Xihui Chen, Zhiqiang Zhong, Jun Pang
2022	J	`jnl`	A Large-scale Empirical Analysis of Ransomware Activities in Bitcoin. ACM Trans. Web Kai Wang, Jun Pang, Dingjie Chen, Yu Zhao, Dapeng Huang, Chen Chen, Weili Han
2022	J	`jnl`	A Multilingual Dataset of COVID-19 Vaccination Attitudes on Twitter. CoRR Ninghan Chen, Xihui Chen, Jun Pang
2022	J	`jnl`	Effective attributed network embedding with information behavior extraction. PeerJ Comput. Sci. Ganglin Hu, Jun Pang, Xian Mo
2022	J	`jnl`	Exploring Spillover Effects for COVID-19 Cascade Prediction. Entropy Ninghan Chen, Xihui Chen, Zhiqiang Zhong, Jun Pang
2022	—	`conf`	Functional Scenario Classification for Android Applications using GNNs. Internetware Guiyin Li, Fengyi Zhu, Jun Pang, Tian Zhang, Minxue Pan, Xuandong Li
2022	A*	`conf`	Iterative Structural Inference of Directed Graphs. NeurIPS Aoran Wang, Jun Pang
2022	—	`conf`	Measuring COVID-19 Vaccine Hesitancy: Consistency of Social Media with Surveys. SocInfo Ninghan Chen, Xihui Chen, Jun Pang, Liyousew G. Borga, Conchita D'Ambrosio, Claus Vögele
2022	J	`jnl`	Modal characterisation of simulation relations in probabilistic concurrent games. Sci. Comput. Program. Chenyi Zhang, Jun Pang
2022	C	`conf`	NEGAR: Network Embedding Guided Architecture Recovery for Software Systems. APSEC Jiayi Chen, Zhixing Wang, Yuchen Jiang, Jun Pang, Tian Zhang, Minxue Pan, Jianwen Sun
2022	J	`jnl`	Personalised meta-path generation for heterogeneous graph neural networks. Data Min. Knowl. Discov. Zhiqiang Zhong, Cheng-Te Li, Jun Pang
2022	J	`jnl`	Simplifying Node Classification on Heterophilous Graphs with Compatible Label Propagation. CoRR Zhiqiang Zhong, Sergey Ivanov, Jun Pang
2022	J	`jnl`	Simplifying Node Classification on Heterophilous Graphs with Compatible Label Propagation. Trans. Mach. Learn. Res. Zhiqiang Zhong, Sergei Ivanov, Jun Pang
2022	J	`jnl`	THS-GWNN: a deep learning framework for temporal network link prediction. Frontiers Comput. Sci. Xian Mo, Jun Pang, Zhiming Liu
2022	—	`conf`	Target Control of Boolean Networks with Permanent Edgetic Perturbations. CDC Olivier Zeyen, Jun Pang
2022	—	`conf`	The Burden of Being a Bridge: Analysing Subjective Well-Being of Twitter Users During the COVID-19 Pandemic. ECML/PKDD (2) Ninghan Chen, Xihui Chen, Zhiqiang Zhong, Jun Pang
2022	J	`jnl`	Unsupervised Heterophilous Network Embedding via r-Ego Network Discrimination. CoRR Zhiqiang Zhong, Guadalupe Gonzalez, Daniele Grattarola, Jun Pang
2022	J	`jnl`	Unsupervised Network Embedding Beyond Homophily. Trans. Mach. Learn. Res. Zhiqiang Zhong, Guadalupe Gonzalez, Daniele Grattarola, Jun Pang
2021	J	`jnl`	An Exploratory Study of COVID-19 Information on Twitter in the Greater Region. Big Data Cogn. Comput. Ninghan Chen, Zhiqiang Zhong, Jun Pang
2021	J	`jnl`	CABEAN: a software for the control of asynchronous Boolean networks. Bioinform. Cui Su, Jun Pang
2021	B	`conf`	Cabean 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks. FM Cui Su, Jun Pang
2021	J	`jnl`	Effective Link Prediction with Topological and Temporal Information using Wavelet Neural Network Embedding. Comput. J. Xian Mo, Jun Pang, Zhiming Liu
2021	A	`conf`	Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. CSF Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2021	B	`conf`	From #jobsearch to #mask: improving COVID-19 cascade prediction with spillover effects. ASONAM Ninghan Chen, Xihui Chen, Zhiqiang Zhong, Jun Pang
2021	A*	`conf`	Hilbert Sinkhorn Divergence for Optimal Transport. CVPR Qian Li, Zhichao Wang, Gang Li, Jun Pang, Guandong Xu
2021	A*	`conf`	Membership Inference Attacks against GANs by Leveraging Over-representation Regions. CCS Hailong Hu, Jun Pang
2021	J	`jnl`	Model Extraction and Defenses on Generative Adversarial Networks. CoRR Hailong Hu, Jun Pang
2021	J	`jnl`	Preface of the special issue'Logic, argumentation and AI' in JLC. J. Log. Comput. Huimin Dong, Jun Pang, Yì N. Wáng
2021	—	`conf`	Provably Improving Election Verifiability in Belenios. E-VOTE-ID Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2021	J	`jnl`	Provably Improving Election Verifiability in Belenios. IACR Cryptol. ePrint Arch. Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2021	J	`jnl`	Semantic and relational spaces in science of science: deep learning models for article vectorisation. Scientometrics Diego Kozlowski, Jennifer Dusdal, Jun Pang, Andreas Zilian
2021	A	`conf`	Stealing Machine Learning Models: Attacks and Countermeasures for Generative Adversarial Networks. ACSAC Hailong Hu, Jun Pang
2021	J	`jnl`	Target Control of Asynchronous Boolean Networks. CoRR Cui Su, Jun Pang
2021	—	`conf`	Temporal Networks Based Industry Identification for Bitcoin Users. WASA (1) Weili Han, Dingjie Chen, Jun Pang, Kai Wang, Chen Chen, Dapeng Huang, Zhijie Fan
2021	J	`jnl`	The Burden of Being a Bridge: Understanding the Role of Multilingual Users during the COVID-19 Pandemic. CoRR Ninghan Chen, Xihui Chen, Zhiqiang Zhong, Jun Pang
2021	J	`jnl`	Towards Optimal Decomposition of Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. Cui Su, Jun Pang, Soumya Paul
2020	—	`ed.`	6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020 GCAI Grégoire Danoy, Jun Pang, Geoff Sutcliffe
2020	—	`conf`	A Dynamics-based Approach for the Target Control of Boolean Networks. BCB Cui Su, Jun Pang
2020	J	`jnl`	A Dynamics-based Approach for the Target Control of Boolean Networks. CoRR Cui Su, Jun Pang
2020	C	`conf`	Accelerated Verification of Parametric Protocols with Decision Trees. ICCD Yongjian Li, Taifeng Cao, David N. Jansen, Jun Pang, Xiaotao Wei
2020	J	`jnl`	Adaptive Multi-grained Graph Neural Networks. CoRR Zhiqiang Zhong, Cheng-Te Li, Jun Pang
2020	J	`jnl`	An Efficient Approach Towards the Source-Target Control of Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera
2020	J	`jnl`	An Exploratory Study of COVID-19 Information on Twitter in the Greater Region. CoRR Ninghan Chen, Zhiqiang Zhong, Jun Pang
2020	Misc	`conf`	Characterising Probabilistic Alternating Simulation for Concurrent Games. TASE Chenyi Zhang, Jun Pang
2020	Misc	`ed.`	Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings SETTA Jun Pang, Lijun Zhang
2020	—	`conf`	Effects of Avatar Cuteness on Users' Perceptions of System Errors in Anthropomorphic Interfaces. HCI (24) Yue Cheng, Lingyun Qiu, Jun Pang
2020	J	`jnl`	Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. IACR Cryptol. ePrint Arch. Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang
2020	J	`jnl`	From #Jobsearch to #Mask: Improving COVID-19 Cascade Prediction with Spillover Effects. CoRR Ninghan Chen, Zhiqiang Zhong, Jun Pang
2020	J	`jnl`	Hierarchical Message-Passing Graph Neural Networks. CoRR Zhiqiang Zhong, Cheng-Te Li, Jun Pang
2020	—	`conf`	Higher-Order Graph Convolutional Embedding for Temporal Networks. WISE (1) Xian Mo, Jun Pang, Zhiming Liu
2020	—	`conf`	NeuLP: An End-to-End Deep-Learning Model for Link Prediction. WISE (1) Zhiqiang Zhong, Yang Zhang, Jun Pang
2020	J	`jnl`	Preface for the special issue of the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018). Sci. Comput. Program. Chenyi Zhang, Jun Pang
2020	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Zhi Jin, Xuandong Li, Gang Huang, Hausi A. Müller, Jun Pang, Lijun Zhang
2020	J	`jnl`	Reinforcement Learning Enhanced Heterogeneous Graph Neural Network. CoRR Zhiqiang Zhong, Cheng-Te Li, Jun Pang
2020	J	`jnl`	Semantic and Relational Spaces in Science of Science: Deep Learning Models for Article Vectorisation. CoRR Diego Kozlowski, Jennifer Dusdal, Jun Pang, Andreas Zilian
2020	J	`jnl`	Sequential Control of Boolean Networks with Temporary and Permanent Perturbations. CoRR Cui Su, Jun Pang
2020	—	`conf`	Sequential Temporary and Permanent Control of Boolean Networks. CMSB Cui Su, Jun Pang
2019	B	`ed.`	24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019 ICECCS Jun Pang, Jing Sun
2019	B	`conf`	A Graph-Based Approach to Explore Relationship Between Hashtags and Images. WISE Zhiqiang Zhong, Yang Zhang, Jun Pang
2019	C	`conf`	A Learning-Based Framework for Automatic Parameterized Verification. ICCD Yongjian Li, Jialun Cao, Jun Pang
2019	J	`jnl`	A new decomposition-based method for detecting attractors in synchronous Boolean networks. Sci. Comput. Program. Qixia Yuan, Andrzej Mizera, Jun Pang, Hongyang Qu
2019	J	`jnl`	Algorithms for the Sequential Reprogramming of Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. Hugues Mandon, Cui Su, Jun Pang, Soumya Paul, Stefan Haar, Loïc Paulevé
2019	J	`jnl`	An active learning-based approach for location-aware acquaintance inference. Knowl. Inf. Syst. Bo-Heng Chen, Cheng-Te Li, Kun-Ta Chuang, Jun Pang, Yang Zhang
2019	J	`jnl`	Characterising Probabilistic Alternating Simulation for Concurrent Games. CoRR Chenyi Zhang, Jun Pang
2019	B	`conf`	Controlling Large Boolean Networks with Temporary and Permanent Perturbations. FM Cui Su, Soumya Paul, Jun Pang
2019	J	`jnl`	Controlling large Boolean networks with single-step perturbations. Bioinform. Alexis Baudin, Soumya Paul, Cui Su, Jun Pang
2019	J	`jnl`	GPU-accelerated steady-state computation of large probabilistic Boolean networks. Formal Aspects Comput. Andrzej Mizera, Jun Pang, Qixia Yuan
2019	J	`jnl`	Online Observability of Boolean Control Networks. CoRR Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu
2019	—	`conf`	Scalable Control of Asynchronous Boolean Networks. CMSB Cui Su, Soumya Paul, Jun Pang
2019	—	`conf`	Sequential Reprogramming of Boolean Networks Made Practical. CMSB Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé
2019	J	`jnl`	Taming Asynchrony for Attractor Detection in Large Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
2018	Misc	`ed.`	2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018 TASE Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng
2018	J	`jnl`	A Decomposition-based Approach towards the Control of Boolean Networks (Technical Report). CoRR Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera
2018	—	`conf`	A Decomposition-based Approach towards the Control of Boolean Networks. BCB Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera
2018	—	`conf`	ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks. CMSB Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
2018	J	`jnl`	ASSA-PBN: A Toolbox for Probabilistic Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. Andrzej Mizera, Jun Pang, Cui Su, Qixia Yuan
2018	J	`jnl`	An Automatic Proving Approach to Parameterized Verification. ACM Trans. Comput. Log. Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai
2018	J	`jnl`	Formal Analysis of an E-Health Protocol. CoRR Naipeng Dong, Hugo Jonker, Jun Pang
2018	A*	`conf`	L-CMP: an automatic learning-based parameterized verification tool. ASE Jialun Cao, Yongjian Li, Jun Pang
2018	J	`jnl`	Learning probabilistic models for model checking: an evolutionary approach and an empirical study. Int. J. Softw. Tools Technol. Transf. Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
2018	—	`conf`	On the Full Control of Boolean Networks. CMSB Soumya Paul, Jun Pang, Cui Su
2018	J	`jnl`	Reviving the Two-State Markov Chain Approach. IEEE ACM Trans. Comput. Biol. Bioinform. Andrzej Mizera, Jun Pang, Qixia Yuan
2018	A*	`conf`	Tagvisor: A Privacy Advisor for Sharing Hashtags. WWW Yang Zhang, Mathias Humbert, Tahleen A. Rahman, Cheng-Te Li, Jun Pang, Michael Backes
2018	J	`jnl`	Tagvisor: A Privacy Advisor for Sharing Hashtags. CoRR Yang Zhang, Mathias Humbert, Tahleen A. Rahman, Cheng-Te Li, Jun Pang, Michael Backes
2018	J	`jnl`	Towards the Existential Control of Boolean Networks: A Preliminary Report (Extended Abstract). CoRR Soumya Paul, Jun Pang, Cui Su
2018	Misc	`conf`	Towards the Existential Control of Boolean Networks: A Preliminary Report. SETTA Soumya Paul, Jun Pang, Cui Su
2017	Misc	`conf`	A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. SETTA Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
2017	C	`conf`	A Verification Framework for Stateful Security Protocols. ICFEM Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong
2017	A	`conf`	DeepCity: A Feature Learning Framework for Mining Location Check-Ins. ICWSM Jun Pang, Yang Zhang
2017	B	`conf`	Does #like4like indeed provoke more likes? WI Yang Zhang, Minyue Ni, Weili Han, Jun Pang
2017	J	`jnl`	Finding susceptible and protective interaction patterns in large-scale genetic association study. Frontiers Comput. Sci. Yuan Li, Yuhai Zhao, Guoren Wang, Xiaofeng Zhu, Xiang Zhang, Zhanghui Wang, Jun Pang
2017	J	`jnl`	Formal modelling and analysis of receipt-free auction protocols in applied pi. Comput. Secur. Naipeng Dong, Hugo L. Jonker, Jun Pang
2017	—	`conf`	Quantifying Location Sociality. HT Jun Pang, Yang Zhang
2017	A	`conf`	Semantic Annotation for Places in LBSN through Graph Embedding. CIKM Yan Wang, Zongxu Qin, Jun Pang, Yang Zhang, Jin Xin
2017	B	`conf`	Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. FASE Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
2017	J	`jnl`	Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report). CoRR Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan
2017	A*	`conf`	walk2friends: Inferring Social Links from Mobility Profiles. CCS Michael Backes, Mathias Humbert, Jun Pang, Yang Zhang
2017	J	`jnl`	walk2friends: Inferring Social Links from Mobility Profiles. CoRR Michael Backes, Mathias Humbert, Jun Pang, Yang Zhang
2016	—	`conf`	A Shortest Path Query Method Based on Tree Decomposition and Label Coverage. WAIM Workshops Xiaohuan Shan, Xin Wang, Jun Pang, Liyan Jiang, Baoyan Song
2016	C	`conf`	A novel approach to parameterized verification of cache coherence protocols. ICCD Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai
2016	—	`conf`	ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks. CMSB Andrzej Mizera, Jun Pang, Qixia Yuan
2016	—	`conf`	An Efficient Two-Table Join Query Processing Based on Extended Bloom Filter in MapReduce. WAIM Workshops Junlu Wang, Jun Pang, Xiaoyan Li, Baishuo Han, Lei Huang, Linlin Ding
2016	C	`conf`	An Empirical Study on User Access Control in Online Social Networks. SACMAT Minyue Ni, Yang Zhang, Weili Han, Jun Pang
2016	J	`jnl`	DeepCity: A Feature Learning Framework for Mining Location Check-ins. CoRR Jun Pang, Yang Zhang
2016	J	`jnl`	Editorial. Formal Aspects Comput. Stephan Merz, Jun Pang, Jin Song Dong
2016	J	`jnl`	Editorial. Formal Aspects Comput. Stephan Merz, Jun Pang, Jin Song Dong
2016	J	`jnl`	Effect of Online Review Chunking on Product Attitude: The Moderating Role of Motivation to Think. Int. J. Electron. Commer. Jun Pang, Lingyun Qiu
2016	J	`jnl`	Fast Simulation of Probabilistic Boolean Networks (Technical Report). CoRR Andrzej Mizera, Jun Pang, Qixia Yuan
2016	—	`conf`	Fast Simulation of Probabilistic Boolean Networks. CMSB Andrzej Mizera, Jun Pang, Qixia Yuan
2016	Misc	`conf`	GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks. SETTA Andrzej Mizera, Jun Pang, Qixia Yuan
2016	J	`jnl`	Improving BDD-based attractor detection for synchronous Boolean networks. Sci. China Inf. Sci. Qixia Yuan, Hongyang Qu, Jun Pang, Andrzej Mizera
2016	—	`conf`	Modeling City Locations as Complex Networks: An initial study. COMPLEX NETWORKS Lu Zhou, Yang Zhang, Jun Pang, Cheng-Te Li
2016	—	`conf`	On Impact of Weather on Human Mobility in Cities. WISE (2) Jun Pang, Polina Zablotskaia, Yang Zhang
2016	Misc	`conf`	Parallel approximate steady-state analysis of large probabilistic Boolean networks. SAC Andrzej Mizera, Jun Pang, Qixia Yuan
2016	J	`jnl`	Quantifying Location Sociality. CoRR Jun Pang, Yang Zhang
2016	J	`jnl`	Selected and extended papers from ACM SVT 2014. Sci. Comput. Program. Jun Pang, Mariëlle Stoelinga
2016	J	`jnl`	Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. CoRR Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
2016	—	`conf`	The Persuasive Impact of Emoticons in Online Word-of-Mouth Communication. PACIS Lingyun Qiu, Weiquan Wang, Jun Pang, Zhenhui Jack Jiang
2015	C	`conf`	A Logical Approach to Restricting Access in Online Social Networks. SACMAT Marcos Cramer, Jun Pang, Yang Zhang
2015	J	`jnl`	A new access control scheme for Facebook-style social networks. Comput. Secur. Jun Pang, Yang Zhang
2015	B	`conf`	ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks. ATVA Andrzej Mizera, Jun Pang, Qixia Yuan
2015	—	`conf`	Activity tracking: A new attack on location privacy. CNS Xihui Chen, Andrzej Mizera, Jun Pang
2015	B	`conf`	Community-Driven Social Influence Analysis and Applications. ICWE Yang Zhang, Jun Pang
2015	B	`conf`	Cryptographic Protocols for Enforcing Relationship-Based Access Control Policies. COMPSAC Jun Pang, Yang Zhang
2015	C	`conf`	Distance and Friendship: A Distance-Based Model for Link Prediction in Social Networks. APWeb Yang Zhang, Jun Pang
2015	B	`conf`	Event Prediction with Community Leaders. ARES Jun Pang, Yang Zhang
2015	—	`conf`	Exploring Communities for Effective Location Prediction. WWW (Companion Volume) Jun Pang, Yang Zhang
2015	J	`jnl`	Formalizing provable anonymity in Isabelle/HOL. Formal Aspects Comput. Yongjian Li, Jun Pang
2015	—	`conf`	Improving BDD-based Attractor Detection for Synchronous Boolean Networks. Internetware Hongyang Qu, Qixia Yuan, Jun Pang, Andrzej Mizera
2015	B	`conf`	Inferring Friendship from Check-in Data of Location-Based Social Networks. ASONAM Ran Cheng, Jun Pang, Yang Zhang
2015	—	`conf`	Location Prediction: Communities Speak Louder than Friends. COSN Jun Pang, Yang Zhang
2015	A*	`conf`	More is Less, Less is More: Molecular-Scale Photonic NoC Power Topologies. ASPLOS Jun Pang, Chris Dwyer, Alvin R. Lebeck
2015	B	`conf`	ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. ATVA Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan
2015	J	`jnl`	Parallel Approximate Steady-state Analysis of Large Probabilistic Boolean Networks (Technical Report). CoRR Andrzej Mizera, Jun Pang, Qixia Yuan
2015	—	`ed.`	Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, June 22, 2015. ESSS Jun Pang, Yang Liu, Sjouke Mauw
2015	J	`jnl`	Reviving the Two-state Markov Chain Approach (Technical Report). CoRR Andrzej Mizera, Jun Pang, Qixia Yuan
2015	J	`jnl`	mNoC: Large Nanophotonic Network-on-Chip Crossbars with Molecular Scale Devices. ACM J. Emerg. Technol. Comput. Syst. Jun Pang, Christopher Dwyer, Alvin R. Lebeck
2014	B	`conf`	A New Access Control Scheme for Facebook-Style Social Networks. ARES Jun Pang, Yang Zhang
2014	J	`jnl`	Constructing and Comparing User Mobility Profiles. ACM Trans. Web Xihui Chen, Jun Pang, Ran Xue
2014	C	`conf`	Dynamic Analysis of Usage Control Policies. SECRYPT Yehia Elrakaiby, Jun Pang
2014	C	`ed.`	Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings ICFEM Stephan Merz, Jun Pang
2014	J	`jnl`	Foundational aspects of security. J. Comput. Secur. Konstantinos Chatzikokolakis, Sebastian Alexander Mödersheim, Catuscia Palamidessi, Jun Pang
2014	J	`jnl`	Location Prediction: Communities Speak Louder than Friends. CoRR Jun Pang, Yang Zhang
2014	C	`conf`	Measuring User Similarity with Trajectory Patterns: Principles and New Metrics. APWeb Xihui Chen, Ruipeng Lu, Xiaoxing Ma, Jun Pang
2014	—	`conf`	MinUS: Mining User Similarity with Trajectory Patterns. ECML/PKDD (3) Xihui Chen, Piotr Kordy, Ruipeng Lu, Jun Pang
2014	J	`jnl`	Model checking with fairness assumptions using PAT. Frontiers Comput. Sci. Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang
2014	B	`conf`	Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks. ICECCS Andrzej Mizera, Jun Pang, Qixia Yuan
2014	J	`jnl`	Modeling and simulation of a nanoscale optical computing system. J. Parallel Distributed Comput. Jun Pang, Alvin R. Lebeck, Christopher Dwyer
2014	—	`ed.`	Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014. ESSS Jun Pang, Yang Liu
2014	J	`jnl`	Protecting query privacy in location-based services. GeoInformatica Xihui Chen, Jun Pang
2014	A*	`conf`	Rhythm: harnessing data parallel hardware for server workloads. ASPLOS Sandeep R. Agrawal, Valentin Pistol, Jun Pang, John Tran, David Tarjan, Alvin R. Lebeck
2014	J	`jnl`	Special section on Software Verification and Testing. Sci. Comput. Program. Mohammad Reza Mousavi, Jun Pang
2014	J	`jnl`	Stateful Security Protocol Verification. CoRR Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong
2014	B	`conf`	Symbolic Analysis of an Electric Vehicle Charging Protocol. ICECCS Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong
2013	J	`jnl`	A New Access Control Scheme for Facebook-style Social Networks CoRR Jun Pang, Yang Zhang
2013	—	`conf`	A Strand Space Approach to Provable Anonymity. FTSCS Yongjian Li, Jun Pang
2013	A	`conf`	A Trust Framework for Evaluating GNSS Signal Integrity. CSF Xihui Chen, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang
2013	J	`jnl`	An inductive approach to strand spaces. Formal Aspects Comput. Yongjian Li, Jun Pang
2013	Misc	`conf`	Constructing and comparing user mobility profiles for location-based services. SAC Xihui Chen, Jun Pang, Ran Xue
2013	A*	`conf`	Demonstrating a trust framework for evaluating GNSS signal integrity. CCS Xihui Chen, Carlo Harpes, Gabriele Lenzini, Miguel Martins, Sjouke Mauw, Jun Pang
2013	J	`jnl`	Design and Formal Analysis of A Group Signature Based Electronic Toll Pricing System. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang
2013	J	`jnl`	Design and formal verification of a CEM protocol with transparent TTP. Frontiers Comput. Sci. Zhiyuan Liu, Jun Pang, Chenyi Zhang
2013	A	`conf`	Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations. ESORICS Naipeng Dong, Hugo Jonker, Jun Pang
2013	—	`conf`	Exploiting emerging technologies for nanoscale photonic networks-on-chip. NoCArc@MICRO Jun Pang, Christopher Dwyer, Alvin R. Lebeck
2013	—	`conf`	Exploring dependency for query privacy protection in location-based services. CODASPY Xihui Chen, Jun Pang
2013	J	`jnl`	Location Assurance and Privacy in GNSS Navigation. ERCIM News Xihui Chen, Carlo Harpes, Gabriele Lenzini, Sjouke Mauw, Jun Pang
2013	—	`conf`	Message from ESSS 2013 Workshop Co-chairs. ICST Workshops Jun Pang, Yang Liu, Sjouke Mauw
2013	J	`jnl`	Privacy and Verifiability in Voting Systems: Methods, Developments and Trends. IACR Cryptol. ePrint Arch. Hugo Jonker, Sjouke Mauw, Jun Pang
2013	J	`jnl`	Privacy and verifiability in voting systems: Methods, developments and trends. Comput. Sci. Rev. Hugo Jonker, Sjouke Mauw, Jun Pang
2013	J	`jnl`	Special issue: software verification and testing. Innov. Syst. Softw. Eng. Mohammad Reza Mousavi, Jun Pang
2013	C	`conf`	Verification of Functional and Non-functional Requirements of Web Service Composition. ICFEM Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li
2012	B	`conf`	A Group Signature Based Electronic Toll Pricing System. ARES Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang
2012	J	`jnl`	A trust-augmented voting scheme for collaborative privacy management. J. Comput. Secur. Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw
2012	B	`conf`	An Algorithm for Probabilistic Alternating Simulation. SOFSEM Chenyi Zhang, Jun Pang
2012	Misc	`conf`	Comparative Analysis of Clustering Protocols with Probabilistic Model Checking. TASE Qian Li, Péter Schaffer, Jun Pang, Sjouke Mauw
2012	J	`jnl`	Effects of conflicting aggregated rating on eWOM review credibility and diagnosticity: The moderating role of review valence. Decis. Support Syst. Lingyun Qiu, Jun Pang, Kai H. Lim
2012	A	`conf`	Formal Analysis of Privacy in an eHealth Protocol. ESORICS Naipeng Dong, Hugo Jonker, Jun Pang
2012	J	`jnl`	Game-based verification of contract signing protocols with minimal messages. Innov. Syst. Softw. Eng. Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
2012	—	`conf`	Measuring query privacy in location-based services. CODASPY Xihui Chen, Jun Pang
2012	—	`conf`	Post-hoc User Traceability Analysis in Electronic Toll Pricing Systems. DPM/SETOP Xihui Chen, David Fonkwe, Jun Pang
2012	J	`jnl`	Probabilistic Model Checking of the PDGF Signaling Pathway. Trans. Comp. Sys. Biology Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw, Monique Wiesinger, Thomas Sauter
2011	J	`jnl`	A Group Signature Based Electronic Toll Pricing System CoRR Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang
2011	—	`conf`	A Study of the PDGF Signaling Pathway with PRISM CompMod Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter
2011	J	`jnl`	An Algorithm for Probabilistic Alternating Simulation CoRR Chenyi Zhang, Jun Pang
2011	B	`conf`	An Inductive Approach to Provable Anonymity. ARES Yongjian Li, Jun Pang
2011	—	`conf`	Analysis of Remote Quality Inspection System for Construction Projects. ICEIS (2) Jun Pang
2011	B	`conf`	Bulletin Boards in Voting Systems: Modelling and Measuring Privacy. ARES Hugo Jonker, Jun Pang
2011	—	`conf`	Challenges in eHealth: From Enabling to Enforcing Privacy. FHIES Naipeng Dong, Hugo Jonker, Jun Pang
2011	J	`jnl`	Fast leader election in anonymous rings with bounded expected delay. Inf. Process. Lett. Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang
2011	B	`conf`	On Combining State Space Reductions with Global Fairness Assumptions. FM Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong
2011	—	`conf`	Selective Location Blinding Using Hash Chains. Security Protocols Workshop Gabriele Lenzini, Sjouke Mauw, Jun Pang
2010	—	`conf`	A Trust-Augmented Voting Scheme for Collaborative Privacy Management. STM Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw
2010	—	`conf`	Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus. Formal Aspects in Security and Trust Naipeng Dong, Hugo L. Jonker, Jun Pang
2010	J	`jnl`	Asynchronous Bounded Expected Delay Networks CoRR Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang
2010	A*	`conf`	Brief announcement: asynchronous bounded expected delay networks. PODC Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang
2010	C	`conf`	Extending a Key-Chain Based Certified Email Protocol with Transparent TTP. EUC Zhiyuan Liu, Jun Pang, Chenyi Zhang
2010	J	`jnl`	Extending the Strand Space Method with Timestamps: Part I the Theory. J. Information Security Yongjian Li, Jun Pang
2010	J	`jnl`	Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V. J. Information Security Yongjian Li, Jun Pang
2010	B	`conf`	Model Checking Round-Based Distributed Algorithms. ICECCS Xin An, Jun Pang
2010	J	`jnl`	On Probabilistic Alternating Simulations CoRR Chenyi Zhang, Jun Pang
2010	—	`conf`	On Probabilistic Alternating Simulations. IFIP TCS Chenyi Zhang, Jun Pang
2010	—	`conf`	Verification of A Key Chain Based TTP Transparent CEM Protocol. TTSS Zhiyuan Liu, Jun Pang, Chenyi Zhang
2009	J	`jnl`	A formal framework for quantifying voter-controlled privacy. J. Algorithms Hugo L. Jonker, Sjouke Mauw, Jun Pang
2009	—	`conf`	Fair-Priority-Expression-Based burst scheduling to enhance performance and fairness of shared dram systems. CCECE Lei Shi, Jun Pang, Lei Yang, Tiejun Zhang, Donghui Wang
2009	—	`conf`	Game-Based Verification of Multi-Party Contract Signing Protocols. Formal Aspects in Security and Trust Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
2009	—	`conf`	How to Work with Honest but Curious Judges? (Preliminary Report) SECCO Jun Pang, Chenyi Zhang
2009	C	`conf`	Improving Automatic Verification of Security Protocols with XOR. ICFEM Xihui Chen, Ton van Deursen, Jun Pang
2009	B	`conf`	Measuring Voter-Controlled Privacy. ARES Hugo L. Jonker, Sjouke Mauw, Jun Pang
2009	—	`conf`	Message from T4CIA Workshop Co-chairs. SSIRI Jun Pang, Bao Tang
2009	C	`conf`	Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. APSEC Bixin Li, Yu Zhou, Jun Pang
2009	A*	`conf`	PAT: Towards Flexible Verification under Fairness. CAV Jun Sun, Yang Liu, Jin Song Dong, Jun Pang
2009	Misc	`conf`	Verification of Population Ring Protocols in PAT. TASE Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao
2008	—	`conf`	A priority-expression-based burst scheduling of memory reordering access. ICSAMOS Jun Pang, Lei Yang, Lei Shi, Tiejun Zhang, Donghui Wang, Chaohuan Hou
2008	J	`jnl`	Is Timed Branching Bisimilarity a Congruence Indeed? Fundam. Informaticae Wan J. Fokkink, Jun Pang, Anton Wijs
2008	—	`conf`	Leader Election in Anonymous Rings: Franklin Goes Probabilistic. IFIP TCS Rena Bakhshi, Wan J. Fokkink, Jun Pang, Jaco van de Pol
2008	Misc	`conf`	On Automatic Verification of Self-Stabilizing Population Protocols. TASE Jun Pang, Zhengqin Luo, Yuxin Deng
2008	J	`jnl`	On automatic verification of self-stabilizing population protocols. Frontiers Comput. Sci. China Jun Pang, Zhengqin Luo, Yuxin Deng
2007	—	`conf`	Adapting the UPPAAL Model of a Distributed Lift System. FSEN Wan J. Fokkink, Allard Kakebeen, Jun Pang
2007	B	`conf`	Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. ACNS Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng
2007	—	`conf`	Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz
2007	A	`conf`	Distributed Analysis with TACAS Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
2007	B	`conf`	Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. ATVA Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
2007	C	`conf`	Extending the Strand Space Method to Verify Kerberos V. PDCAT Yongjian Li, Jun Pang
2007	—	`conf`	Keeping Secrets in Resource Aware Components. QAPL Tom Chothia, Jun Pang, Muhammad Torabi Dashti
2007	J	`jnl`	Model checking a cache coherence protocol of a Java DSM implementation. J. Log. Algebraic Methods Program. Jun Pang, Wan J. Fokkink, Rutger F. H. Hofman, Ronald Veldema
2006	—	`conf`	A Framework for Automatically Checking Anonymity with TGC Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti
2006	B	`conf`	Automatic Verification of Hybrid Systems with Large Discrete State Space. ATVA Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
2006	J	`jnl`	Cones and foci: A mechanical framework for protocol verification. Formal Methods Syst. Des. Wan J. Fokkink, Jun Pang, Jaco van de Pol
2006	C	`conf`	Generalized Unsolicited Tests for Authentication Protocol Analysis. PDCAT Yongjian Li, Jun Pang
2006	—	`conf`	Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust Yuxin Deng, Jun Pang, Peng Wu
2006	J	`jnl`	Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM. J. Univers. Comput. Sci. Wan J. Fokkink, Jun Pang
2005	J	`jnl`	A Note on K-State Self-stabilization in a Ring with K=N. Nord. J. Comput. Wan J. Fokkink, Jaap-Henk Hoepman, Jun Pang
2005	—	`conf`	Compositional Reasoning for Probabilistic Finite-State Behaviors. Processes, Terms and Cycles Yuxin Deng, Catuscia Palamidessi, Jun Pang
2005	—	`conf`	Is Timed Branching Bisimilarity an Equivalence Indeed?. FORMATS Wan J. Fokkink, Jun Pang, Anton Wijs
2005	—	`conf`	Metrics for Action-labelled Quantitative Transition Systems. QAPL Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang
2005	J	`jnl`	Verification of a sliding window protocol in µCRL and PVS. Formal Aspects Comput. Bahareh Badban, Wan J. Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol
2005	—	`conf`	Weak Probabilistic Anonymity. SecCO@CONCUR Yuxin Deng, Catuscia Palamidessi, Jun Pang
2004	B	`conf`	Abstraction of Parallel Uniform Processes with Data. SEFM Jun Pang, Jaco van de Pol, Miguel Valero Espada
2004	—	`conf`	Formal Verification of Timed Systems Using Cones and Foci. ARTS Wan J. Fokkink, Jun Pang
2004	J	`jnl`	Model for Slicing JAVA Programs Hierarchically. J. Comput. Sci. Technol. Bixin Li, Xiaocong Fan, Jun Pang, Jianjun Zhao
2004	—	`conf`	Simplifying Itai-Rodeh Leader Election for Anonymous Rings. AVoCS Wan J. Fokkink, Jun Pang
2004	—	`conf`	Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications. FTDCS Lu Yan, Kaisa Sere, Xinrong Zhou, Jun Pang
2004	—	`conf`	Verifying a Sliding Window Protocol in µCRL. AMAST Wan J. Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol
2003	J	`jnl`	Analysis of a distributed system for lifting trucks. J. Log. Algebraic Methods Program. Jan Friso Groote, Jun Pang, Arno G. Wouters
2003	C	`conf`	Analyzing the Redesign of a Distributed Lift System in UPPAAL. ICFEM Jun Pang, Bart Karstens, Wan J. Fokkink
2003	B	`conf`	Cones and Foci for Protocol Verification Revisited. FoSSaCS Wan J. Fokkink, Jun Pang
2003	A	`conf`	Model Checking a Cache Coherence Protocol for a Java DSM Implementation. IPDPS Jun Pang, Wan J. Fokkink, Rutger F. H. Hofman, Ronald Veldema
2002	C	`conf`	Analysis of a Security Protocol in µCRL. ICFEM Jun Pang
2001	J	`jnl`	A Formal Software Development Approach Using Refinement Calculus. J. Comput. Sci. Technol. Yunfeng Wang, Jun Pang, Ming Zha, Zhaohui Yang, Guoliang Zheng
1999	—	`conf`	A Formal Software Development Approach Based on COOZ and Refinement Calculus. TOOLS (31) Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guoliang Zheng