Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. - Jennifer Gillenwater; Gregory Malecha; Cherif R. Salama; Angela Yun Zhu; Walid Taha; Jim Grundy; John O'Leary (PEPM, 2008)

Mathematical equations as executable models of mechanical systems. - Angela Yun Zhu; Edwin M. Westbrook; Jun Inoue 001; Alexandre Chapoutot; Cherif R. Salama; Marisa Linnea Peralta; Travis Martin; Walid Taha; Marcia K. O'Malley; Robert Cartwright; Aaron D. Ames; Raktim Bhattacharya (ICCPS, 2010)

Synthesizable High Level Hardware Descriptions. - Jennifer Gillenwater; Gregory Malecha; Cherif R. Salama; Angela Yun Zhu; Walid Taha; Jim Grundy; John O'Leary (New Gener. Comput., 2010)

Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. - Cherif R. Salama; Gregory Malecha; Walid Taha; Jim Grundy; John O'Leary (High. Order Symb. Comput., 2011)

Pin-Count and Wire Length Optimization for Electrowetting-on-Dielectric Chips: A Metaheuristics-Based Routing Algorithm. - Mohamed N. Ibrahim; Cherif R. Salama; M. Watheq El-Kharashi; Ayman Wahba (Computational Intelligence in Digital and Network Designs and Applications, 2015)

Enhanced Genetic Algorithm for MC/DC test data generation. - Ahmed El-Serafy; Ghada El-Sayed; Cherif R. Salama; Ayman Wahba (INISTA, 2015)

Optimization of Generated Test Data for MC/DC. - Ghada El-Sayed; Cherif R. Salama; Ayman Wahba (SoMeT, 2015)

Automatic Test Data Generation Targeting Hybrid Coverage Criteria. - Ahmed El-Serafy; Cherif R. Salama; Ayman Wahba (SoMeT, 2015)

ASU: An Experimental Study on Applying Deep Learning in Twitter Named Entity Recognition. - Michel Naim Gerguis; Cherif R. Salama; M. Watheq El-Kharashi (NUT@COLING, 2016)

WikiTrends: Unstructured Wikipedia-Based Text Analytics Framework. - Michel Naim Gerguis; Cherif R. Salama; M. Watheq El-Kharashi (NLDB, 2017)

Optimizing Self-Organizing Maps Parameters Using Genetic Algorithm: A Simple Case Study. - Reham Fathy M. Ahmed; Cherif R. Salama; Hani Mahdi 001 (AISI, 2019)

A Universal Model for Defective Classes Prediction Using Different Object-Oriented Metrics Suites. - Farida A. Mohamed; Cherif R. Salama; Ahmed H. Yousef; Ashraf M. Salem (NILES, 2020)

EdgeSumm: Graph-based framework for automatic text summarization. - Wafaa S. El-Kassas; Cherif R. Salama; Ahmed A. Rafea; Hoda K. Mohamed 001 (Inf. Process. Manag., 2020)

Dynamic and Reliable Multichannel Interfacing System for FPGAs. - Salma K. Elsokkary; Salma M. Soliman; Nada Badawy; Cherif R. Salama; Hassanein H. Amer; Gehad I. Alkady; Ihab Adly (EUROCON, 2021)

Automatic text summarization: A comprehensive survey. - Wafaa S. El-Kassas; Cherif R. Salama; Ahmed A. Rafea; Hoda K. Mohamed 001 (Expert Syst. Appl., 2021)

Effect of Transient Failures on FPGA-based Heterogeneous Multicore System Scheduling. - Kareem A. Alansary; Hassanein H. Amer; Cherif R. Salama (NILES, 2022)

CNN Acceleration Through Flexible Distribution of Computations Between a Hardwired Processor and an FPGA. - Salma K. Elsokkary; Mohamed Taher; Hassanein H. Amer; Cherif R. Salama (NILES, 2022)

Studying the Effect of Preprocessing on Simultaneous Localization and Mapping in Low-Light Conditions. - Mohamed Mohamed 009; Mahmoud I. Khalil; Cherif R. Salama (NILES, 2022)

Dynamic thread mapping for power-efficient many-core systems under performance constraints. - Veronia Iskandar; Cherif R. Salama; Mohamed Taher (Microprocess. Microsystems, 2022)

FPGA Accelerated CNN Inference and Online Retraining for UAVs with Minimal Power and Performance Overhead. - Beatrice Shokry; Hassanein H. Amer; Salma K. Elsokkary; Ramez M. Daoud; Cherif R. Salama (ETFA, 2023)

RT-YOSO: Revisiting YOSO for Real-time Panoptic Segmentation. - Abdallah Ammar; Mahmoud I. Khalil; Cherif R. Salama (NILES, 2023)

Detection of Cyberbullying in Arabic using Machine Learning and ChatGPT. - Ahmed Sadek; Mahmoud I. Khalil; Cherif R. Salama (NILES, 2023)

Generating Synthetic Layout Test Patterns using Deep Learning. - Adel Mahmoud; M. Watheq El-Kharashi; Cherif R. Salama (J. Electron. Test., 2024)

Low Overhead FPGA-based RISC-V Resilient To Upsets In User Bits. - Ahmed Fayez Elsousy; A. Osama; H. E. Omar; H. M. Hassan; Gehad I. Alkady; Ramez M. Daoud; Hassanein H. Amer; Cherif R. Salama; Dina G. Mahmoud (MECO, 2025)