Research output per year
Research output per year
Fingerprint
Dive into the research topics where Mohammad Abdulaziz Mansour is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
Kohlen, B., Schäffeler, M., Abdulaziz, M., Hartmanns, A. & Lammich, P., 2 Apr 2025, (Accepted/In press) International Conference on Computer-Aided Verification.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile10 Downloads (Pure) -
A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows
Abdulaziz, M. & Ammer, T., 2 Sept 2024, 15th International Conference on Interactive Theorem Proving (ITP 2024). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl PublishingResearch output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile62 Downloads (Pure) -
Formally Verified Approximate Policy Iteration
Abdulaziz, M. & Schäffeler, M., 12 Dec 2024, (Accepted/In press) AAAI Conference on Aritficial Intelligence. AAAI PressResearch output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile103 Downloads (Pure) -
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges
Abdulaziz, M., 24 Mar 2024, Proceedings of the AAAI Conference on Artificial Intelligence (AAAI): AAAI-24 Special Track AI for Social Impact, Senior Member Presentations, New Faculty Highlights, Journal Track. AAAI PressResearch output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile24 Downloads (Pure) -
A Formal Analysis of RANKING
Abdulaziz, M. & Madlener, C., 26 Jul 2023, 14th International Conference on Interactive Theorem Proving (ITP 2023). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl PublishingResearch output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile99 Downloads (Pure)
Projects
- 1 Active
-
Formal Verification of Practical Nominal Unification Algorithms
Mansour, M. A. (Primary Investigator), Fernandez, M. (Co-Investigator) & Urban, C. (Co-Investigator)
31/03/2025 → 30/03/2027
Project: Research