Chong-Yi Yuan

According to our database, Chong-Yi Yuan authored at least 6 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

A Novel Method for Formally Detecting RFID Event Using Petri Nets.

Jinan Sun, Yu Huang, Xin Gao, Shikun Zhang, Lifu Wang, Chong-Yi Yuan

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

A Distributed RFID Discovery System: Architecture, Component and Application.

Wen Zhao, Xueyang Liu, Sen Ma, Chong-Yi Yuan, Lifu Wang

Proceedings of the 14th IEEE International Conference on Computational Science and Engineering, 2011

2010

Operation Expression: a Way to Verified Software.

Chong-Yi Yuan, Wen Zhao, Yu Huang

Proceedings of the 2010 International Conference on Foundations of Computer Science, 2010

2008

Synchronic Distance Based Workflow Logic Specification.

Wen Zhao, Yu Huang, Chong-Yi Yuan

Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications, 2008

2007

A Three-Layer Model for Business Processes - Process Logic, Case Semantics and Workflow Management.

Chong-Yi Yuan, Wen Zhao, Shikun Zhang, Yu Huang

J. Comput. Sci. Technol., 2007

2006

A Workflow Process Mining Algorithm Based on Synchro-Net.

Xing-Qi Huang, Lifu Wang, Wen Zhao, Shikun Zhang, Chong-Yi Yuan

J. Comput. Sci. Technol., 2006