A Simple, Fast, Filter-Based Algorithm for Circular Sequence Comparison. - Md. Aashikur Rahman Azim; Mohimenul Kabir; M. Sohel Rahman (WALCOM, 2018)

ADACT: a tool for analysing (dis)similarity among nucleotide and protein sequences using minimal and relative absent words. - Mujtahid Akon; Muntashir Akon; Mohimenul Kabir; Mohammad Saifur Rahman 001; M. Sohel Rahman (Bioinform., 2021)

ApproxASP - a Scalable Approximate Answer Set Counter. - Mohimenul Kabir; Flavio O. Everardo; Ankit K. Shukla; Markus Hecher; Johannes Klaus Fichte; Kuldeep S. Meel (AAAI, 2022)

A Fast and Accurate ASP Counting Based Network Reliability Estimator. - Mohimenul Kabir; Kuldeep S. Meel (LPAR, 2023)

Image Contrast Enhancement using Fuzzy Technique with Parameter Determination using Metaheuristics. - Mohimenul Kabir; Jaiaid Mobin; Ahmad B. A. Hassanat; M. Sohel Rahman (CoRR, 2023)

Exact ASP Counting with Compact Encodings. - Mohimenul Kabir; Supratik Chakraborty; Kuldeep S. Meel (AAAI, 2024)

Image Contrast Enhancement using Fuzzy Logic with Metaheuristics. - Mohimenul Kabir; Jaiaid Mobin; Ahmad B. A. Hassanat; M. Sohel Rahman (NSysS, 2024)

Minimal Model Counting via Knowledge Compilation. - Mohimenul Kabir (CoRR, 2024)

On Lower Bounding Minimal Model Count. - Mohimenul Kabir; Kuldeep S. Meel (Theory Pract. Log. Program., 2024)

Answer Set Counting and its Applications. - Mohimenul Kabir (ICLP, 2024)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks. - Mohimenul Kabir; Van-Giang Trinh; Samuel Pastva; Kuldeep S. Meel (CP, 2025)

An ASP-Based Framework for MUSes. - Mohimenul Kabir; Kuldeep S. Meel (CoRR, 2025)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets. - Mohimenul Kabir; Kuldeep S. Meel (CoRR, 2025)

Counting Answer Sets of Disjunctive Answer Set Programs. - Mohimenul Kabir; Supratik Chakraborty; Kuldeep S. Meel (CoRR, 2025)