Cyprian F. Ngolah

Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.-Y. Sheu: The Formal Design Model of a File Management System (FMS). IJSSCI 3(1): 90-113 (2011)

Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Phillip C.-Y. Sheu: The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists). IJSSCI 3(2): 83-102 (2011)

Cyprian F. Ngolah, Ed Morden, Yingxu Wang: Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks. IJSSCI 3(4): 67-83 (2011)

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

Yingxu Wang, Xinming Tan, Cyprian F. Ngolah: Design and Implementation of an Autonomic Code Generator Based on RTPA. IJSSCI 2(2): 44-65 (2010)

Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian: The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks. IJSSCI 2(2): 105-122 (2010)

Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian: The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors. IJSSCI 2(3): 79-105 (2010)

Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Philip Sheu: The Formal Design Models of a Set of Abstract Data Types (ADTs). IJSSCI 2(4): 72-100 (2010)

Yingxu Wang, Cyprian F. Ngolah, Hadi Ahmadi, Phillip C.-Y. Sheu, Shi Ying: The Formal Design Model of a Lift Dispatching System (LDS). IJSSCI 1(4): 111-137 (2009)

Yingxu Wang, Cyprian F. Ngolah: An Operational Semantics of Real-Time Process Algebra (RTPA). IJCINI 2(3): 71-89 (2008)

Xinming Tan, Yingxu Wang, Cyprian F. Ngolah: Design and Implementation of an Automatic RTPA Code Generator. CCECE 2006: 434-437

Cyprian F. Ngolah, Yingxu Wang, Xinming Tan: Implementing the Real-Time Processes of RTPA using Real-Time Java. CCECE 2006: 602-605

Cyprian F. Ngolah, Yingxu Wang: Formal specification of CORBA-based distributed objects and behaviors. IEEE ICCI 2005: 331-339

Xinming Tan, Yingxu Wang, Cyprian F. Ngolah: Specification of the RTPA Grammar and Its Recognition. IEEE ICCI 2004: 54-63