Mohammad Abdulaziz
From MaRDI portal
Person:1663243
Available identifiers
zbMath Open abdulaziz.mohammadMaRDI QIDQ1663243
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| A formal analysis of RANKING | 2024-11-26 | Paper |
| A Verified Compositional Algorithm for AI Planning | 2023-02-03 | Paper |
| Trustworthy Graph Algorithms (Invited Talk) | 2022-07-21 | Paper |
| An Isabelle/HOL formalisation of Green's theorem | 2019-09-02 | Paper |
| Formally verified algorithms for upper-bounding state space diameters | 2018-08-21 | Paper |
| An Isabelle/HOL Formalisation of Green’s Theorem | 2016-10-27 | Paper |
| Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems | 2015-09-14 | Paper |
Research outcomes over time
This page was built for person: Mohammad Abdulaziz
