Amjad Hawash

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 8

Top Topics

Decision Diagrams

Knowledge Compilation

Boolean Formula

Top Venues

J. Vis. Lang. Comput.

IEEE Trans. Evol. Comput.

Publications

Baker Abdalhaq, Amjad Hawash, Ahmed Awad
Diversity enforced Genetic Algorithm (GA) for Binary Decision Diagram (BDD) reordering. Appl. Soft Comput. 155 (2024)
Ahmed Awad, Amjad Hawash, Baker Abdalhaq
A Genetic Algorithm (GA) and Swarm-Based Binary Decision Diagram (BDD) Reordering Optimizer Reinforced With Recent Operators. IEEE Trans. Evol. Comput. 27 (3) (2023)
Enas Asmar, Saja Salahat, Farah Zubdeh, Amjad Hawash
Enhancing Users Collaboration By Vocal Annotations. SSD (2021)
Baker Abdalhaq, Ahmed Awad, Amjad Hawash
A Swarm based Binary Decision Diagram (BDD) Reordering Optimizer for Reversible Circuit Synthesis. DTIS (2020)
Baker Abdalhaq, Ahmed Awad, Amjad Hawash
Reversible Logic Synthesis Using Binary Decision Diagrams With Exploiting Efficient Reordering Operators. IEEE Access 8 (2020)
Qossay Ismail, Osama Saleh, Mohammed Hashayka, Ahmed Awad, Amjad Hawash, Othman Othman
Improve the Firewall Accuracy By using Dynamic Ontology. ICFNDS (2020)
Ahmed Awad, Baker Abdalhaq, Amjad Hawash, Douglas Johnson
A Comparative Analysis of Binary Decision Diagram Reordering Algorithms for Reversible Circuit Synthesis. SSCI (2018)
Danilo Avola, Paolo Bottoni, Amjad Hawash
Supporting group collaboration in an annotation system. J. Vis. Lang. Comput. 41 (2017)
Danilo Avola, Paolo Bottoni, Amjad Hawash
Relevance measures for the creation of groups in an annotation system. J. Vis. Lang. Comput. 25 (6) (2014)
Danilo Avola, Paolo Bottoni, Amjad Hawash
Relevance Measures for the Creation of Groups in an Annotation System. DMS (2014)
Maher Hawash, Marek A. Perkowski, Steve Bleiler, John S. Caughman IV, Amjad Hawash
Reversible Function Synthesis of Large Reversible Functions with No Ancillary Bits Using Covering Set Partitions. ITNG (2011)