Fadi A. Aloul
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
21
Active years
2000–2025
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EDUCON | Empowering Women in Engineering: The American University of Sharjah Experience. | Vian Ahmed, Assim Sagahyroon, Fadi A. Aloul |
| 2024 | EDUCON | Competitive and Funded Undergraduate Research: A Case Study. | Assim Sagahyroon, Fadi A. Aloul |
| 2021 | CIT | Network Intrusion Detection on the IoT Edge Using Adversarial Autoencoders. | Fadi A. Aloul, Imran A. Zualkernan, Nada Abdalgawad, Lana Alhaj Hussain, Dara Sakhnini |
| 2020 | ICALT | Little Genius: An Experiment in Internet of Tangible Learning Things. | Imran A. Zualkernan, Fadi A. Aloul, Eilaf Algebail, Mohamed El Refaay, Abdulkarim Ali, Omar El Sabaa |
| 2020 | ICONIP | CDMC'19 - The 10th International Cybersecurity Data Mining Competition. | Shaoning Pang, Tao Ban, Youki Kadobayashi, Jungsuk Song, Kaizhu Huang, Geongsen Poh, Iqbal Gondal, Kitsuchart Pasupa, Fadi A. Aloul |
| 2019 | BIBE | Detecting Heart Anomalies Using Mobile Phones and Machine Learning. | Elhoussine Talab, Omar Mohamed, Labeeba Begum, Fadi A. Aloul, Assim Sagahyroon |
| 2018 | HealthCom | Brokering Services for Integrating Health Cloud Platforms for Remote Patient Monitoring. | Raafat Aburukba, Assim Sagahyroon, Fadi A. Aloul, Niha Thodika |
| 2017 | HealthCom | AutiAid: A learning mobile application for autistic children. | Raafat Aburukba, Fadi A. Aloul, Anam Mahmoud, Kamil Kamili, Suad Ajmal |
| 2016 | HealthCom | ParkNosis: Diagnosing Parkinson's disease using mobile phones. | Abdulwahab Sahyoun, Karim Chehab, Osama Al-Madani, Fadi A. Aloul, Assim Sagahyroon |
| 2016 | HealthCom | Emotion recognition using mobile phones. | Shams Shapsough, Ahmed Hesham, Youssef Elkhorazaty, Imran A. Zualkernan, Fadi A. Aloul |
| 2016 | IIWAS | Cultural and psychological factors in cyber-security. | Tzipora Halevi, Nasir D. Memon, James Lewis, Ponnurangam Kumaraguru, Sumit Arora, Nikita Dagar, Fadi A. Aloul, Jay Chen |
| 2015 | BIBE | Security of mobile health (mHealth) systems. | Fatma Zubaydi, Ayat Saleh, Fadi A. Aloul, Assim Sagahyroon |
| 2013 | BIBE | On the use of smartphones for detecting obstructive sleep apnea. | Mamoun Al-Mardini, Fadi A. Aloul, Assim Sagahyroon, Luai Al-Husseini |
| 2013 | IWCMC | Framework for creating realistic port scanning benchmarks. | Mustafa Al-Tamimi, Wassim El-Hajj, Fadi A. Aloul |
| 2012 | HealthCom | Sleep Apnea Monitoring using mobile phones. | Shamma Alqassim, Madhumeta Ganesh, Shaheen Khoja, Meher Zaidi, Fadi A. Aloul, Assim Sagahyroon |
| 2012 | IWCMC | Using SAT & ILP techniques to solve enhanced ILP formulations of the Clustering Problem in MANETS. | Syed Zahidi, Fadi A. Aloul, Assim Sagahyroon, Wassim El-Hajj |
| 2010 | CISS | Transmission coordination for ad hoc networks. | Ananth V. Kini, Steven Weber, Fadi A. Aloul, Nagarajan Kandasamy |
| 2009 | AICCSA | Two factor authentication using mobile phones. | Fadi A. Aloul, Syed Zahidi, Wassim El-Hajj |
| 2009 | MOMM | Using mobiles for on campus location tracking. | Fadi A. Aloul, Assim Sagahyroon, A. Al-Shami, I. Al-Midfa, R. Moutassem |
| 2009 | WCNC | PN code acquisition using Boolean satisfiability techniques. | Fadi A. Aloul, Mohamed G. El-Tarhuni |
| 2007 | SAT | Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach. | Fadi A. Aloul, Nagarajan Kandasamy |
| 2006 | AICCSA | Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques. | Fadi A. Aloul, Assim Sagahyroon, Bashar Al-Rawi |
| 2006 | ICRA | Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots. | Nagarajan Kandasamy, Fadi A. Aloul, Tak-John Koo |
| 2006 | ISCAS | Estimation of the weighted maximum switching activity in combinational CMOS circuits. | Fadi A. Aloul, Assim Sagahyroon |
| 2005 | ASPDAC | Dynamic symmetry-breaking for improved Boolean optimization. | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
| 2004 | ASPDAC | ShatterPB: symmetry-breaking for pseudo-Boolean formulas. | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
| 2004 | DATE | Breaking Instance-Independent Symmetries in Exact Graph Coloring. | Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
| 2003 | DAC | Shatter: efficient symmetry-breaking for boolean satisfiability. | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
| 2003 | IJCAI | Efficient Symmetry Breaking for Boolean Satisfiability. | Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov |
| 2002 | DAC | Solving difficult SAT instances in the presence of symmetry. | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
| 2002 | DAC | Satometer: how much have we searched? | Fadi A. Aloul, Brian D. Sierawski, Karem A. Sakallah |
| 2002 | DATE | Search-Based SAT Using Zero-Suppressed BDDs. | Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah |
| 2002 | ICCAD | Generic ILP versus specialized 0-1 ILP: an update. | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
| 2002 | ICCD | Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering. | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
| 2001 | DAC | Scalable Hybrid Verification of Complex Microprocessors. | Maher N. Mneimneh, Fadi A. Aloul, Christopher T. Weaver, Saugata Chatterjee, Karem A. Sakallah, Todd M. Austin |
| 2001 | ICCAD | Faster SAT and Smaller BDDs via Common Function Structure. | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
| 2000 | DATE | An Experimental Study of Satisfiability Search Heuristics. | Karem A. Sakallah, Fadi A. Aloul, Joo P. Marques Silva |