Cyprian F. Ngolah

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Cyprian F. Ngolah, Ed Morden, Yingxu Wang
Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks. Int. J. Softw. Sci. Comput. Intell. 3 (4) (2011)
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Phillip C.-Y. Sheu
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists). Int. J. Softw. Sci. Comput. Intell. 3 (2) (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)
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.-Y. Sheu
The Formal Design Model of a File Management System (FMS). Int. J. Softw. Sci. Comput. Intell. 3 (1) (2011)
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah
Design and Implementation of an Autonomic Code Generator Based on RTPA. Int. J. Softw. Sci. Comput. Intell. 2 (2) (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. Int. J. Softw. Sci. Comput. Intell. 2 (2) (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. Int. J. Softw. Sci. Comput. Intell. 2 (3) (2010)
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Phillip C.-Y. Sheu
The Formal Design Models of a Set of Abstract Data Types (ADTs). Int. J. Softw. Sci. Comput. Intell. 2 (4) (2010)
Yingxu Wang, Cyprian F. Ngolah, Hadi Ahmadi, Phillip C.-Y. Sheu, Shi Ying
The Formal Design Model of a Lift Dispatching System (LDS). Int. J. Softw. Sci. Comput. Intell. 1 (4) (2009)
Yingxu Wang, Cyprian F. Ngolah
An Operational Semantics of Real-Time Process Algebra (RTPA). Int. J. Cogn. Informatics Nat. Intell. 2 (3) (2008)
Xinming Tan, Yingxu Wang, Cyprian F. Ngolah
Design and Implementation of an Automatic RTPA Code Generator. CCECE (2006)
Cyprian F. Ngolah, Yingxu Wang, Xinming Tan
Implementing the Real-Time Processes of RTPA using Real-Time Java. CCECE (2006)
Cyprian F. Ngolah, Yingxu Wang
Formal specification of CORBA-based distributed objects and behaviors. IEEE ICCI (2005)
Xinming Tan, Yingxu Wang, Cyprian F. Ngolah
Specification of the RTPA Grammar and Its Recognition. IEEE ICCI (2004)