| A generic model for formally verifying noc communication architectures: A case study D Borrione, A Helmy, L Pierre, J Schmaltz First International Symposium on Networks-on-Chip (NOCS'07), 127-136, 2007 | 51 | 2007 |
| A formal approach to the verification of networks on chip D Borrione, A Helmy, L Pierre, J Schmaltz EURASIP Journal on Embedded Systems 2009, 1-14, 2009 | 38 | 2009 |
| Study of massive floating solar panels over lake Nasser M Elshafei, A Ibrahim, A Helmy, M Abdallah, A Eldeib, M Badawy, ... Journal of Energy 2021 (1), 6674091, 2021 | 32 | 2021 |
| A Low Power CORDIC-Based Hardware Implementation of Izhikevich Neuron Model A Elnabawy, H Abdelmohsen, M Moustafa, M Elbediwy, A Helmy, ... The 16th IEEE International NEWCAS conference, 2018 | 20 | 2018 |
| Executable formal specification and validation of NoC communication infrastructures D Borrione, A Helmy, L Pierre, J Schmaltz Proceedings of the 21st annual symposium on Integrated circuits and system …, 2008 | 17 | 2008 |
| Fast and accurate PV model for SPICE simulation H Abdelhamid, A Edris, A Helmy, Y Ismail Journal of Computational Electronics 18 (1), 260-270, 2019 | 16 | 2019 |
| Theorem proving techniques for the formal verification of NoC communications with non-minimal adaptive routing A Helmy, L Pierre, A Jantsch 13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and …, 2010 | 16 | 2010 |
| ACL2-based Verification of the Communications in the Hermes Network on Chip D Borrione, A Helmy, L Pierre Proc. SMACD 6, 2006 | 6 | 2006 |
| Nephron-sparing surgery for renal tumors. A Helmy, AH Ibrahim Journal of the Egyptian National Cancer Institute 23 (2), 61-66, 2011 | 5 | 2011 |
| Hevc implementation for iot applications M Salah, BE El-Shweky, K ElKholy, A Helmy, Y Ismail, K Salah 2018 30th international conference on microelectronics (ICM), 295-298, 2018 | 4 | 2018 |
| High CMRR and wideband current-mode instrumentation amplifier using fully differential operational floating conveyor H ElGemmazy, A Helmy, H Mostafa, Y Ismail 2017 Japan-Africa Conference on Electronics, Communications and Computers …, 2017 | 4 | 2017 |
| VHDL Implementation of Maximum Power Point Tracking Algorithms AA Rezk, A Helmy, A Abdallah, Y Ismail IEEE International Conference on Electronics, Circuits, and Systems, 2013 | 4 | 2013 |
| A novel CMOS-based fully differential operational floating conveyor H ElGemmazy, A Helmy, H Mostafa, Y Ismail 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 604-608, 2017 | 3 | 2017 |
| TPQA: Three Point Quadrature Approximation MPPT Algorithm AM Marzouk, AA Abdelmoaty, A Helmy, Y Ismail IEEE International Conference on Electronics, Circuits, and Systems, 2013 | 2 | 2013 |
| Formal Verification of Communications in Networks-on-Chip D Borrione, A Helmy, L Pierre, J Schmaltz Networks-on-Chips: Theory and Practice, 250p., 2009 | 2 | 2009 |
| ASIC implementation of energy-optimized successive cancellation polar decoders for Internet of Things O Alsherbini, M Wael, E Fahmy, A Helmy, Y Ismail, K Salah 2018 30th International Conference on Microelectronics (ICM), 260-263, 2018 | 1 | 2018 |
| Dual output power management unit for a PV-battery hybrid energy system AA Rezk, A Helmy, Y Ismail 5th International Conference on Energy Aware Computing Systems …, 2015 | 1 | 2015 |
| VHDL implementation of a power management algorithm for PV-battery system AA Rezk, A Helmy, Y Ismail 5th International Conference on Energy Aware Computing Systems …, 2015 | 1 | 2015 |
| Redundancy and ECC Mechanisms to Improve Energy Efficiency of On-Die Interconnects A Helmy, AR Alameldeen International Conference on Energy Aware Computing, 2012 | 1 | 2012 |
| Networks-on-Chips: Theory and Practice D Borrione, A Helmy, L Pierre, J Schmaltz Sl: CRC Press, 2009 | 1 | 2009 |
Yehea IsmailProfessor, the American University in Cairo, zewail cityVerifisert e-postadresse på aucegypt.edu
