Obserwuj
Fadi Aloul
Tytuł
Cytowane przez
Cytowane przez
Rok
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
8882015
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
888*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
4042010
Two factor authentication using mobile phones
F Aloul, S Zahidi, W El-Hajj
2009 IEEE/ACS international conference on computer systems and applications …, 2009
4002009
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
2652012
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
The need for effective information security awareness
FA Aloul
Journal of advances in information technology 3 (3), 176-183, 2012
2232012
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
2022008
Mobile RFID Tracking System
NF A. Al-Ali, F. Aloul, N. Aji, A. AlZarouni
IEEE International Conference on Information & Communication Technologies …, 2008
202*2008
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1942006
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1942006
Efficient symmetry breaking for boolean satisfiability
FA Aloul, KA Sakallah, IL Markov
IEEE Transactions on Computers 55 (5), 549-558, 2006
1942006
Efficient Symmetry-Breaking for Boolean Satisfiability
KS F. Aloul, I. Markov
International Joint Conference on Artificial Intelligence, 2003
194*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
1932001
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
1692002
Solving Difficult SAT Instances in the Presence of Symmetry
KS F. Aloul, A. Ramani, I. Markov
Design Automation Conference, 2002
169*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
169*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
1672003
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
1672003
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
1632002
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20