default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMohamed H. Zaki
Person information
- affiliation: Concordia University, Faculty of Engineering and Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j16]Kazi Redwan Shabab
, Shakib Mustavee, Shaurya Agarwal, Mohamed H. Zaki, Sajal K. Das:
Dynamic mode decomposition type algorithms for modeling and predicting queue lengths at signalized intersections with short lookback. J. Intell. Transp. Syst. 28(5): 741-755 (2024)- [j15]Zijin Wang, Mohamed A. Abdel-Aty, Lishengsa Yue, Jiahao Zhu, Ou Zheng, Mohamed H. Zaki:
Investigating the Effects of Human-Machine Interface on Cooperative Driving Using a Multi-Driver Co-Simulation Platform. IEEE Trans. Intell. Veh. 9(1): 2808-2821 (2024) - [c28]Alaa Torkey, Mohamed H. Zaki, Ashraf A. El Damatty:
Emergency Management Plan for Electric Vehicles During Floods Using Daily Routing Patterns. SM 2024: 183-188 - [c27]Ahmed ElNawawy, Jinhyung Lee, Mohamed H. Zaki:
Optimizing Smart Bike-Sharing Station Placement Near Public Transit Stops Using GIS: A Case Study of London, Ontario. SM 2024: 203-208 - [c26]Oumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar:
Formal Analysis of Vehicular Crash Severity Using KeYmaera X. SCSS 2024: 1-19 - 2022
- [j14]Saumya Gupta, Mohamed H. Zaki, Adan Vela:
Generative Modeling of Pedestrian Behavior: A Receding Horizon Optimization-Based Trajectory Planning Approach. IEEE Access 10: 81624-81641 (2022) - [j13]Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib:
An efficient hardware implementation of CNN-based object trackers for real-time applications. Neural Comput. Appl. 34(22): 19937-19952 (2022) - 2021
- [c25]Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib:
Towards an Efficient Hardware Implementation of CNN-Based Object Trackers. ISCAS 2021: 1-5 - [i4]Kazi Redwan Shabab, Shakib Mustavee, Shaurya Agarwal, Mohamed H. Zaki, Sajal Das:
Exploring DMD-type Algorithms for Modeling Signalised Intersections. CoRR abs/2107.06369 (2021) - [i3]Mariam Nour, Mohamed H. Zaki:
Towards formalization and monitoring of microscopic traffic parameters using temporal logic. CoRR abs/2110.06208 (2021) - 2020
- [j12]Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki:
Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. IEEE Access 8: 27291-27307 (2020) - [j11]Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
Mating Sensitivity Analysis and Statistical Verification for Efficient Yield Estimation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(2): 294-307 (2020)
2010 – 2019
- 2019
- [c24]Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag E.-D. Habib:
Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation. IWCMC 2019: 1476-1481 - [i2]Al-Hussein A. El-Shafie, Mohamed H. Zaki, Serag El-Din Habib:
Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation. CoRR abs/1901.02620 (2019) - 2018
- [j10]Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar:
Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(3): 517-530 (2018) - [j9]Mohamed H. Zaki, Tarek Sayed:
Automated Analysis of Pedestrian Group Behavior in Urban Settings. IEEE Trans. Intell. Transp. Syst. 19(6): 1880-1889 (2018) - 2017
- [j8]Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Exploiting bounds optimization for the semi-formal verification of analog circuits. Integr. 59: 135-147 (2017) - [c23]Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar:
Enhancing analog yield optimization for variation-aware circuits sizing. DATE 2017: 1273-1276 - 2016
- [j7]Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation. IEEE Trans. Very Large Scale Integr. Syst. 24(3): 1036-1049 (2016) - [c22]Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
Cross recurrence verification technique for process variation-resilient analog circuits. ISCAS 2016: 1294-1297 - 2015
- [c21]Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar:
Towards enhancing analog circuits sizing using SMT-based techniques. DAC 2015: 171:1-171:6 - [c20]Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
Statistically Validating the Impact of Process Variations on Analog and Mixed Signal Designs. ACM Great Lakes Symposium on VLSI 2015: 99-102 - [c19]Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
A Statistical Approach to Probe Chaos from Noise in Analog and Mixed Signal Designs. ISVLSI 2015: 237-242 - 2014
- [c18]Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
A semi-formal approach for analog circuits behavioral properties verification. ACM Great Lakes Symposium on VLSI 2014: 247-248 - [c17]Paul Winkler, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Generation of reduced analog circuit models using transient simulation traces. ACM Great Lakes Symposium on VLSI 2014: 305-310 - [c16]Ibtissem Seghaier, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
A qualitative simulation approach for verifying PLL locking property. ACM Great Lakes Symposium on VLSI 2014: 317-322 - [c15]Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Enablingy the DC solutions characterization using a fuzzy approach. NEWCAS 2014: 161-164 - 2013
- [j6]Mohamed H. Zaki, Tarek Sayed, Greg Mori:
Classifying Road Users in Urban Scenes Using Movement Patterns. J. Comput. Civ. Eng. 27(4): 395-406 (2013) - [j5]Rajeev Narayanan, Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation. IEEE Trans. Very Large Scale Integr. Syst. 21(10): 1811-1822 (2013) - [c14]Hossein Hajimirsadeghi, Jinling Li, Greg Mori, Mohamed H. Zaki, Tarek Sayed:
Multiple Instance Learning by Discriminative Training of Markov Networks. UAI 2013 - [i1]Hossein Hajimirsadeghi, Jinling Li, Greg Mori, Mohamed H. Zaki, Tarek Sayed:
Multiple Instance Learning by Discriminative Training of Markov Networks. CoRR abs/1309.6833 (2013) - 2012
- [c13]Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Towards improving simulation of analog circuits using model order reduction. DATE 2012: 1337-1342 - [c12]Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofiène Tahar:
Verifying jitter in an analog and mixed signal design using dynamic time warping. DATE 2012: 1413-1416 - [c11]Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofiène Tahar:
Using LCSS algorithm for circuit level verification of analog designs. NEWCAS 2012: 185-188 - 2011
- [j4]William Denman, Mohamed H. Zaki, Sofiène Tahar:
Formal verification of bond graph modelled analogue circuits. IET Circuits Devices Syst. 5(3): 243-255 (2011) - [c10]Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar:
Ensuring correctness of analog circuits in presence of noise and process variations using pattern matching. DATE 2011: 1188-1191 - [c9]William Denman, Mohamed H. Zaki, Sofiène Tahar, Luis Rodrigues:
Towards Flight Control Verification Using Automated Theorem Proving. NASA Formal Methods 2011: 89-100 - 2010
- [j3]Rajeev Narayanan, Mohamed H. Zaki, Sofiène Tahar:
Using Stochastic Differential Equation for Verification of Noise in Analog/RF Circuits. J. Electron. Test. 26(1): 97-109 (2010) - [c8]Rajeev Narayanan, Behzad Akbarpour, Mohamed H. Zaki, Sofiène Tahar, Lawrence C. Paulson:
Formal verification of analog circuits in the presence of noise and process variation. DATE 2010: 1309-1312
2000 – 2009
- 2009
- [j2]Mohamed H. Zaki, William Denman, Sofiène Tahar, Guy Bois:
Integrating Abstraction Techniques for Formal Verification of Analog Designs. J. Aerosp. Comput. Inf. Commun. 6(5): 373-392 (2009) - [c7]William Denman, Behzad Akbarpour, Sofiène Tahar, Mohamed H. Zaki, Lawrence C. Paulson:
Formal verification of analog designs using MetiTarski. FMCAD 2009: 93-100 - 2008
- [j1]Mohamed H. Zaki, Sofiène Tahar, Guy Bois:
Formal verification of analog and mixed signal designs: A survey. Microelectron. J. 39(12): 1395-1404 (2008) - 2007
- [c6]Ghiath Al Sammane, Mohamed H. Zaki, Sofiène Tahar:
A symbolic methodology for the verification of analog and mixed signal designs. DATE 2007: 249-254 - [c5]Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofiène Tahar:
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. FDL 2007: 293-298 - [c4]Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar, Guy Bois:
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs. FMCAD 2007: 207-215 - [c3]Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar:
Formal Verification of Analog and Mixed Signal Designs in Mathematica. International Conference on Computational Science (2) 2007: 263-267 - [c2]Mohamed H. Zaki, Sofiène Tahar, Guy Bois:
Qualitative Abstraction based Verification for Analog Circuits. ISoLA 2007: 147-158 - 2006
- [c1]Mohamed H. Zaki, Sofiène Tahar, Guy Bois:
A practical approach for monitoring analog circuits. ACM Great Lakes Symposium on VLSI 2006: 330-335
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
