Introducing Regulatory Compliance Requirements Engineering. - Shahbaz Ali; Jon G. Hall (ISSE, 2006)

Combining Model Learning and Model Checking to Analyze Java Libraries. - Shahbaz Ali; Hailong Sun 001; Yongwang Zhao (SOFL+MSVL, 2019)

Model Learning: A Survey on Foundation, Tools and Applications. - Shahbaz Ali; Hailong Sun 001; Yongwang Zhao (CoRR, 2019)

Bipolar Neutrosophic Dombi Aggregation Operators With Application in Multi-Attribute Decision Making Problems. - Muhammad Khalid Mahmood; Shouzhen Zeng; Muhammad Gulfam; Shahbaz Ali; Yun Jin (IEEE Access, 2020)

Complex Vague Graphs and Their Application in Decision-Making Problems. - Shouzhen Zeng; Muhammad Shoaib; Shahbaz Ali; Qamar Abbas; Muhammad Shahzad Nadeem (IEEE Access, 2020)

Belief and Possibility Belief Interval-Valued N-Soft Set and Their Applications in Multi-Attribute Decision-Making Problems. - Shahbaz Ali; Muneeba Kousar; Qin Xin 001; Dragan Pamucar; Muhammad Shazib Hameed; Rabia Fayyaz (Entropy, 2021)

Model learning: a survey of foundations, tools and applications. - Shahbaz Ali; Hailong Sun 001; Yongwang Zhao (Frontiers Comput. Sci., 2021)

Certain Properties of Single-Valued Neutrosophic Graph With Application in Food and Agriculture Organization. - Shouzhen Zeng; Muhammad Shoaib; Shahbaz Ali; Florentin Smarandache; Hossein Rashmanlou; Farshid Mofidnakhaei (Int. J. Comput. Intell. Syst., 2021)

New Dombi aggregation operators on bipolar neutrosophic set with application in multi-attribute decision-making problems. - Muhammad Gulfam; Muhammad Khalid Mahmood; Florentin Smarandache; Shahbaz Ali (J. Intell. Fuzzy Syst., 2021)

Model-Based Framework for exploiting sensors of IoT devices using a Botnet: A case study with Android. - Zubair Khaliq; Dawood Ashraf Khan; Asif Iqbal Baba; Shahbaz Ali; Sheikh Umar Farooq (CoRR, 2022)

Hex-Derived Molecular Descriptors via Generalized Valency-Based Entropies. - Muhammad Usman Ghani 004; Shahbaz Ali; Muhammad Imran 006; Hanen Karamti; Faisal Sultan; Musawa Yahya Almusawa (IEEE Access, 2023)

Characterizations of Chemical Networks Entropies by K-Banhatii Topological Indices. - Muhammad Usman Ghani 004; Francis Joseph H. Campena; Shahbaz Ali; Sanaullah Dehraj; Murat Cancan; Fahad M. Alharbi; Ahmed M. Galal (Symmetry, 2023)

Some Results on Submodules Using (μ, ν, ω)-Single-Valued Neutrosophic Environment. - Muhammad Shazib Hameed; Esmail Hassan Abdullatif Al-Sabri; Zaheer Ahmad; Shahbaz Ali; Muhammad Usman Ghani 004 (Symmetry, 2023)

On Rotationally Symmetrical Planar Networks and Their Local Fractional Metric Dimension. - Shahbaz Ali; Rashad Ismail; Francis Joseph H. Campena; Hanen Karamti; Muhammad Usman Ghani 004 (Symmetry, 2023)

On Sharp Bounds of Local Fractional Metric Dimension for Certain Symmetrical Algebraic Structure Graphs. - Amal S. Alali; Shahbaz Ali; Muhammad Adnan; Delfim F. M. Torres (Symmetry, 2023)

Fermatean fuzzy power Bonferroni aggregation operators and their applications to multi-attribute decision-making. - Chuanyang Ruan; Xiangjing Chen; Shouzhen Zeng; Shahbaz Ali; Bander Almutairi (Soft Comput., 2024)