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

Formal specification of CORBA-based distributed objects and behaviors. - Cyprian F. Ngolah; Yingxu Wang 001 (IEEE ICCI, 2005)

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)

An Operational Semantics of Real-Time Process Algebra (RTPA). - Yingxu Wang 001; Cyprian F. Ngolah (Int. J. Cogn. Informatics Nat. Intell., 2008)

The Formal Design Model of a Lift Dispatching System (LDS). - Yingxu Wang 001; Cyprian F. Ngolah; Hadi Ahmadi; Phillip C.-Y. Sheu; Shi Ying (Int. J. Softw. Sci. Comput. Intell., 2009)

The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks. - Yingxu Wang 001; Cyprian F. Ngolah; Guangping Zeng; Phillip C.-Y. Sheu; C. Choy; Yousheng Tian (Int. J. Softw. Sci. Comput. Intell., 2010)

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 a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors. - Yingxu Wang 001; Guangping Zeng; Cyprian F. Ngolah; Phillip C.-Y. Sheu; C. Choy; Yousheng Tian (Int. J. Softw. Sci. Comput. Intell., 2010)

An intelligent fault recognizer for rotating machinery via remote characteristic vibration signal detection. - Cyprian F. Ngolah; Ed Morden; Yingxu Wang 001 (IEEE ICCI*CC, 2011)

Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks. - Cyprian F. Ngolah; Ed Morden; Yingxu Wang 001 (Int. J. Softw. Sci. Comput. Intell., 2011)

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)