Programming with monadic CSP-style processes in dependent type theory. - Bashar Igried; Anton Setzer (TyDe@ICFP, 2016)

Defining Trace Semantics for CSP-Agda. - Bashar Igried; Anton Setzer (TYPES, 2016)

Trace and Stable Failures Semantics for CSP-Agda. - Bashar Igried; Anton Setzer (CoALP-Ty, 2016)

Formal Verification for Feature-Based Composition of Workflows. - Stephan Adelsberger; Bashar Igried; Markus Moser; Vadim Savenkov; Anton Setzer (EDCC, 2018)

Machine learning Scheme for Managing Virtual Computing Resources in Cloud Market. - Bashar Igried; Ayoub Alsarhan; Mohammad Alauthman; Ammar Almomani (ACIT, 2022)

A New Scheme for Detecting Malicious Nodes in Vehicular Ad Hoc Networks Based on Monitoring Node Behavior. - Muhsen Alkhalidy; Atalla Fahed Al-Serhan; Ayoub Alsarhan; Bashar Igried (Future Internet, 2022)

Enhancing Phishing URL Detection: A Comparative Study of Machine Learning Algorithms. - Ayoub Alsarhan; Bashar Igried; Raad Mohammad Bani Saleem; Mohammad Alauthman; Mohammad Aljaidi (AIMLR, 2023)

Efficient Scanning Activity Detection in IoT Networks Using Ensemble Learning. - Bashar Igried; Mohammad Alauthman; Mohammad Al Khaldy; Ayoub Alsarhan (AIMLR, 2023)

Machine Learning Failure-Aware Scheme for Profit Maximization in the Cloud Market. - Bashar Igried; Atalla Fahed Al-Serhan; Ayoub Alsarhan; Mohammad Aljaidi; Amjad Aldweesh (Future Internet, 2023)

Improved dropping attacks detecting system in 5g networks using machine learning and deep learning approaches. - Ala Mughaid; Shadi AlZu'bi; Asma Alnajjar; Esraa AbuElsoud; Subhieh El-Salhi; Bashar Igried; Laith Abualigah (Multim. Tools Appl., 2023)

Correction to: Improved dropping attacks detecting system in 5g networks using machine learning and deep learning approaches. - Ala Mughaid; Shadi AlZu'bi; Asma Alnajjar; Esraa AbuElsoud; Subhieh El-Salhi; Bashar Igried; Laith Abualigah (Multim. Tools Appl., 2023)

A novel game theoretic approach for market-driven dynamic spectrum access in cognitive radio networks. - Bashar Igried; Ayoub Alsarhan; Ahmad Sawalmeh; Muhammad Anan; Igried Alkhawaldeh (Wirel. Networks, 2024)