Login / Signup
A. Salem
Publication Activity (10 Years)
Years Active: 1999-2021
Publications (10 Years): 1
Top Topics
Genetic Programming
High Speed
Multi Objective Optimization Problems
Top Venues
Appl. Soft Comput.
</>
Publications
</>
H. Hegab
,
A. Salem
,
Shahryar Rahnamayan
,
H. A. Kishawy
Analysis, modeling, and multi-objective optimization of machining Inconel 718 with nano-additives based minimum quantity coolant.
Appl. Soft Comput.
108 (2021)
A. Salem
Semi-formal verification of VHDL-AMS descriptions.
ISCAS (5)
(2002)
Sherief Reda
,
A. Salem
Combinational equivalence checking using Boolean satisfiability and binary decision diagrams.
DATE
(2001)
Mohamed Taher
,
A. Salem
,
H. Mahdi
,
A. Wahdan
An oscillating algorithm for variable ordering in binary decision diagram.
ICECS
(2000)
A. Salem
,
R. Leigh
Allowing open participation by corporations in IEEE standards activities.
IEEE Technol. Soc. Mag.
18 (2) (1999)