| A combinator-based superposition calculus for higher-order logic A Bhayat, G Reger International Joint Conference on Automated Reasoning, 278-296, 2020 | 27 | 2020 |
| Restricted combinatory unification A Bhayat, G Reger International Conference on Automated Deduction, 74-93, 2019 | 24 | 2019 |
| Set of Support for Higher-Order Reasoning. A Bhayat, G Reger PAAR@ FLoC, 2-16, 2018 | 21 | 2018 |
| Vampire A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ... | 14 | 2018 |
| FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs KM Alshmrany, M Aldughaim, A Bhayat, LC Cordeiro International Conference on Tests and Proofs, 85-105, 2021 | 7 | 2021 |
| A Knuth-Bendix-like ordering for orienting combinator equations A Bhayat, G Reger International Joint Conference on Automated Reasoning, 259-277, 2020 | 5 | 2020 |
| A Polymorphic Vampire A Bhayat, G Reger International Joint Conference on Automated Reasoning, 361-368, 2020 | 4 | 2020 |
| A Knuth-Bendix-like ordering for orienting combinator equations (technical report) A Bhayat, G Reger Technical report, University of Mancester, 2020 | 3 | 2020 |
| Reinforced external guidance for theorem provers M Rawson, A Bhayat, G Reger 7th Workshop on Practical Aspects of Automated Reasoning, 2020 | 3 | 2020 |
| Higher-order reasoning vampire style A Bhayat, G Reger 25th Automated Reasoning Workshop, 19, 2018 | 3 | 2018 |
| Automated theorem proving in higher-order logic A Bhayat PQDT-Global, 2021 | 2 | 2021 |
| A combinator-based superposition calculus for higher-order logic (technical report) A Bhayat, G Reger EasyChair, 2020 | 2 | 2020 |
| FuSeBMC v. 4: Smart Seed Generation for Hybrid Fuzzing KM Alshmrany, M Aldughaim, A Bhayat, LC Cordeiro arXiv preprint arXiv:2112.10627, 2021 | 1 | 2021 |
| Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities A Bhayat, L Cordeiro, G Reger, F Shmarov, K Korovin, T Melham, ... TechRxiv, 2021 | | 2021 |
| FuSeBMC: An Energy-Efficient Verifier for Finding Security Vulnerabilities in C Programs K Alshmrany, M Aldughaim, A Bhayat, L Cordeiro | | 2021 |
Giles RegerAmazon and University of ManchesterVerified email at manchester.ac.uk
