Algebraic approach to arithmetic design verification MA Basith, T Ahmad, A Rossi, M Ciesielski 2011 Formal Methods in Computer-Aided Design (FMCAD), 67-71, 2011 | 15 | 2011 |
Toward Blockchain-Enabled Privacy-Preserving Data Transmission in Cluster-Based Vehicular Networks GP Joshi, E Perumal, K Shankar, U Tariq, T Ahmad, A Ibrahim Electronics 9 (9), 1358, 2020 | 11 | 2020 |
Scalable parallel event-driven HDL simulation for multi-cores TB Ahmad, N Kim, B Min, A Kalia, M Ciesielski, S Yang 2012 International Conference on Synthesis, Modeling, Analysis and …, 2012 | 9 | 2012 |
Fast STA Prediction-based Gate-level Timing Simulation TB Ahmad, MJ Ciesielski Design and Test Europe, 2014 | 7 | 2014 |
An Approach to Multi-core Functional Gate-level Simulation Minimizing Synchronization and Communication Overheads TB Ahmad, M Ciesielski Microprocessor Test and Verification Conference MTVCON, 2013 | 7 | 2013 |
A fuzzy logic architecture for rehabilitation robotic systems Y Bouteraa, IB Abdallah, A ElMogy, A Ibrahim, U Tariq, T Ahmad INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL 15 (4), 2020 | 4 | 2020 |
Blockchain in internet-of-things: a necessity framework for security, reliability, transparency, immutability and liability U Tariq, A Ibrahim, T Ahmad, Y Bouteraa, A Elmogy IET Communications 13 (19), 3187-3192, 2019 | 3 | 2019 |
Fast time-parallel c-based event-driven rtl simulation TB Ahmad, M Ciesielski 17th International Symposium on Design and Diagnostics of Electronic …, 2014 | 3 | 2014 |
Efficient Parallel Semi-systolic Array Structure for Multiplication and Squaring in GF (2m) A Ibrahim, U Tariq, T Ahmad, A Elmogy, Y Bouteraa, F Gebali IEICE Electronics Express, 16.20190268, 2019 | 2 | 2019 |
Parallel Multi-core Verilog HDL Simulation using Domain Partitioning MJC Tariq B. Ahmad IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2014 | 1* | 2014 |
Supply Current Modeling and Analysis of Deep Sub-Micron CMOS Circuits TB Ahmad Masters Theses, 82, 2008 | 1 | 2008 |
Blockchain in IoT: a necessity framework for security, reliability, transparency, immutability and liability U Tariq, A Ibrahim, T Ahmad, Y Bouteraa, A Elmogy | 1 | |
Parallel Multi-core Verilog HDL Simulation TB Ahmad | | 2014 |
Application of Parallel Distributed Event Driven Simulation for Accelerating Hardware Verification SY Tariq B. Ahmad, M. Ciesielski, D. Kim Advances in Distributed and Parallel Computing, 54-59, 2012 | | 2012 |
Security and Privacy in Context-Aware Computing inside a Hospital TB Ahmad | | 2008 |
Parallel Multi-core Verilog HDL Simulation based on Domain Partitioning TB Ahmad, M Ciesielski | | |
OCB3 Block Specification TB Ahmad, P Rogaway | | |
GCM-AES Block Specification TB Ahmad | | |