Fadi Aloul
Fadi Aloul
Professor of Computer Engineering, American University of Sharjah, UAE
Verified email at aus.edu - Homepage
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
3422015
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
342*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
2932010
Two factor authentication using mobile phones
F Aloul, S Zahidi, W El-Hajj
2009 IEEE/ACS International Conference on Computer Systems and Applications …, 2009
2852009
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
2272002
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
2072006
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
2072006
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
2072006
Efficient Symmetry-Breaking for Boolean Satisfiability
KS F. Aloul, I. Markov
International Joint Conference on Artificial Intelligence, 2003
207*2003
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
1722008
Mobile RFID Tracking System
NF A. Al-Ali, F. Aloul, N. Aji, A. AlZarouni
IEEE International Conference on Information & Communication Technologies …, 2008
172*2008
A comparative study of two Boolean formulations of FPGA detailed routing constraints
GJ Nam, F Aloul, KA Sakallah, RA Rutenbar
IEEE Transactions on Computers 53 (6), 688-696, 2004
1642004
A Comparative Study of Two Boolean Formulations of FPGA Detailed Routing Constraints
RR G. Nam, F. Aloul, K. Sakallah
International Symposium on Physical Design, 2001
164*2001
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
1542002
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
1542002
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
1512012
Solving difficult SAT instances in the presence of symmetry
FA Aloul, A Ramani, IL Markov, KA Sakallah
Proceedings 2002 Design Automation Conference (IEEE Cat. No. 02CH37324), 731-736, 2002
1462002
Solving Difficult SAT Instances in the Presence of Symmetry
KS F. Aloul, A. Ramani, I. Markov
Design Automation Conference, 2002
146*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
146*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
1442003
The system can't perform the operation now. Try again later.
Articles 1–20