Jun Pang

Jun Pang

Université du Luxembourg - Esch-sur-Alzette / Luxembourg
Engineering & Technology / Computer Science
AD Scientific Index ID: 1794284
University of Luxembourg Universität Luxemburg
person_outline Jun Pang's MOST POPULAR ARTICLES
1-) PAT: Towards flexible verification under fairnessJ Sun, Y Liu, J Dong, J Pang21st International Conference on Computer Aided Verification, 709-714, 20094742009
2-) walk2friends: Inferring social links from mobility profilesM Backes, M Humbert, J Pang, Y ZhangProceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 20171082017
3-) Recent development and biomedical applications of probabilistic Boolean networksP Trairatphisan, A Mizera, J Pang, AA Tantar, J Schneider, T SauterCell communication and signaling 11, 1-25, 20131072013
4-) Metrics for action-labelled quantitative transition systemsY Deng, T Chothia, C Palamidessi, J PangElectronic Notes in Theoretical Computer Science 153 (2), 79-96, 2006972006
5-) Measuring anonymity with relative entropyY Deng, J Pang, P WuProceedings of 4th Workshop on Formal Aspects in Security and Trust (FAST\'06 …, 2007962007