Implementation of Multi-Agent System Based on CORBA and COM. - Xinming Tan; Shaomei Wang (CSCWD, 2001)

Specification of the RTPA Grammar and Its Recognition. - Xinming Tan; Yingxu Wang 001; Cyprian F. Ngolah (IEEE ICCI, 2004)

Transforming RTPA Mathematical Models of System Behaviors Into C++. - Xinming Tan; Yingxu Wang 001 (IEEE ICCI, 2006)

Implementing the Real-Time Processes of RTPA using Real-Time Java. - Cyprian F. Ngolah; Yingxu Wang 001; Xinming Tan (CCECE, 2006)

Design and Implementation of an Automatic RTPA Code Generator. - Xinming Tan; Yingxu Wang 001; Cyprian F. Ngolah (CCECE, 2006)

A Denotational Semantics of Real-Time Process Algebra (RTPA). - Xinming Tan; Yingxu Wang 001 (Int. J. Cogn. Informatics Nat. Intell., 2008)

Design and Implementation of an Autonomic Code Generator Based on RTPA. - Yingxu Wang 001; Xinming Tan; Cyprian F. Ngolah (Int. J. Softw. Sci. Comput. Intell., 2010)

The Formal Design Models of a Set of Abstract Data Types (ADTs). - Yingxu Wang 001; Xinming Tan; Cyprian F. Ngolah; Phillip C.-Y. Sheu (Int. J. Softw. Sci. Comput. Intell., 2010)

The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists). - Yingxu Wang 001; Cyprian F. Ngolah; Xinming Tan; Phillip C.-Y. Sheu (Int. J. Softw. Sci. Comput. Intell., 2011)

The Formal Design Model of a File Management System (FMS). - Yingxu Wang 001; Cyprian F. Ngolah; Xinming Tan; Yousheng Tian; Phillip C.-Y. Sheu (Int. J. Softw. Sci. Comput. Intell., 2011)

The Formal Design Models of Tree Architectures and Behaviors. - Yingxu Wang 001; Xinming Tan (Int. J. Softw. Sci. Comput. Intell., 2011)