Old Web
English
Sign In
Acemap
>
authorDetail
>
Ahmad Muhammad Aminu
Ahmad Muhammad Aminu
Kaduna State University
Computer science
Computational complexity theory
Benchmark (computing)
Deadlock
Petri net
2
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Deep Sequence Models for Text Classification Tasks
2021
Saheed Salahudeen Abdullahi
Sun Yiming
Shamsuddeen Hassan Muhammad
Abdulrasheed Mustapha
Ahmad Muhammad Aminu
Abdulkadir Abdullahi
Musa Bello
Saminu Mohammad Aliyu
Show All
Source
Cite
Save
Citations (0)
A Hybrid Approach to Detecting Deadlock in STGs Unfoldings Using SAT
2020
Abdullah Ismaila Jihad
Ahmad Muhammad Aminu
Show All
Source
Cite
Save
Citations (0)
1