| Development of a text-dependent speaker recognition system EO Aliyu, OS Adewale, AO Adetunmbi International Journal of Computer Applications 69 (16), 2013 | 6 | 2013 |
| Requirement Formalization for Model Checking Using Extended Backus Naur Form EO Aliyu, OS Adewale, AO Adetunmbi, BA Ojokoh i-Manager's Journal on Software Engineering 13 (3), 1, 2019 | 3 | 2019 |
| Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes EO Aliyu Journal of Software Engineering and Applications 16 (6), 170-192, 2023 | 1 | 2023 |
| Intermediate Representation Using Graph Visualization Software EO Aliyu, AO Adetunmbi, BA Ojokoh Journal of Software Engineering and Applications 13 (5), 77-90, 2020 | 1 | 2020 |
| Development of Model Checking Technique for Operators Conformity Error in Selective and Iterative Structures EO ALIYU FEDERAL UNIVERSITY OF TECHNOLOGY AKURE, 2019 | 1 | 2019 |
| A Survey of Comparative Studies of Symbolic Algorithms EO ALIYU SRA-Archives 14 (1), 28-41, 2023 | | 2023 |
| Static Checking of Runtime Errors on Telecommunication Billing Application EO ALIYU SRA-Archives 11 (1), 19-29, 2020 | | 2020 |
| Development of an Automated Liquefied Petroleum Gas Station Detection Mechanism Using Haversine Principle and A* Algorithm EO ALIYU, FO ARANUWA, AJ ADENITIRE SRA-Archives 10, 92-100, 2019 | | 2019 |
| Science Research Annals EO ALIYU, FO ARANUWA, AJ ADENITIRE | | |
