| 2026 | ITP | Formal Primal-Dual Algorithm Analysis (Short Paper). | Mohammad Abdulaziz, Thomas Ammer, Christoph Madlener |
| 2025 | AAAI | Formally Verified Approximate Policy Iteration. | Maximilian Schffeler, Mohammad Abdulaziz |
| 2025 | CAV | A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs. | Bram Kohlen, Maximilian Schffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich |
| 2025 | ITP | A Formal Analysis of Algorithms for Matroids and Greedoids. | Mohammad Abdulaziz, Thomas Ammer, Shriya Meenakshisundaram, Adem Rimpapa |
| 2024 | AAAI | Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges. | Mohammad Abdulaziz |
| 2024 | ITP | A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows. | Mohammad Abdulaziz, Thomas Ammer |
| 2023 | AAAI | Formally Verified SAT-Based AI Planning. | Mohammad Abdulaziz, Friedrich Kurz |
| 2023 | AAAI | Formally Verified Solution Methods for Markov Decision Processes. | Maximilian Schffeler, Mohammad Abdulaziz |
| 2023 | ITP | A Formal Analysis of RANKING. | Mohammad Abdulaziz, Christoph Madlener |
| 2022 | AAAI | Formal Semantics and Formally Verified Validation for Temporal Planning. | Mohammad Abdulaziz, Lukas Koller |
| 2021 | AAAI | Computing Plan-Length Bounds Using Lengths of Longest Paths. | Mohammad Abdulaziz, Dominik Berger |
| 2020 | SoCS | Computing Plan-Length Bounds Using Lengths of Longest Paths. | Mohammad Abdulaziz, Dominik Berger |
| 2019 | AAAI | Plan-Length Bounds: Beyond 1-Way Dependency. | Mohammad Abdulaziz |
| 2019 | ITP | A Verified Compositional Algorithm for AI Planning. | Mohammad Abdulaziz, Charles Gretton, Michael Norrish |
| 2019 | MFCS | Trustworthy Graph Algorithms (Invited Talk). | Mohammad Abdulaziz, Kurt Mehlhorn, Tobias Nipkow |
| 2018 | ICTAI | A Formally Verified Validator for Classical Planning Problems and Solutions. | Mohammad Abdulaziz, Peter Lammich |
| 2016 | ITP | An Isabelle/HOL Formalisation of Green's Theorem. | Mohammad Abdulaziz, Lawrence C. Paulson |
| 2015 | IJCAI | Exploiting Symmetries by Planning for a Descriptive Quotient. | Mohammad Abdulaziz, Michael Norrish, Charles Gretton |
| 2015 | ITP | Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems. | Mohammad Abdulaziz, Charles Gretton, Michael Norrish |