Jun Pang

Citado por

	Total	Desde 2016
Citas	2965	1388
Índice h	30	20
Índice i10	73	40

300

150

225

200220032004200520062007200820092010201120122013201420152016201720182019202020218 21 28 62 42 103 96 119 108 139 135 188 202 246 246 249 293 282 275 39

Coautores

Andrzej MizeraPost-doc, University of LuxembourgDirección de correo verificada de uni.lu
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamDirección de correo verificada de vu.nl
Yang ZhangFaculty, CISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.de
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgDirección de correo verificada de uni.lu
Qixia YuanUniversity of LuxembourgDirección de correo verificada de uni.lu
jun sunAssociate Professor of SIS, SMUDirección de correo verificada de smu.edu.sg
Xihui ChenUniversity of LuxembourgDirección de correo verificada de uni.lu
Jin Song DongProfessor of Computer Science, National University of Singapore and Griffith UniversityDirección de correo verificada de nus.edu.sg
Yang LiuUniversity Leadership Forum Chair Professor, Nanyang Technological UniversityDirección de correo verificada de ntu.edu.sg
Hugo JonkerOpen UniversiteitDirección de correo verificada de ou.nl
Cui SuUniversity of LuxembourgDirección de correo verificada de uni.lu
Jaco van de PolProfessor of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Yuxin DengProfessor, East China Normal UniversityDirección de correo verificada de sei.ecnu.edu.cn
Chenyi ZhangOracle Labs AustraliaDirección de correo verificada de oracle.com
Naipeng DongThe University of QueenslandDirección de correo verificada de uq.edu.au
Panuwat TrairatphisanAbbVie GermanyDirección de correo verificada de abbvie.com
Thomas SauterProfessor of Systems Biology, University of LuxembourgDirección de correo verificada de uni.lu
Soumya PaulResearch Associate, Université du LuxembourgDirección de correo verificada de uni.lu
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgDirección de correo verificada de uni.lu

Jun Pang

University of Luxembourg

Dirección de correo verificada de uni.lu - Página principal

Formal methods systems biology machine learning security and privacy complex networks


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
PAT: Towards flexible verification under fairness J Sun, Y Liu, J Dong, J Pang 21st International Conference on Computer Aided Verification, 709-714, 2009	408	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	87	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), 1-25, 2013	84	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	82	2007
A new access control scheme for Facebook-style social networks J Pang, Y Zhang Computers & Security 54, 44-59, 2015	69	2015
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	65	2003
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	63	2017
Privacy and verifiability in voting systems: Methods, developments and trends H Jonker, S Mauw, J Pang Computer Science Review 10, 1-30, 2013	56	2013
Constructing and Comparing User Mobility Profiles for Location-based Services X Chen, J Pang, R Xue 28th ACM Symposium on Applied Computing, 2013	53	2013
Challenges in ehealth: From enabling to enforcing privacy N Dong, H Jonker, J Pang International Symposium on Foundations of Health Informatics Engineering and …, 2011	52	2011
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	51	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	51	2004
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	50*	2006
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	50	2005
Measuring query privacy in location-based services X Chen, J Pang Proceedings of the second ACM conference on Data and Application Security …, 2012	48	2012
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	47*	2007
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	46	2007
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
Constructing and comparing user mobility profiles X Chen, J Pang, R Xue ACM Transactions on the Web (TWEB) 8 (4), 1-25, 2014	43	2014
Weak probabilistic anonymity Y Deng, C Palamidessi, J Pang Electronic Notes in Theoretical Computer Science 180 (1), 55-76, 2007	43	2007

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores