A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements. - Mohamed Amin Laouadi; Farid Mokhati; Hassina Seridi-Bouchelaghem (MATES, 2010)

A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach. - Mohamed Amin Laouadi; Farid Mokhati; Hassina Seridi-Bouchelaghem (Multiagent Grid Syst., 2017)

Towards Useful Event Detection and Sentiment Analysis of OSN for Disaster Management. - Malika Noui; Abdelaziz Lakhfif; Mohamed Amin Laouadi (ICT-DM, 2024)