A Knowledge Representation Tool Based on Concept Algebra. - Yousheng Tian; Yingxu Wang 001 (IEEE ICCI, 2007)

A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra. - Yousheng Tian; Yingxu Wang 001; Kai Hu (Trans. Comput. Sci., 2009)

A Web Knowledge Discovery Engine Based on Concept Algebra. - Kai Hu; Yingxu Wang 001; Yousheng Tian (Int. J. Cogn. Informatics Nat. Intell., 2010)

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)

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)

A formal knowledge representation system for the cognitive learning engine. - Yousheng Tian; Yingxu Wang 001; Marina L. Gavrilova; Günther Ruhe (IEEE ICCI*CC, 2011)

The operational semantics of Concept Algebra for cognitive computing and machine learning. - Yingxu Wang 001; Yousheng Tian; Kendall Hu (IEEE ICCI*CC, 2011)

Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra. - Yingxu Wang 001; Yousheng Tian; Kendall Hu (Int. J. Cogn. Informatics Nat. Intell., 2011)

A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine. - Yousheng Tian; Yingxu Wang 001; Marina L. Gavrilova; Günther Ruhe (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)

Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA. - Yingxu Wang 001; Yousheng Tian (Int. J. Softw. Sci. Comput. Intell., 2012)

A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive Robotics. - Yingxu Wang 001; Yousheng Tian (Int. J. Softw. Sci. Comput. Intell., 2013)