1. A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification;Proceedings of the ACM on Software Engineering;2024-07-12
2. Sustainable Development Goal-17 and Nigeria Data Protection Regulation Adoption among Organizations in Nigeria;2024 International Conference on Science, Engineering and Business for Driving Sustainable Development Goals (SEB4SDG);2024-04-02
3. GTP Benchmarks for Gradual Typing Performance;Proceedings of the 2023 ACM Conference on Reproducibility and Replicability;2023-06-27
4. Performance Analysis with Bayesian Inference;2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER);2023-05
5. A limitation to determine heat transfer of water at supercritical pressure: The repeatability issue;Applied Thermal Engineering;2023-01