Fadi Aloul
Fadi Aloul
Professor of Computer Engineering, American University of Sharjah, UAE
Verified email at aus.edu - Homepage
TitleCited byYear
A mobile GPRS-sensors array for air pollution monitoring
AR Al-Ali, I Zualkernan, F Aloul
IEEE Sensors Journal 10 (10), 1666-1671, 2010
2642010
Two factor authentication using mobile phones
F Aloul, S Zahidi, W El-Hajj
2009 IEEE/ACS International Conference on Computer Systems and Applications …, 2009
2532009
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
2242002
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
2132015
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
213*2015
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
1802008
Mobile RFID Tracking System
NF A. Al-Ali, F. Aloul, N. Aji, A. AlZarouni
IEEE International Conference on Information & Communication Technologies …, 2008
180*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
1652004
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
165*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
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
1512002
Solving Difficult SAT Instances in the Presence of Symmetry
KS F. Aloul, A. Ramani, I. Markov
Design Automation Conference, 2002
151*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
151*2002
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1482006
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1482006
Efficient Symmetry-Breaking for Boolean Satisfiability
KS F. Aloul, I. Markov
International Joint Conference on Artificial Intelligence, 2003
148*2003
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
1422003
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
1422003
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
1312012
The system can't perform the operation now. Try again later.
Articles 1–20