A memetic algorithm for program verification. - Nassima Aleb; Zahia Tamen (EMS, 2011)

An Evolutionary Approach for Program Model Checking. - Nassima Aleb; Zahia Tamen; Nadjet Kamel (MEDI, 2011)

A new framework for scalable genetic programming. - Nassima Aleb; Samir Kechid (GECCO (Companion), 2012)

Path coverage testing in the cloud. - Nassima Aleb; Samir Kechid (ICCIT, 2012)

An interpolation based crossover operator for genetic programming. - Nassima Aleb; Samir Kechid (GECCO (Companion), 2013)

A New Approach for Distributed Symbolic Software Testing. - Nassima Aleb; Samir Kechid (ICCSA (2), 2013)

Automatic Test Data Generation Using a Genetic Algorithm. - Nassima Aleb; Samir Kechid (ICCSA (2), 2013)

Toward a backward model checking. - Nassima Aleb; Zahia Tamen; Nadjet Kamel (Int. J. Comput. Aided Eng. Technol., 2013)

An Improved K-Means Algorithm for DNA Sequence Clustering. - Nassima Aleb; Narimane Labidi (DEXA Workshops, 2015)

Heuristics for deriving distinguishing experiments of nondeterministic finite state machines. - Khaled El-Fakih; Abdul Rahim Haddad; Nassima Aleb; Nina Yevtushenko 001 (Appl. Soft Comput., 2016)

Multilevel Attention Models for Drug Target Binding Affinity Prediction. - Nassima Aleb (Neural Process. Lett., 2021)

A Mutual Attention Model for Drug Target Binding Affinity Prediction. - Nassima Aleb (IEEE ACM Trans. Comput. Biol. Bioinform., 2022)

TransTg: a new transformer model for predicting glass transition temperature of polymers from monomers' molecular structures. - Nassima Aleb; Nedal Y. Abu-Thabit (Neural Comput. Appl., 2025)

Optimizing drug-target binding affinity prediction for kinase proteins: a novel all-MLP-transformer approach. - Nassima Aleb (Netw. Model. Anal. Health Informatics Bioinform., 2025)