Chongyi Yuan

According to our database, Chongyi Yuan authored at least 6 papers between 1995 and 2022.

Collaborative distances:

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

2022

Towards the Future: Bring Program Correctness back to the focus.

Chongyi Yuan, Lijie Wen, Xiongliang Yan

CoRR, 2022

2003

Mapping PUNITY to UniNet.

Guofu Zhou, Chongyi Yuan

J. Comput. Sci. Technol., 2003

2002

Solving Inheritance Anomaly with OMNets.

Jian Yu, Shengyuan Wang, Chongyi Yuan

J. Comput. Sci. Technol., 2002

2001

A Pragmatic Behavior Subtyping Relation Based on Both States and Actions.

Shengyuan Wang, Jian Yu, Chongyi Yuan

J. Comput. Sci. Technol., 2001

A Net-Based Multi-tier Behavior Inheritance Modelling Method.

Shengyuan Wang, Jian Yu, Chongyi Yuan

Proceedings of the Perspectives of System Informatics, 2001

1995

S- and T-invariants in cyber net systems.

Chongyi Yuan

J. Comput. Sci. Technol., 1995