J Sun, Y Liu, J Dong, J Pang

21st International Conference on Computer Aided Verification, 709-714, 2009

M Backes, M Humbert, J Pang, Y Zhang

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017

P Trairatphisan, A Mizera, J Pang, AA Tantar, J Schneider, T Sauter

Cell communication and signaling 11, 1-25, 2013

Y Deng, T Chothia, C Palamidessi, J Pang

Electronic Notes in Theoretical Computer Science 153 (2), 79-96, 2006

J Pang, Y Zhang

Computers & Security 54, 44-59, 2015

Y Deng, J Pang, P Wu

Proceedings of 4th Workshop on Formal Aspects in Security and Trust (FAST'06 …, 2007

N Dong, H Jonker, J Pang

Foundations of Health Informatics Engineering and Systems: First …, 2012

H Jonker, S Mauw, J Pang

Computer Science Review 10, 1-30, 2013

JF Groote, J Pang, AG Wouters

Journal of Logic and Algebraic Programming 55 (1-2), 21-56, 2003

X Chen, J Pang, R Xue

28th ACM Symposium on Applied Computing, 2013

X Chen, J Pang

Proceedings of the second ACM conference on Data and Application Security …, 2012

B Badban, W Fokkink, JF Groote, J Pang, J Pol

Formal Aspects of Computing 17, 342-388, 2005

X Chen, J Pang, R Xue

ACM Transactions on the Web (TWEB) 8 (4), 1-25, 2014

W Damm, S Disch, H Hungar, S Jacobs, J Pang, F Pigorsch, C Scholl, ...

International Symposium on Automated Technology for Verification and …, 2007

J Pang, W Fokkink, R Hofman, R Veldema

The Journal of Logic and Algebraic Programming 71 (1), 1-43, 2007

W Fokkink, J Pang, J Van De Pol

Formal Methods in System Design 29 (1), 1-31, 2006

Y Zhang, M Humbert, T Rahman, CT Li, J Pang, M Backes

Proceedings of the 2018 World Wide Web Conference, 287-296, 2018

M Chen, TH Tan, J Sun, Y Liu, J Pang, X Li

Formal Methods and Software Engineering: 15th International Conference on …, 2013

J Pang, Y Zhang

Proc. 11th International AAAI Conference on Web and Social Media - ICWSM'17 …, 2017

X Chen, G Lenzini, S Mauw, J Pang

2012 Seventh International Conference on Availability, Reliability and …, 2012