| Runtime detection of the concurrency property in asynchronous pervasive computing environments Y Huang, Y Yang, J Cao, X Ma, X Tao, J Lu Parallel and Distributed Systems, IEEE Transactions on, 1-1, 2012 | 27 | 2012 |
| Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments Y Yang, Y Huang, J Cao, X Ma, J Lu IEEE Trans. on Parallel and Distrib. Syst., accepted in Aug, 2012 | 18 | 2012 |
| Design of a Sliding Window over Distributed and Asynchronous Event Streams Y Yang, Y Huang, J Cao, X Ma, J Lu Transactions on Parallel and Distributed Systems, 1-1, 2013 | 8 | 2013 |
| Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications Y Huang, X Ma, Y Yang Parallel and Distributed Systems (ICPADS), 2012 IEEE 18th International …, 2012 | 1 | 2012 |
| Design of a Sliding Window over Asynchronous Event Streams Y Yang, Y Huang, J Cao, X Ma, J Lu Arxiv preprint arXiv:1111.3022, 2011 | 1 | 2011 |
| PatTrust: A Pattern-based Evaluation Approach for Trust and Distrust in Internetware Y Yao, F Xu, Y Yang, J Lu The Third Asia-Pacific Symposium on Internetware (Internetware'11), 2011 | | 2011 |
| Supplementary File of “Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments” Y Yang, Y Huang, J Cao, X Ma, J Lu | | |
Xiaoxing MaProfessor of Computer Science and Technology, Nanjing UniversityVerified email at nju.edu.cn
