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
7542015
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
754*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
3842010
Two factor authentication using mobile phones
F Aloul, S Zahidi, W El-Hajj
2009 IEEE/ACS international conference on computer systems and applications …, 2009
3722009
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
2602002
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
2412012
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
2042008
Mobile RFID Tracking System
NF A. Al-Ali, F. Aloul, N. Aji, A. AlZarouni
IEEE International Conference on Information & Communication Technologies …, 2008
204*2008
The need for effective information security awareness
FA Aloul
Journal of advances in information technology 3 (3), 176-183, 2012
1912012
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
1882001
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
1882001
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1822006
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1822006
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1822006
Efficient Symmetry-Breaking for Boolean Satisfiability
KS F. Aloul, I. Markov
International Joint Conference on Artificial Intelligence, 2003
182*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
1622003
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
1622003
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
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
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
1582002
The system can't perform the operation now. Try again later.
Articles 1–20