| Adaptive multistage parallel interference cancellation for CDMA G Xue, J Weng, T Le-Ngoc, S Tahar IEEE Journal On selected areas in communications 17 (10), 1815-1827, 1999 | 209 | 1999 |
| Lyapunov-based adaptive state of charge and state of health estimation for lithium-ion batteries H Chaoui, N Golbon, I Hmouz, R Souissi, S Tahar IEEE Transactions on Industrial Electronics 62 (3), 1610-1618, 2014 | 187 | 2014 |
| Design and verification of SystemC transaction-level models A Habibi, S Tahar IEEE Transactions on Very Large Scale Integration (VLSI) Systems 14 (1), 57-68, 2006 | 157 | 2006 |
| Formal verification of analog and mixed signal designs: A survey MH Zaki, S Tahar, G Bois Microelectronics journal 39 (12), 1395-1404, 2008 | 149 | 2008 |
| A robust FSM watermarking scheme for IP protection of sequential circuit design A Cui, CH Chang, S Tahar, AT Abdel-Hamid IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2011 | 117 | 2011 |
| Detection and sizing of metal-loss defects in oil and gas pipelines using pattern-adapted wavelets and machine learning M Layouni, MS Hamdi, S Tahar Applied Soft Computing 52, 247-261, 2017 | 112 | 2017 |
| A survey on IP watermarking techniques AT Abdel-Hamid, S Tahar, EM Aboulhamid Design Automation for Embedded Systems 9, 211-227, 2004 | 111 | 2004 |
| Formal verification methods O Hasan, S Tahar Encyclopedia of Information Science and Technology, Third Edition, 7162-7170, 2015 | 104 | 2015 |
| On the formalization of the Lebesgue integration theory in HOL T Mhamdi, O Hasan, S Tahar Interactive Theorem Proving: First International Conference, ITP 2010 …, 2010 | 85 | 2010 |
| IP watermarking techniques: Survey and comparison AT Abdel-Hamid, S Tahar, EM Aboulhamid The 3rd IEEE International Workshop on System-on-Chip for Real-Time …, 2003 | 85 | 2003 |
| A public-key watermarking technique for IP designs AT Abdel-Hamid, S Tahar, EM Aboulhamid Design, Automation and Test in Europe, 330-335, 2005 | 72 | 2005 |
| Automated coverage directed test generation using a cell-based genetic algorithm A Samarah, A Habibi, S Tahar, N Kharma 2006 IEEE International High Level Design Validation and Test Workshop, 19-26, 2006 | 64 | 2006 |
| IP watermarking using incremental technology mapping at logic synthesis level A Cui, CH Chang, S Tahar IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008 | 59 | 2008 |
| Generating finite state machines from system C A Habibi, H Moinudeen, S Tahar Proceedings of the Design Automation & Test in Europe Conference 2, 1-6, 2006 | 57 | 2006 |
| Task scheduling in big data platforms: a systematic literature review M Soualhia, F Khomh, S Tahar Journal of Systems and Software 134, 170-189, 2017 | 55 | 2017 |
| Predicting scheduling failures in the cloud: A case study with google clusters and hadoop on amazon EMR M Soualhia, F Khomh, S Tahar 2015 IEEE 17th International Conference on High Performance Computing and …, 2015 | 52 | 2015 |
| Formal verification of the island tunnel controller using multiway decision graphs Z Zhou, X Song, S Tahar, E Cerny, F Corella, M Langevin Formal Methods in Computer-Aided Design: First International Conference …, 1996 | 52 | 1996 |
| Formalization of entropy measures in HOL T Mhamdi, O Hasan, S Tahar International Conference on Interactive Theorem Proving, 233-248, 2011 | 51 | 2011 |
| A machine learning approach for big data in oil and gas pipelines A Mohamed, MS Hamdi, S Tahar 2015 3rd International Conference on Future Internet of Things and Cloud …, 2015 | 49 | 2015 |
| A symbolic methodology for the verification of analog and mixed signal designs G Al-Sammane, MH Zaki, S Tahar 2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007 | 48 | 2007 |
Mohamed H. ZakiWestern University在 uwo.ca 的电子邮件经过验证
