Executable Semantics for Compensating CSP. - Michael J. Butler; Shamim Ripon (EPEW/WS-FM, 2005)

PVS Embedding of cCSP Semantic Models and Their Relationship. - Shamim Ripon; Michael J. Butler (AVoCS, 2008)

Extending and relating semantic models of compensating CSP. - Shamim Ripon (2008)

Formalizing cCSP Synchronous Semantics in PVS - Shamim Ripon; Michael J. Butler (CoRR, 2010)

Deriving Relationship Between Semantic Models - An Approach for cCSP - Shamim Ripon; Michael J. Butler (CoRR, 2010)

Modelling Variability for System Families - Shamim Hasnat Ripon; Kamrul Hasan Talukder; M. Khademul Islam Molla (CoRR, 2010)

Verification of Symmetry Detection using PVS. - Shamim Ripon; Alice Miller 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Process algebraic support for web service composition. - Shamim Hasnat Ripon (ACM SIGSOFT Softw. Eng. Notes, 2010)

Vendor selection using genetic algorithm. - Shaila Sharmeen; Mohammad Ameer Ali; Shamim Ripon; Md. Humayun Kabir; Nikhil Chandra Shil (SCIS&ISIS, 2012)

Modeling and analysis of product-line variants. - Shamim Ripon; Keya Azad; Sk. Jahir Hossain; Mehidee Hassan (SPLC (2), 2012)

Adaptation Mechanism of iSCSI Protocol for NAS Storage Solution in Wireless Environment. - Shaikh Muhammad Allayear; Sung-Soon Park 001; Shamim Ripon; Gyeong-Hun Kim (WAIM Workshops, 2012)

UNL Based Bangla Natural Text Conversion - Predicate Preserving Parser Approach - Md. Nawab Yousuf Ali; Shamim Ripon; Shaikh Muhammad Allayear (CoRR, 2012)

A unified tabular method for modeling variants of software product line. - Shamim Ripon (ACM SIGSOFT Softw. Eng. Notes, 2012)

Circle of Trust: One-Hop-Trust-Based Security Paradigm for Resource-Constraint MANET. - K. M. Imtiaz-Ud-Din; Touhid Bhuiyan; Shamim Ripon (ICACNI, 2013)

Managing and Analysing Software Product Line Requirements. - Shamim Ripon; Sk. Jahir Hossain; Touhid Bhuiyan (CoRR, 2013)

Using Bayesian Networks to Model and Analyze Software Product Line Feature Model. - Musfiqur Rahman; Shamim Ripon (MIWAI, 2014)

Elicitation and Modeling Non-Functional Requirements - A POS Case Study. - Md. Mijanur Rahman; Shamim Ripon (CoRR, 2014)

Analysis Tool for UNL-Based Knowledge Representation. - Shamim Ripon; Aoyan Barua; Mohammad Salah Uddin (CoRR, 2014)

Logic Verification of Product-Line Variant Requirements. - Shamim Ripon; Sk. Jahir Hossain; Keya Azad; Mehidee Hassan (CoRR, 2014)

Verification of A Security Adaptive Protocol Suite Using SPIN. - Shamim Ripon; Sumaya Mahbub; K. M. Imtiaz-Ud-Din (CoRR, 2014)

Web Service Composition - BPEL vs cCSP Process Algebra. - Shamim Ripon; Mohammad Salah Uddin; Aoyan Barua (CoRR, 2014)

Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model. - Shamim Hasnat Ripon; Sk. Jahir Hossain; Moshiur Mahamud Piash (Int. J. Knowl. Syst. Sci., 2014)

A MapReduce approach to diminish imbalance parameters for big deoxyribonucleic acid dataset. - Md Sarwar Kamal; Shamim Hasnat Ripon; Nilanjan Dey; Amira S. Ashour; V. Santhi (Comput. Methods Programs Biomed., 2016)

Theoretical Analysis of Different Classifiers under Reduction Rough Data Set: A Brief Proposal. - Shamim Hasnat Ripon; Md Sarwar Kamal; Saddam Hossain; Nilanjan Dey (Int. J. Rough Sets Data Anal., 2016)

Evolutionary framework for coding area selection from cancer data. - Md Sarwar Kamal; Nilanjan Dey; Sonia Farhana Nimmy; Shamim Hasnat Ripon; Md. Nawab Yousuf Ali; Amira S. Ashour; Wahiba Ben Abdessalem Karaa; Gia Nhu Nguyen; Fuqian Shi (Neural Comput. Appl., 2018)

Automatic Acute Lymphoblastic Leukemia Detection and Comparative Analysis from Images. - Md. Nuruddin Qaisar Bhuiyan; Shantanu Kumar Rahut; Razwan Ahmed Tanvir; Shamim Ripon (CoDIT, 2019)

Predicting and Classifying Software Faults: A Data Mining Approach. - Shamse Tasnim Cynthia; Shamim Hasnat Ripon (ICCCM, 2019)

Tuberous Sclerosis Complex (TSC) Disease Prediction Using Optimized Convolutional Neural Network. - Md. Golam Sarowar; Fahima Qasim; Shamim Hasnat Ripon (ICCCM, 2019)

Effect of Feature Selection in Software Fault Detection. - Shamse Tasnim Cynthia; Md. Golam Rasul; Shamim Ripon (MIWAI, 2019)

Self-organizing mapping based swarm intelligence for secondary and tertiary proteins classification. - Md Sarwar Kamal; Md. Golam Sarowar; Nilanjan Dey; Amira S. Ashour; Shamim Hasnat Ripon; Bijaya Ketan Panigrahi; João Manuel R. S. Tavares (Int. J. Mach. Learn. Cybern., 2019)

An Analytical Evaluation of a Deep Learning Model to Detect Network Intrusion. - Md. Al Imran; Kazi Jahidur Rahaman; Mohammad Rasel; Shamim Hasnat Ripon (MIWAI, 2021)

A Biological Data-Driven Mining Technique by Using Hybrid Classifiers With Rough Set. - Linkon Chowdhury; Md Sarwar Kamal; Shamim Hasnat Ripon; Sazia Parvin; Omar Khadeer Hussain; Amira S. Ashour; Bristy Roy Chowdhury (Int. J. Ambient Comput. Intell., 2021)

Network Intrusion Detection: An Analytical Assessment Using Deep Learning and State-of-the-Art Machine Learning Models. - Md. Al Imran; Shamim Hasnat Ripon (Int. J. Comput. Intell. Syst., 2021)

Convolutional neural network-based ensemble methods to recognize Bangla handwritten character. - Mir Moynuddin Ahmed Shibly; Tahmina Akter Tisha; Tanzina Akter Tani; Shamim Ripon (PeerJ Comput. Sci., 2021)

Deep Learning Based Emotion Recognition Using EEG Signal. - Shamim Ripon; Tashfia Choudhury; Shabrina Akter Shara; Sharmin Sharkar Rima; Shaolin Jahan Aume (iiWAS, 2023)

A Deep Learning-Based Technique to Determine Various Stages of Alzheimer's Disease from 3D Brain MRI Images. - Tahzib-E.-Alindo; Pranto Kubi; Anika Islam; Md. Amir Hozaifa Bin Zaher; Shamim Hasnat Ripon (iiWAS, 2023)