Chong-Yi Yuan

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

Wen Zhao, Xueyang Liu, Sen Ma, Chong-Yi Yuan, Lifu Wang
A Distributed RFID Discovery System: Architecture, Component and Application. CSE (2011)
Jinan Sun, Yu Huang, Xin Gao, Shikun Zhang, Lifu Wang, Chong-Yi Yuan
A Novel Method for Formally Detecting RFID Event Using Petri Nets. SEKE (2011)
Chong-Yi Yuan, Wen Zhao, Yu Huang
Operation Expression: a Way to Verified Software. FCS (2010)
Wen Zhao, Yu Huang, Chong-Yi Yuan
Synchronic Distance Based Workflow Logic Specification. HPCC (2008)
Chong-Yi Yuan, Wen Zhao, Shikun Zhang, Yu Huang
A Three-Layer Model for Business Processes - Process Logic, Case Semantics and Workflow Management. J. Comput. Sci. Technol. 22 (3) (2007)
Xing-Qi Huang, Lifu Wang, Wen Zhao, Shikun Zhang, Chong-Yi Yuan
A Workflow Process Mining Algorithm Based on Synchro-Net. J. Comput. Sci. Technol. 21 (1) (2006)