![]() ; ; et al in Information Processing Letters (2011), 111(17), 864-870 Detailed reference viewed: 101 (2 UL)![]() ; Pang, Jun ![]() in Journal of Information Security (2010), 1(2), 56-67 Detailed reference viewed: 127 (0 UL)![]() ; Pang, Jun ![]() in Journal of Information Security (2010), 1(2), 45-55 Detailed reference viewed: 71 (0 UL)![]() Zhang, Ying ![]() ![]() ![]() in Proceedings of 7th International Workshop on Formal Aspects in Security and Trust (FAST'09) (2010) Detailed reference viewed: 133 (3 UL)![]() ; Pang, Jun ![]() in Proceedings of 15th IEEE International Conference on Engineering of Complex Computer Systems (2010) Detailed reference viewed: 105 (1 UL)![]() ; Pang, Jun ![]() in Proc. 6th IFIP Conference on Theoretical Computer Science (2010) Detailed reference viewed: 164 (3 UL)![]() ; ; et al in Proceedings of 29th Annual ACM Symposium on Principles of Distributed Computing (2010) Detailed reference viewed: 78 (1 UL)![]() ; Pang, Jun ![]() in Proceedings of 6th IEEE/IFIP Symposium on Trusted Computing and Communications (2010) Detailed reference viewed: 141 (1 UL)![]() Pang, Jun ![]() in Proc. 3rd IEEE Conference on Secure Software Integration and Reliability Improvement (2009) This is an editorial. Detailed reference viewed: 100 (1 UL)![]() Jonker, Hugo ![]() ![]() ![]() in Journal of Algorithms in Cognition, Informatics and Logic (2009) Detailed reference viewed: 121 (7 UL)![]() Jonker, Hugo ![]() ![]() ![]() in Proceedings of 4th Conference on Availability, Reliability and Security (ARES'09) (2009) Detailed reference viewed: 118 (2 UL)![]() Pang, Jun ![]() in Proc. 7th International Workshop on Security Issues in Concurrency (2009) Detailed reference viewed: 138 (1 UL)![]() ; ; et al in Proc. 21th International Conference on Computer Aided Verification (2009) Detailed reference viewed: 215 (1 UL)![]() ; Pang, Jun ![]() in Proceedings of 3rd IEEE Symposium on Theoretical Aspects of Software Engineering (2009) Detailed reference viewed: 137 (2 UL)![]() Chen, Xihui ![]() ![]() ![]() in Proc. 11th International Conference on Formal Engineering Methods (2009) Detailed reference viewed: 137 (2 UL)![]() ; Pang, Jun ![]() in Fundamenta Informaticae (2008), 87(3-4), 287311 Detailed reference viewed: 56 (1 UL)![]() Pang, Jun ![]() in Proceedings of 2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE'08) (2008) Detailed reference viewed: 117 (5 UL)![]() ; ; Pang, Jun ![]() in Proc. 5th IFIP Conference on Theoretical Computer Science (2008) Detailed reference viewed: 113 (2 UL)![]() Pang, Jun ![]() in Frontiers of Computer Science in China (2008), 2(4), 357367 Detailed reference viewed: 142 (2 UL) |
||