default search action

combined dblp search
author search
venue search
publication search

ask others

Mohammad Abdulaziz

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Abdulaziz24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Abdulaziz24
Mohammad Abdulaziz:
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges. AAAI 2024: 22660
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/AbdulazizA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/AbdulazizA24
Mohammad Abdulaziz, Thomas Ammer:
A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows. ITP 2024: 3:1-3:19
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-07340
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-07340
Maximilian Schäffeler, Mohammad Abdulaziz:
Formally Verified Approximate Policy Iteration. CoRR abs/2406.07340 (2024)
2023
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AbdulazizK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AbdulazizK23
Mohammad Abdulaziz, Friedrich Kurz:
Formally Verified SAT-Based AI Planning. AAAI 2023: 14665-14673
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/SchaffelerA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SchaffelerA23
Maximilian Schäffeler, Mohammad Abdulaziz:
Formally Verified Solution Methods for Markov Decision Processes. AAAI 2023: 15073-15081
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/AbdulazizM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/AbdulazizM23
Mohammad Abdulaziz, Christoph Madlener:
A Formal Analysis of RANKING. ITP 2023: 3:1-3:18
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-13747
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-13747
Mohammad Abdulaziz, Christoph Madlener:
A Formal Analysis of RANKING. CoRR abs/2302.13747 (2023)
2022
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AbdulazizK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AbdulazizK22
Mohammad Abdulaziz, Lukas Koller:
Formal Semantics and Formally Verified Validation for Temporal Planning. AAAI 2022: 9635-9643
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-13604
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-13604
Mohammad Abdulaziz, Lukas Koller:
Formal Semantics and Formally Verified Validation for Temporal Planning. CoRR abs/2203.13604 (2022)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-02169
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-02169
Maximilian Schäffeler, Mohammad Abdulaziz:
Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes. CoRR abs/2206.02169 (2022)
2021
[j8]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/SchaffelerA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/SchaffelerA21
Maximilian Schäffeler, Mohammad Abdulaziz:
Verified Algorithms for Solving Markov Decision Processes. Arch. Formal Proofs 2021 (2021)
[j7]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/SchaffelerA21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/SchaffelerA21a
Maximilian Schäffeler, Mohammad Abdulaziz:
Markov Decision Processes with Rewards. Arch. Formal Proofs 2021 (2021)
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AbdulazizB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AbdulazizB21
Mohammad Abdulaziz, Dominik Berger:
Computing Plan-Length Bounds Using Lengths of Longest Paths. AAAI 2021: 11709-11717
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-02355
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-02355
Mohammad Abdulaziz:
Cost Optimal Planning as Satisfiability. CoRR abs/2103.02355 (2021)
2020
[j6]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/AbdulazizK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/AbdulazizK20
Mohammad Abdulaziz, Friedrich Kurz:
Verified SAT-Based AI Planning. Arch. Formal Proofs 2020 (2020)
[j5]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/AbdulazizL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/AbdulazizL20
Mohammad Abdulaziz, Peter Lammich:
AI Planning Languages Semantics. Arch. Formal Proofs 2020 (2020)
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/socs/AbdulazizB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/socs/AbdulazizB20
Mohammad Abdulaziz, Dominik Berger:
Computing Plan-Length Bounds Using Lengths of Longest Paths. SOCS 2020: 117-118
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-01011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-01011
Mohammad Abdulaziz, Dominik Berger:
Computing Plan-Length Bounds Using Lengths of Longest Paths. CoRR abs/2006.01011 (2020)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-14648
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-14648
Mohammad Abdulaziz, Friedrich Kurz:
Formally Verified SAT-Based AI Planning. CoRR abs/2010.14648 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AbdulazizP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AbdulazizP19
Mohammad Abdulaziz, Lawrence C. Paulson:
An Isabelle/HOL Formalisation of Green's Theorem. J. Autom. Reason. 63(3): 763-786 (2019)
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Abdulaziz19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Abdulaziz19
Mohammad Abdulaziz:
Plan-Length Bounds: Beyond 1-Way Dependency. AAAI 2019: 7502-7510
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/AbdulazizGN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/AbdulazizGN19
Mohammad Abdulaziz, Charles Gretton, Michael Norrish:
A Verified Compositional Algorithm for AI Planning. ITP 2019: 4:1-4:19
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/mfcs/AbdulazizMN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/AbdulazizMN19
Mohammad Abdulaziz, Kurt Mehlhorn, Tobias Nipkow:
Trustworthy Graph Algorithms (Invited Talk). MFCS 2019: 1:1-1:22
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-04065
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-04065
Mohammad Abdulaziz, Kurt Mehlhorn, Tobias Nipkow:
Trustworthy Graph Algorithms. CoRR abs/1907.04065 (2019)
2018
[j3]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/AbdulazizP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/AbdulazizP18
Mohammad Abdulaziz, Lawrence C. Paulson:
An Isabelle/HOL formalisation of Green's Theorem. Arch. Formal Proofs 2018 (2018)
[j2]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/KurzA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/KurzA18
Friedrich Kurz, Mohammad Abdulaziz:
Upper Bounding Diameters of State Spaces of Factored Transition Systems. Arch. Formal Proofs 2018 (2018)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AbdulazizNG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AbdulazizNG18
Mohammad Abdulaziz, Michael Norrish, Charles Gretton:
Formally Verified Algorithms for Upper-Bounding State Space Diameters. J. Autom. Reason. 61(1-4): 485-520 (2018)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/AbdulazizL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/AbdulazizL18
Mohammad Abdulaziz, Peter Lammich:
A Formally Verified Validator for Classical Planning Problems and Solutions. ICTAI 2018: 474-479
2017
[c5]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/AbdulazizGN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/AbdulazizGN17
Mohammad Abdulaziz, Charles Gretton, Michael Norrish:
A State-Space Acyclicity Property for Exponentially Tighter Plan Length Bounds. ICAPS 2017: 2-10
2016
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/AbdulazizP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/AbdulazizP16
Mohammad Abdulaziz, Lawrence C. Paulson:
An Isabelle/HOL Formalisation of Green's Theorem. ITP 2016: 3-19
2015
[c3]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/AbdulazizNG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AbdulazizNG15
Mohammad Abdulaziz, Michael Norrish, Charles Gretton:
Exploiting Symmetries by Planning for a Descriptive Quotient. IJCAI 2015: 1479-1486
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/AbdulazizGN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/AbdulazizGN15
Mohammad Abdulaziz, Charles Gretton, Michael Norrish:
Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems. ITP 2015: 1-16
2014
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/idt/SaifDNAEA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idt/SaifDNAEA14
Sherif M. Saif, Mohamed Dessouky, Salwa M. Nassar, Hazem M. Abbas, M. Watheq El-Kharashi, Mohammad Abdulaziz:
Exploiting satisfiability modulo theories for analog layout automation. IDT 2014: 1-6

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.