Jun Pang - Google Scholar Citations

Cited by

	All	Since 2015
Citations	2611	1361
h-index	29	19
i10-index	65	37

300

150

225

200120022003200420052006200720082009201020112012201320142015201620172018201920207 8 19 23 61 41 98 93 118 100 133 131 191 192 232 234 246 283 271 93

Co-authors

Andrzej MizeraPost-doc, University of LuxembourgVerified email at uni.lu
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Yang ZhangFaculty, CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu
jun sunAssociate Professor of SIS, SMUVerified email at smu.edu.sg
Qixia YuanUniversity of LuxembourgVerified email at uni.lu
Xihui ChenUniversity of LuxembourgVerified email at uni.lu
Jin Song DongProfessor of Computer Science, National University of Singapore and Griffith UniversityVerified email at nus.edu.sg
Yang LiuProfessor and University Leadership Forum Chair, Nanyang Technological UniversityVerified email at ntu.edu.sg
Hugo JonkerOpen UniversiteitVerified email at ou.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Yuxin DengProfessor, East China Normal UniversityVerified email at sei.ecnu.edu.cn
Naipeng DongThe University of QueenslandVerified email at uq.edu.au
Chenyi ZhangOracle Labs AustraliaVerified email at oracle.com
Cui SuUniversity of LuxembourgVerified email at uni.lu
Catuscia PalamidessiINRIA, University of Paris Saclay and Ecole PolytechniqueVerified email at lix.polytechnique.fr
Panuwat TrairatphisanAbbVie GermanyVerified email at abbvie.com
Thomas SauterProfessor of Systems Biology, University of LuxembourgVerified email at uni.lu
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgVerified email at uni.lu

Jun Pang

University of Luxembourg

Verified email at uni.lu - Homepage

Formal methods computational systems biology social media mining security and privacy complex networks


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
PAT: Towards flexible verification under fairness J Sun, Y Liu, J Dong, J Pang 21st International Conference on Computer Aided Verification, 709-714, 2009	354	2009
Metrics for action-labelled quantitative transition systems Y Deng, T Chothia, C Palamidessi, J Pang Electronic Notes in Theoretical Computer Science 153 (2), 79-96, 2006	82	2006
Recent development and biomedical applications of probabilistic Boolean networks P Trairatphisan, A Mizera, J Pang, AA Tantar, J Schneider, T Sauter Cell communication and signaling 11 (1), 46, 2013	76	2013
Measuring anonymity with relative entropy Y Deng, J Pang, P Wu Proceedings of 4th Workshop on Formal Aspects in Security and Trust (FAST'06 …, 2007	76	2007
Analysis of a Distributed System for Lifting Trucks JF Groote, J Pang, AG Wouters Journal of Logic and Algebraic Programming 55 (1-2), 21-56, 2003	61	2003
A new access control scheme for Facebook-style social networks J Pang, Y Zhang Computers & Security 54, 44-59, 2015	59	2015
walk2friends: Inferring social links from mobility profiles M Backes, M Humbert, J Pang, Y Zhang Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017	49	2017
Verification of a sliding window protocol in μCRL and PVS B Badban, W Fokkink, JF Groote, J Pang, J van de Pol Formal Aspects of Computing 17 (3), 342-388, 2005	48	2005
Privacy and verifiability in voting systems: Methods, developments and trends H Jonker, S Mauw, J Pang Computer Science Review 10, 1-30, 2013	47	2013
Exact state set representations in the verification of linear hybrid systems with large discrete state space W Damm, S Disch, H Hungar, S Jacobs, J Pang, F Pigorsch, C Scholl, ... International Symposium on Automated Technology for Verification and …, 2007	47	2007
Model checking a cache coherence protocol of a Java DSM implementation J Pang, W Fokkink, R Hofman, R Veldema The Journal of Logic and Algebraic Programming 71 (1), 1-43, 2007	46*	2007
Verifying a sliding window protocol in μCRL W Fokkink, JF Groote, J Pang, B Badban, J van de Pol Proc. 10th Conference on Algebraic Methodology and Software Technology …, 2004	46	2004
Constructing and Comparing User Mobility Profiles for Location-based Services X Chen, J Pang, R Xue 28th ACM Symposium on Applied Computing, 2013	45	2013
A framework for automatically checking anonymity with μCRL T Chothia, S Orzan, J Pang, MT Dashti Proc. 2nd Symposium on Trustworthy Global Computing (TGC'06), 301-318, 2007	45	2007
Cones and foci: A mechanical framework for protocol verification W Fokkink, J Pang, J Van De Pol Formal Methods in System Design 29 (1), 1-31, 2006	45*	2006
Measuring query privacy in location-based services X Chen, J Pang Proceedings of the second ACM conference on Data and Application Security …, 2012	44	2012
Compositional reasoning for probabilistic finite-state behaviors Y Deng, C Palamidessi, J Pang Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated …, 2005	44	2005
Challenges in ehealth: From enabling to enforcing privacy N Dong, H Jonker, J Pang International Symposium on Foundations of Health Informatics Engineering and …, 2011	43	2011
Weak probabilistic anonymity Y Deng, C Palamidessi, J Pang Electronic Notes in Theoretical Computer Science 180 (1), 55-76, 2007	43	2007
Automating verification of cooperation, control, and design in traffic applications W Damm, A Mikschl, J Oehlerking, ER Olderog, J Pang, A Platzer, ... Formal methods and hybrid real-time systems, 115-169, 2007	40	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors