| 2021 | ISCAS | Towards an Efficient Hardware Implementation of CNN-Based Object Trackers. | Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib |
| 2019 | IWCMC | Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation. | Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag E.-D. Habib |
| 2017 | DATE | Enhancing analog yield optimization for variation-aware circuits sizing. | Ons Lahiouel, Mohamed H. Zaki, Sofine Tahar |
| 2016 | ISCAS | Cross recurrence verification technique for process variation-resilient analog circuits. | Ibtissem Seghaier, Mohamed H. Zaki, Sofine Tahar |
| 2015 | DAC | Towards enhancing analog circuits sizing using SMT-based techniques. | Ons Lahiouel, Mohamed H. Zaki, Sofine Tahar |
| 2013 | UAI | Multiple Instance Learning by Discriminative Training of Markov Networks. | Hossein Hajimirsadeghi, Jinling Li, Greg Mori, Mohamed H. Zaki, Tarek Sayed |
| 2012 | DATE | Towards improving simulation of analog circuits using model order reduction. | Henda Aridhi, Mohamed H. Zaki, Sofine Tahar |
| 2012 | DATE | Verifying jitter in an analog and mixed signal design using dynamic time warping. | Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofine Tahar |
| 2011 | DATE | Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching. | Rajeev Narayanan, Mohamed H. Zaki, Sofine Tahar |
| 2010 | DATE | Formal verification of analog circuits in the presence of noise and process variation. | Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofine Tahar, Lawrence C. Paulson |
| 2009 | FMCAD | Formal verification of analog designs using MetiTarski. | William Denman, Behzad Akbarpour, Sofine Tahar, Mohamed H. Zaki, Lawrence C. Paulson |
| 2007 | DATE | A symbolic methodology for the verification of analog and mixed signal designs. | Ghiath Al Sammane, Mohamed H. Zaki, Sofine Tahar |
| 2007 | FDL | Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. | Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofine Tahar |
| 2007 | FMCAD | Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs. | Mohamed H. Zaki, Ghiath Al Sammane, Sofine Tahar, Guy Bois |
| 2007 | ICCS | Formal Verification of Analog and Mixed Signal Designs in Mathematica. | Mohamed H. Zaki, Ghiath Al Sammane, Sofine Tahar |
| 2007 | ISoLA | Qualitative Abstraction based Verification for Analog Circuits. | Mohamed H. Zaki, Sofine Tahar, Guy Bois |