Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDJun Pang 0001
Person information
- affiliation: University of Luxembourg, Esch-sur-Alzette, Luxembourg
Other persons with the same name
- Jun Pang
- Jun Pang 0002
![[0000-0002-8193-6956]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-8193-6956")
— Wuhan University of Science and Technology, College of Computer Science and Technology, China (and 1 more) - Jun Pang 0003 — University of Chinese Medicine, First Affiliated Hospital, Nanning, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j63]Xian Mo, Jun Pang, Zhiming Liu:
THS-GWNN: a deep learning framework for temporal network link prediction. Frontiers Comput. Sci. 16(2): 162304 (2022)- 2021
- [j62]Ninghan Chen, Zhiqiang Zhong, Jun Pang:
An Exploratory Study of COVID-19 Information on Twitter in the Greater Region. Big Data Cogn. Comput. 5(1): 5 (2021) - [j61]Cui Su, Jun Pang:
CABEAN: a software for the control of asynchronous Boolean networks. Bioinform. 37(6): 879-881 (2021) - [j60]Xian Mo, Jun Pang, Zhiming Liu:
Effective Link Prediction with Topological and Temporal Information using Wavelet Neural Network Embedding. Comput. J. 64(3): 325-336 (2021) - [j59]Diego Kozlowski, Jennifer Dusdal, Jun Pang, Andreas Zilian:
Semantic and relational spaces in science of science: deep learning models for article vectorisation. Scientometrics 126(7): 5881-5910 (2021) - [c121]Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang:
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. CSF 2021: 1-15 - [c120]Qian Li, Zhichao Wang, Gang Li, Jun Pang, Guandong Xu:
Hilbert Sinkhorn Divergence for Optimal Transport. CVPR 2021: 3835-3844 - [c119]Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang:
Provably Improving Election Verifiability in Belenios. E-VOTE-ID 2021: 1-16 - [c118]Weili Han, Dingjie Chen, Jun Pang, Kai Wang, Chen Chen, Dapeng Huang, Zhijie Fan:
Temporal Networks Based Industry Identification for Bitcoin Users. WASA (1) 2021: 108-120 - [i36]Cui Su, Jun Pang:
Target Control of Asynchronous Boolean Networks. CoRR abs/2101.00644 (2021) - [i35]Hailong Hu, Jun Pang:
Model Extraction and Defenses on Generative Adversarial Networks. CoRR abs/2101.02069 (2021) - [i34]Ninghan Chen, Xihui Chen, Zhiqiang Zhong, Jun Pang:
The Burden of Being a Bridge: Understanding the Role of Multilingual Users during the COVID-19 Pandemic. CoRR abs/2104.04331 (2021) - [i33]Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang:
Provably Improving Election Verifiability in Belenios. IACR Cryptol. ePrint Arch. 2021: 1201 (2021) - 2020
- [j58]Tao Xie, Zhi Jin, Xuandong Li, Gang Huang, Hausi A. Müller, Jun Pang, Li-Jun Zhang:
Preface. J. Comput. Sci. Technol. 35(6): 1231-1233 (2020) - [j57]Chenyi Zhang, Jun Pang:
Preface for the special issue of the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018). Sci. Comput. Program. 187: 102375 (2020) - [j56]Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera:
An Efficient Approach Towards the Source-Target Control of Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 17(6): 1932-1945 (2020) - [c117]Cui Su, Jun Pang:
A Dynamics-based Approach for the Target Control of Boolean Networks. BCB 2020: 50:1-50:8 - [c116]Cui Su, Jun Pang:
Sequential Temporary and Permanent Control of Boolean Networks. CMSB 2020: 234-251 - [c115]Yue Cheng, Lingyun Qiu, Jun Pang:
Effects of Avatar Cuteness on Users' Perceptions of System Errors in Anthropomorphic Interfaces. HCI (24) 2020: 322-330 - [c114]Yongjian Li, Taifeng Cao, David N. Jansen, Jun Pang, Xiaotao Wei:
Accelerated Verification of Parametric Protocols with Decision Trees. ICCD 2020: 397-404 - [c113]Chenyi Zhang, Jun Pang:
Characterising Probabilistic Alternating Simulation for Concurrent Games. TASE 2020: 121-128 - [c112]Xian Mo, Jun Pang, Zhiming Liu:
Higher-Order Graph Convolutional Embedding for Temporal Networks. WISE (1) 2020: 3-15 - [c111]Zhiqiang Zhong, Yang Zhang, Jun Pang:
NeuLP: An End-to-End Deep-Learning Model for Link Prediction. WISE (1) 2020: 96-108 - [e7]Grégoire Danoy, Jun Pang, Geoff Sutcliffe:
6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020. EPiC Series in Computing 72, EasyChair 2020 [contents] - [e6]Jun Pang, Lijun Zhang:
Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings. Lecture Notes in Computer Science 12153, Springer 2020, ISBN 978-3-030-62821-5 [contents] - [i32]Cui Su, Jun Pang:
Sequential Control of Boolean Networks with Temporary and Permanent Perturbations. CoRR abs/2004.07184 (2020) - [i31]Cui Su, Jun Pang:
A Dynamics-based Approach for the Target Control of Boolean Networks. CoRR abs/2006.02304 (2020) - [i30]Ninghan Chen, Zhiqiang Zhong, Jun Pang:
An Exploratory Study of COVID-19 Information on Twitter in the Greater Region. CoRR abs/2008.05900 (2020) - [i29]Zhiqiang Zhong, Cheng-Te Li, Jun Pang:
Hierarchical Message-Passing Graph Neural Networks. CoRR abs/2009.03717 (2020) - [i28]Zhiqiang Zhong, Cheng-Te Li, Jun Pang:
Adaptive Multi-grained Graph Neural Networks. CoRR abs/2010.00238 (2020) - [i27]Zhiqiang Zhong, Cheng-Te Li, Jun Pang:
Reinforcement Learning Enhanced Heterogeneous Graph Neural Network. CoRR abs/2010.13735 (2020) - [i26]Diego Kozlowski, Jennifer Dusdal, Jun Pang, Andreas Zilian:
Semantic and Relational Spaces in Science of Science: Deep Learning Models for Article Vectorisation. CoRR abs/2011.02887 (2020) - [i25]Ninghan Chen, Zhiqiang Zhong, Jun Pang:
From #Jobsearch to #Mask: Improving COVID-19 Cascade Prediction with Spillover Effects. CoRR abs/2012.07088 (2020) - [i24]Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang:
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios. IACR Cryptol. ePrint Arch. 2020: 982 (2020)
2010 – 2019
- 2019
- [j55]Alexis Baudin, Soumya Paul, Cui Su, Jun Pang:
Controlling large Boolean networks with single-step perturbations. Bioinform. 35(14): i558-i567 (2019) - [j54]Andrzej Mizera, Jun Pang, Qixia Yuan:
GPU-accelerated steady-state computation of large probabilistic Boolean networks. Formal Aspects Comput. 31(1): 27-46 (2019) - [j53]Bo-Heng Chen, Cheng-Te Li, Kun-Ta Chuang, Jun Pang, Yang Zhang:
An active learning-based approach for location-aware acquaintance inference. Knowl. Inf. Syst. 59(3): 539-569 (2019) - [j52]Qixia Yuan, Andrzej Mizera, Jun Pang, Hongyang Qu:
A new decomposition-based method for detecting attractors in synchronous Boolean networks. Sci. Comput. Program. 180: 18-35 (2019) - [j51]Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan:
Taming Asynchrony for Attractor Detection in Large Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 16(1): 31-42 (2019) - [j50]Hugues Mandon, Cui Su, Jun Pang, Soumya Paul, Stefan Haar, Loïc Paulevé:
Algorithms for the Sequential Reprogramming of Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 16(5): 1610-1619 (2019) - [c110]Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé:
Sequential Reprogramming of Boolean Networks Made Practical. CMSB 2019: 3-19 - [c109]Cui Su, Soumya Paul, Jun Pang:
Scalable Control of Asynchronous Boolean Networks. CMSB 2019: 364-367 - [c108]Cui Su, Soumya Paul, Jun Pang:
Controlling Large Boolean Networks with Temporary and Permanent Perturbations. FM 2019: 707-724 - [c107]Yongjian Li, Jialun Cao, Jun Pang:
A Learning-Based Framework for Automatic Parameterized Verification. ICCD 2019: 450-459 - [c106]Zhiqiang Zhong, Yang Zhang, Jun Pang:
A Graph-Based Approach to Explore Relationship Between Hashtags and Images. WISE 2019: 473-488 - [e5]Jun Pang, Jing Sun:
24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. IEEE 2019, ISBN 978-1-7281-4646-1 [contents] - [i23]Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu:
Online Observability of Boolean Control Networks. CoRR abs/1903.07462 (2019) - [i22]Chenyi Zhang, Jun Pang:
Characterising Probabilistic Alternating Simulation for Concurrent Games. CoRR abs/1907.03928 (2019) - 2018
- [j49]Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang:
Learning probabilistic models for model checking: an evolutionary approach and an empirical study. Int. J. Softw. Tools Technol. Transf. 20(6): 689-704 (2018) - [j48]Andrzej Mizera, Jun Pang, Cui Su, Qixia Yuan:
ASSA-PBN: A Toolbox for Probabilistic Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 15(4): 1203-1216 (2018) - [j47]Andrzej Mizera, Jun Pang, Qixia Yuan:
Reviving the Two-State Markov Chain Approach. IEEE ACM Trans. Comput. Biol. Bioinform. 15(5): 1525-1537 (2018) - [j46]Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai:
An Automatic Proving Approach to Parameterized Verification. ACM Trans. Comput. Log. 19(4): 27:1-27:25 (2018) - [c105]Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera:
A Decomposition-based Approach towards the Control of Boolean Networks. BCB 2018: 11-20 - [c104]Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan:
ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks. CMSB 2018: 277-284 - [c103]Soumya Paul, Jun Pang, Cui Su:
On the Full Control of Boolean Networks. CMSB 2018: 313-317 - [c102]Jialun Cao, Yongjian Li, Jun Pang:
L-CMP: an automatic learning-based parameterized verification tool. ASE 2018: 892-895 - [c101]Soumya Paul, Jun Pang, Cui Su:
Towards the Existential Control of Boolean Networks: A Preliminary Report. SETTA 2018: 142-149 - [c100]Yang Zhang, Mathias Humbert, Tahleen A. Rahman, Cheng-Te Li, Jun Pang, Michael Backes:
Tagvisor: A Privacy Advisor for Sharing Hashtags. WWW 2018: 287-296 - [e4]Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng:
2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-7305-8 [contents] - [i21]Yang Zhang, Mathias Humbert, Tahleen A. Rahman, Cheng-Te Li, Jun Pang, Michael Backes:
Tagvisor: A Privacy Advisor for Sharing Hashtags. CoRR abs/1802.04122 (2018) - [i20]Soumya Paul, Cui Su, Jun Pang, Andrzej Mizera:
A Decomposition-based Approach towards the Control of Boolean Networks (Technical Report). CoRR abs/1804.07221 (2018) - [i19]Soumya Paul, Jun Pang, Cui Su:
Towards the Existential Control of Boolean Networks: A Preliminary Report (Extended Abstract). CoRR abs/1806.10927 (2018) - [i18]Naipeng Dong, Hugo Jonker, Jun Pang:
Formal Analysis of an E-Health Protocol. CoRR abs/1808.08403 (2018) - 2017
- [j45]Naipeng Dong, Hugo L. Jonker, Jun Pang:
Formal modelling and analysis of receipt-free auction protocols in applied pi. Comput. Secur. 65: 405-432 (2017) - [j44]Yuan Li, Yuhai Zhao, Guoren Wang, Xiaofeng Zhu, Xiang Zhang, Zhanghui Wang, Jun Pang:
Finding susceptible and protective interaction patterns in large-scale genetic association study. Frontiers Comput. Sci. 11(3): 541-554 (2017) - [c99]Michael Backes, Mathias Humbert, Jun Pang, Yang Zhang:
walk2friends: Inferring Social Links from Mobility Profiles. CCS 2017: 1943-1957 - [c98]Yan Wang, Zongxu Qin, Jun Pang, Yang Zhang, Jin Xin:
Semantic Annotation for Places in LBSN through Graph Embedding. CIKM 2017: 2343-2346 - [c97]Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang:
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. FASE 2017: 3-21 - [c96]Jun Pang, Yang Zhang:
Quantifying Location Sociality. HT 2017: 145-154 - [c95]Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong:
A Verification Framework for Stateful Security Protocols. ICFEM 2017: 262-280 - [c94]Jun Pang, Yang Zhang:
DeepCity: A Feature Learning Framework for Mining Location Check-Ins. ICWSM 2017: 652-655 - [c93]Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan:
A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. SETTA 2017: 232-249 - [c92]Yang Zhang, Minyue Ni, Weili Han, Jun Pang:
Does #like4like indeed provoke more likes? WI 2017: 179-186 - [i17]Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan:
Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report). CoRR abs/1704.06530 (2017) - [i16]Michael Backes, Mathias Humbert, Jun Pang, Yang Zhang:
walk2friends: Inferring Social Links from Mobility Profiles. CoRR abs/1708.08221 (2017) - 2016
- [j43]Qixia Yuan, Hongyang Qu, Jun Pang, Andrzej Mizera:
Improving BDD-based attractor detection for synchronous Boolean networks. Sci. China Inf. Sci. 59(8): 080101:1-080101:16 (2016) - [j42]Stephan Merz, Jun Pang, Jin Song Dong:
Editorial. Formal Aspects Comput. 28(3): 343-344 (2016) - [j41]Stephan Merz, Jun Pang, Jin Song Dong:
Editorial. Formal Aspects Comput. 28(5): 723-724 (2016) - [j40]Jun Pang, Lingyun Qiu:
Effect of Online Review Chunking on Product Attitude: The Moderating Role of Motivation to Think. Int. J. Electron. Commer. 20(3): 355-383 (2016) - [j39]Jun Pang, Mariëlle Stoelinga:
Selected and extended papers from ACM SVT 2014. Sci. Comput. Program. 123: 1 (2016) - [c91]Andrzej Mizera, Jun Pang, Qixia Yuan:
Fast Simulation of Probabilistic Boolean Networks. CMSB 2016: 216-231 - [c90]Andrzej Mizera, Jun Pang, Qixia Yuan:
ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks. CMSB 2016: 309-315 - [c89]Lu Zhou, Yang Zhang, Jun Pang, Cheng-Te Li:
Modeling City Locations as Complex Networks: An initial study. COMPLEX NETWORKS 2016: 735-747 - [c88]Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai:
A novel approach to parameterized verification of cache coherence protocols. ICCD 2016: 560-567 - [c87]Lingyun Qiu, Weiquan Wang, Jun Pang, Zhenhui Jack Jiang:
The Persuasive Impact of Emoticons in Online Word-of-Mouth Communication. PACIS 2016: 122 - [c86]Andrzej Mizera, Jun Pang, Qixia Yuan:
Parallel approximate steady-state analysis of large probabilistic Boolean networks. SAC 2016: 1-8 - [c85]Minyue Ni, Yang Zhang, Weili Han, Jun Pang:
An Empirical Study on User Access Control in Online Social Networks. SACMAT 2016: 13-23 - [c84]Andrzej Mizera, Jun Pang, Qixia Yuan:
GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks. SETTA 2016: 50-66 - [c83]Xiaohuan Shan, Xin Wang, Jun Pang, Liyan Jiang, Baoyan Song:
A Shortest Path Query Method Based on Tree Decomposition and Label Coverage. WAIM Workshops 2016: 239-248 - [c82]Junlu Wang, Jun Pang, Xiaoyan Li, Baishuo Han, Lei Huang, LinLin Ding:
An Efficient Two-Table Join Query Processing Based on Extended Bloom Filter in MapReduce. WAIM Workshops 2016: 249-258 - [c81]Jun Pang, Polina Zablotskaia, Yang Zhang:
On Impact of Weather on Human Mobility in Cities. WISE (2) 2016: 247-256 - [i15]Jun Pang, Yang Zhang:
Quantifying Location Sociality. CoRR abs/1604.00175 (2016) - [i14]Andrzej Mizera, Jun Pang, Qixia Yuan:
Fast Simulation of Probabilistic Boolean Networks (Technical Report). CoRR abs/1605.00854 (2016) - [i13]Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang:
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. CoRR abs/1605.08278 (2016) - [i12]Jun Pang, Yang Zhang:
DeepCity: A Feature Learning Framework for Mining Location Check-ins. CoRR abs/1610.03676 (2016) - 2015
- [j38]Jun Pang, Yang Zhang:
A new access control scheme for Facebook-style social networks. Comput. Secur. 54: 44-59 (2015) - [j37]Yongjian Li, Jun Pang:
Formalizing provable anonymity in Isabelle/HOL. Formal Aspects Comput. 27(2): 255-282 (2015) - [j36]Jun Pang, Christopher Dwyer, Alvin R. Lebeck:
mNoC: Large Nanophotonic Network-on-Chip Crossbars with Molecular Scale Devices. ACM J. Emerg. Technol. Comput. Syst. 12(1): 1:1-1:25 (2015) - [c80]Jun Pang, Yang Zhang:
Event Prediction with Community Leaders. ARES 2015: 238-243 - [c79]Yang Zhang, Jun Pang:
Distance and Friendship: A Distance-Based Model for Link Prediction in Social Networks. APWeb 2015: 55-66 - [c78]Jun Pang, Chris Dwyer, Alvin R. Lebeck:
More is Less, Less is More: Molecular-Scale Photonic NoC Power Topologies. ASPLOS 2015: 283-296 - [c77]Ran Cheng, Jun Pang, Yang Zhang:
Inferring Friendship from Check-in Data of Location-Based Social Networks. ASONAM 2015: 1284-1291 - [c76]Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan:
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. ATVA 2015: 207-213 - [c75]Andrzej Mizera, Jun Pang, Qixia Yuan:
ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks. ATVA 2015: 214-220 - [c74]Xihui Chen, Andrzej Mizera, Jun Pang:
Activity tracking: A new attack on location privacy. CNS 2015: 22-30 - [c73]Jun Pang, Yang Zhang:
Cryptographic Protocols for Enforcing Relationship-Based Access Control Policies. COMPSAC 2015: 484-493 - [c72]Jun Pang, Yang Zhang:
Location Prediction: Communities Speak Louder than Friends. COSN 2015: 161-171 - [c71]Yang Zhang, Jun Pang:
Community-Driven Social Influence Analysis and Applications. ICWE 2015: 644-647 - [c70]Hongyang Qu, Qixia Yuan, Jun Pang, Andrzej Mizera:
Improving BDD-based Attractor Detection for Synchronous Boolean Networks. Internetware 2015: 212-220 - [c69]Marcos Cramer, Jun Pang, Yang Zhang:
A Logical Approach to Restricting Access in Online Social Networks. SACMAT 2015: 75-86 - [c68]Jun Pang, Yang Zhang:
Exploring Communities for Effective Location Prediction. WWW (Companion Volume) 2015: 87-88 - [e3]Jun Pang, Yang Liu, Sjouke Mauw:
Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, June 22, 2015. EPTCS 184, 2015 [contents] - [i11]Andrzej Mizera, Jun Pang, Qixia Yuan:
Reviving the Two-state Markov Chain Approach (Technical Report). CoRR abs/1501.01779 (2015) - [i10]Andrzej Mizera, Jun Pang, Qixia Yuan:
Parallel Approximate Steady-state Analysis of Large Probabilistic Boolean Networks (Technical Report). CoRR abs/1508.07828 (2015) - 2014
- [j35]Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang:
Model checking with fairness assumptions using PAT. Frontiers Comput. Sci. 8(1): 1-16 (2014) - [j34]Xihui Chen, Jun Pang:
Protecting query privacy in location-based services. GeoInformatica 18(1): 95-133 (2014) - [j33]Konstantinos Chatzikokolakis, Sebastian Alexander Mödersheim, Catuscia Palamidessi, Jun Pang:
Foundational aspects of security. J. Comput. Secur. 22(2): 201-202 (2014) - [j32]Jun Pang, Alvin R. Lebeck, Christopher Dwyer:
Modeling and simulation of a nanoscale optical computing system. J. Parallel Distributed Comput. 74(6): 2470-2483 (2014) - [j31]Mohammad Reza Mousavi, Jun Pang:
Special section on Software Verification and Testing. Sci. Comput. Program. 95: 273-274 (2014) - [j30]Xihui Chen, Jun Pang, Ran Xue:
Constructing and Comparing User Mobility Profiles. ACM Trans. Web 8(4): 21:1-21:25 (2014) - [c67]Jun Pang, Yang Zhang:
A New Access Control Scheme for Facebook-Style Social Networks. ARES 2014: 1-10 - [c66]Xihui Chen, Ruipeng Lu, Xiaoxing Ma, Jun Pang:
Measuring User Similarity with Trajectory Patterns: Principles and New Metrics. APWeb 2014: 437-448 - [c65]Sandeep R. Agrawal, Valentin Pistol, Jun Pang, John Tran, David Tarjan, Alvin R. Lebeck:
Rhythm: harnessing data parallel hardware for server workloads. ASPLOS 2014: 19-34 - [c64]Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong:
Symbolic Analysis of an Electric Vehicle Charging Protocol. ICECCS 2014: 11-18 - [c63]Andrzej Mizera, Jun Pang, Qixia Yuan:
Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks. ICECCS 2014: 206-209 - [c62]Xihui Chen, Piotr Kordy, Ruipeng Lu, Jun Pang:
MinUS: Mining User Similarity with Trajectory Patterns. ECML/PKDD (3) 2014: 436-439 - [c61]Yehia Elrakaiby, Jun Pang:
Dynamic Analysis of Usage Control Policies. SECRYPT 2014: 88-100 - [e2]Stephan Merz, Jun Pang:
Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Lecture Notes in Computer Science 8829, Springer 2014, ISBN 978-3-319-11736-2 [contents] - [e1]Jun Pang, Yang Liu:
Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014. EPTCS 150, 2014 [contents] - [i9]Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong:
Stateful Security Protocol Verification. CoRR abs/1403.2237 (2014) - [i8]Jun Pang, Yang Zhang:
Location Prediction: Communities Speak Louder than Friends. CoRR abs/1408.1228 (2014) - 2013
- [j29]Hugo Jonker, Sjouke Mauw, Jun Pang:
Privacy and verifiability in voting systems: Methods, developments and trends. Comput. Sci. Rev. 10: 1-30 (2013) - [j28]Yongjian Li, Jun Pang:
An inductive approach to strand spaces. Formal Aspects Comput. 25(4): 465-501 (2013) - [j27]Zhiyuan Liu, Jun Pang, Chenyi Zhang:
Design and formal verification of a CEM protocol with transparent TTP. Frontiers Comput. Sci. 7(2): 279-297 (2013) - [j26]