default search action

combined dblp search
author search
venue search
publication search

ask others

Muhammad Ahmed

> Home > Persons

This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.

Person information

Other persons with the same name

see FAQ

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
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icict2/UllahAZAFG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icict2/UllahAZAFG24
Fida Ullah, Muhammad Ahmed, Muhammad Tayyab Zamir, Muhammad Arif, E. Felipe-Riverón, Alexander F. Gelbukh:
Optimal Scheduling for the Performance Optimization of SpMV Computation using Machine Learning Techniques. ICICT 2024: 99-104
2022
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/array/AhmedSA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/array/AhmedSA22
Muhammad Waqas Ahmed, Sumayyah Saadi, Muhammad Ahmed:
Automated road extraction using reinforced road indices for Sentinel-2 data. Array 16: 100257 (2022)
2021
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/mkm/AhmedR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/AhmedR21
Muhammad Ahmed, Adnan Rashid:
Formalization of Transform Methods in Higher-order Logic: A Survey (short paper). CICM Workshops 2021
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2111-10049
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-10049
Muhammad Ahmed, Adnan Rashid:
Formalization of Transform Methods in Higher-order Logic: A Survey. CoRR abs/2111.10049 (2021)

2010 – 2019

see FAQ

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

2018
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ceec/AsifZASJ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ceec/AsifZASJ18
Aiza Asif, Urooj Zahra, Muhammad Ahmed, Muhammad Faisal Siddiqui, Muhammad Awais Javed:
FPGA based Implementation of ECDSA for Secured ITS. CEEC 2018: 154-158
2017
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ijdsn/AseeriASGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijdsn/AseeriASGS17
Mohammed A. Aseeri, Muhammad Ahmed, Mohammed Shakib, Oussama Ghorbel, Hussein Nasser Shaman:
Detection of attacker and location in wireless sensor network as an application for border surveillance. Int. J. Distributed Sens. Networks 13(11) (2017)

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.