Follow
Fadi Aloul
Title
Cited by
Cited by
Year
Internet of things (IoT) security: Current status, challenges and prospective measures
R Mahmoud, T Yousuf, F Aloul, I Zualkernan
2015 10th international conference for internet technology and secured …, 2015
8382015
Internet of Things (IoT) Security: Current Status, Challenges and Prospective Measures
IZ R. Mahmoud, T. Yousuf, F. Aloul
IEEE International Conference for Internet Technology and Secured Transactions, 2015
838*2015
A mobile GPRS-sensors array for air pollution monitoring
AR Al-Ali, I Zualkernan, F Aloul
IEEE Sensors Journal 10 (10), 1666-1671, 2010
3982010
Two factor authentication using mobile phones
F Aloul, S Zahidi, W El-Hajj
2009 IEEE/ACS international conference on computer systems and applications …, 2009
3792009
Generic ILP versus specialized 0-1 ILP: An update
FA Aloul, A Ramani, IL Markov, KA Sakallah
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided …, 2002
2652002
Smart grid security: Threats, vulnerabilities and solutions
F Aloul, AR Al-Ali, R Al-Dalky, M Al-Mardini, W El-Hajj
International Journal of Smart Grid and Clean Energy 1 (1), 1-6, 2012
2592012
The need for effective information security awareness
FA Aloul
Journal of advances in information technology 3 (3), 176-183, 2012
2062012
Mobile RFID tracking system
AR Al-Ali, FA Aloul, NR Aji, AA Al-Zarouni, NH Fakhro
2008 3rd international conference on information and communication …, 2008
2032008
Mobile RFID Tracking System
NF A. Al-Ali, F. Aloul, N. Aji, A. AlZarouni
IEEE International Conference on Information & Communication Technologies …, 2008
203*2008
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1912006
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1912006
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1912006
Efficient Symmetry-Breaking for Boolean Satisfiability
KS F. Aloul, I. Markov
International Joint Conference on Artificial Intelligence, 2003
191*2003
A comparative study of two Boolean formulations of FPGA detailed routing constraints
GJ Nam, F Aloul, K Sakallah, R Rutenbar
Proceedings of the 2001 international symposium on Physical design, 222-227, 2001
1892001
Solving difficult SAT instances in the presence of symmetry
FA Aloul, A Ramani, IL Markov, KA Sakallah
Proceedings of the 39th annual Design Automation Conference, 731-736, 2002
1682002
Solving Difficult SAT Instances in the Presence of Symmetry
KS F. Aloul, A. Ramani, I. Markov
Design Automation Conference, 2002
168*2002
Solving Difficult SAT Instances in the Presence of Symmetry
KS F. Aloul, A. Ramani, I. Markov
Symposium on the Theory and Applications of Satisfiability Testing, 2002
168*2002
Solving difficult instances of boolean satisfiability in the presence of symmetry
FA Aloul, A Ramani, IL Markov, KA Sakallah
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2003
1662003
Solving difficult instances of boolean satisfiability in the presence of symmetry
FA Aloul, A Ramani, IL Markov, KA Sakallah
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2003
1662003
PBS: a backtrack-search pseudo-boolean solver and optimizer
FA Aloul, A Ramani, I Markov, K Sakallah
Proceedings of the 5th International Symposium on Theory and Applications of …, 2002
1622002
The system can't perform the operation now. Try again later.
Articles 1–20