| 2010 | AICCSA | Management scheme for intelligent terminals for the information super-highways. | Hazem El-Gendy, Osman Ibrahim, Nabil El-Kadhi, Narayan C. Debnath |
| 2009 | AICCSA | Towards mosques management information system. | Hazem El-Gendy, Ahmed Samir, Mahmoud Gebriel, Narayan C. Debnath, Nabil El-Kadhi |
| 2009 | MDM | Security Ontology Proposal for Mobile Applications. | Sofien Beji, Nabil El-Kadhi |
| 2009 | NSS | Distributed Agent Architecture for Intrusion Detection Based on New Metrics. | Farah Barika Ktata, Nabil El-Kadhi, Khaled Ghdira |
| 2008 | CATA | Formal Automated Transformation of SDL Specifications to Estelle Specifications. | Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath |
| 2008 | ISCC | Formal automated transformation of SDL specifications to Lotos specifications. | Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath |
| 2008 | ISCC | Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques. | Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath |
| 2007 | ICDCIT | Relation Extraction and Validation Algorithm. | Lobna Karoui, Nabil El-Kadhi |