| PAT: Towards flexible verification under fairness J Sun, Y Liu, J Dong, J Pang 21st International Conference on Computer Aided Verification, 709-714, 2009 | 489 | 2009 |
| 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-25, 2013 | 104 | 2013 |
| 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 | 103 | 2017 |
| 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 | 94 | 2006 |
| A new access control scheme for Facebook-style social networks J Pang, Y Zhang Computers & Security 54, 44-59, 2015 | 87 | 2015 |
| 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 | 85 | 2007 |
| Privacy and verifiability in voting systems: Methods, developments and trends H Jonker, S Mauw, J Pang Computer Science Review 10, 1-30, 2013 | 78 | 2013 |
| Challenges in ehealth: From enabling to enforcing privacy N Dong, H Jonker, J Pang Foundations of Health Informatics Engineering and Systems: First …, 2012 | 77 | 2012 |
| 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 | 67 | 2003 |
| Constructing and Comparing User Mobility Profiles for Location-based Services X Chen, J Pang, R Xue 28th ACM Symposium on Applied Computing, 2013 | 56 | 2013 |
| Measuring query privacy in location-based services X Chen, J Pang Proceedings of the second ACM conference on Data and Application Security …, 2012 | 56 | 2012 |
| 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, ... Automated Technology for Verification and Analysis: 5th International …, 2007 | 54 | 2007 |
| Verification of a sliding window protocol in μCRL and PVS B Badban, W Fokkink, JF Groote, J Pang, J Pol Formal Aspects of Computing 17, 342-388, 2005 | 54 | 2005 |
| Constructing and comparing user mobility profiles X Chen, J Pang, R Xue ACM Transactions on the Web (TWEB) 8 (4), 1-25, 2014 | 53 | 2014 |
| 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 | 53* | 2006 |
| 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 | 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 | 48 | 2004 |
| 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 | 47 | 2007 |
| A group signature based electronic toll pricing system X Chen, G Lenzini, S Mauw, J Pang 2012 Seventh International Conference on Availability, Reliability and …, 2012 | 46 | 2012 |
| 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: Essays in Honor of Dines …, 2007 | 45 | 2007 |
Andrzej MizeraPost-doc, University of LuxembourgVerified email at uni.lu
