Concepedia
Statistics
Publications
9
Citations
230
H-Index
Active since
2004
Affiliations
University of Calgary(Current)
Wuhan University
University of California, Berkeley
Wuhan University of Technology
University of California, Irvine
Cyprian F. Ngolah is an author at University of Calgary specializing in engineering, computer engineering, and formal verification.
Top concepts
EngineeringSoftware DesignComputer ScienceFormal VerificationComputer EngineeringFormal MethodsSystem SoftwareReal-time SystemsSystems EngineeringSoftware Engineering
Publications per year
2004–2021
Key information needs to move from knowledge to action for biodiversity conservation in Canada
Rachel T. Buxton, Joseph Bennett, Andrea J. Reid et al. · Biological Conservation · 2021 · 78 citations · Full text
The Formal Design Model of a Lift Dispatching System (LDS)
Yingxu Wang, Cyprian F. Ngolah, Hadi Ahmadi et al. · International Journal of Software Science and Computational Intelligence · 2009 · 26 citations
Engineering, Real-time System Design, Computer Architecture +24
Design and Implementation of an Autonomic Code Generator Based on RTPA
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah · International Journal of Software Science and Computational Intelligence · 2010 · 24 citations
Software Maintenance, Engineering, Object-oriented Modeling +22
The Formal Design Model of a Real-Time Operating System (RTOS+)
Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng et al. · International Journal of Software Science and Computational Intelligence · 2010 · 24 citations
Engineering, Real-time System Design, Computer Architecture +18
Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah et al. · International Journal of Software Science and Computational Intelligence · 2010 · 23 citations
1–5 of 9