Mohsen Safari

Available identifiers

zbMath Open safari.mohsenMaRDI QIDQ1698755

List of research outcomes

Publication	Date of Publication	Type
A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms	2023-03-21	Paper
Automated verification of the parallel Bellman-Ford algorithm	2022-06-17	Paper
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA	2022-04-01	Paper
Formal verification of parallel stream compaction and summed-area table algorithms	2021-07-08	Paper
Locality-based relaxation: an efficient method for GPU-based computation of shortest paths	2018-02-16	Paper

Research outcomes over time

This page was built for person: Mohsen Safari