Easy Fuzzy Tool for Emotion Recognition - Prototype from Voice Speech Analysis. - Mahfuza Farooque; Susana Muñoz-Hernández (IJCCI, 2009)

A sequent calculus with procedure calls - Mahfuza Farooque; Stéphane Lengrand (CoRR, 2012)

Two simulations about DPLL(T) - Mahfuza Farooque; Stéphane Lengrand; Assia Mahboubi (CoRR, 2012)

A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus. - Mahfuza Farooque; Stéphane Graham-Lengrand; Assia Mahboubi (LFMTP, 2013)

Sequent Calculi with procedure calls - Mahfuza Farooque; Stéphane Graham-Lengrand (CoRR, 2013)

Automated Reasoning Techniques as Proof-search in Sequent Calculus. (Techniques de déduction automatique vues comme recherche de preuve en calcul des séquents). - Mahfuza Farooque (2013)

Axiomatisation of constraint systems to specify a tableaux calculus modulo theories. - Damien Rouhling; Mahfuza Farooque; Stéphane Graham-Lengrand; Assia Mahboubi; Jean-Marc Notin (CoRR, 2014)

Axiomatic Constraint Systems for Proof Search Modulo Theories. - Damien Rouhling; Mahfuza Farooque; Stéphane Graham-Lengrand; Assia Mahboubi; Jean-Marc Notin (FroCos, 2015)

Recommendation Tool for Alleviating Depression and Suicidal Tendencies Through Healthier Social Media Use. - Travis Scott Hughes; Bhavika Jain; Mahfuza Farooque (ICMLA, 2024)

NeuroDual: A Hybrid SAT Solver Combining Graph Attention Networks with Algorithmic Techniques. - Mahfuza Farooque; Matthew Walter; Aaron Falk (ISNCC, 2024)

Next-Gen Education: Enhancing AI for Microlearning. - Suman Saha; Fatemeh Rahbari; Farhan Sadique; Sri Krishna Chaitanya Velamakanni; Mahfuza Farooque; William J. Rothwell (CoRR, 2025)