Muhammad Ahmed

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2022
Automated road extraction using reinforced road indices for Sentinel-2 data.
Array, 2022

2021
Formalization of Transform Methods in Higher-order Logic: A Survey.
CoRR, 2021

Formalization of Transform Methods in Higher-order Logic: A Survey (short paper).
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

2018
FPGA based Implementation of ECDSA for Secured ITS.
Proceedings of the 2018 10th Computer Science and Electronic Engineering Conference, 2018

2017
Detection of attacker and location in wireless sensor network as an application for border surveillance.
Int. J. Distributed Sens. Networks, 2017


  Loading...