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
2552010
Two factor authentication using mobile phones
F Aloul, S Zahidi, W El-Hajj
2009 IEEE/ACS International Conference on Computer Systems and Applications …, 2009
2412009
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
2232002
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
1972015
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
197*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
1932008
Mobile RFID Tracking System
NF A. Al-Ali, F. Aloul, N. Aji, A. AlZarouni
IEEE International Conference on Information & Communication Technologies …, 2008
193*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
1612004
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
161*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
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 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
1482002
Solving Difficult SAT Instances in the Presence of Symmetry
KS F. Aloul, A. Ramani, I. Markov
Design Automation Conference, 2002
148*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
148*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
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
Current and future trends in sensor networks: a survey
M Aboelaze, F Aloul
Second IFIP International Conference on Wireless and Optical Communications …, 2005
1252005
The system can't perform the operation now. Try again later.
Articles 1–20