Towards multiple identity detection in social networks. - Kahina Gani; Hakim Hacid; Ryan Skraba (WWW (Companion Volume), 2012)

Towards a DSL-Based Approach for Specifying and Monitoring Home Care Plans. - Kahina Gani; Marinette Bouet; Michel Schneider; Farouk Toumani (Business Process Management Workshops, 2013)

A general model for specifying near periodic recurrent activities - application to home care activities. - Marinette Bouet; Kahina Gani; Michel Schneider; Farouk Toumani (Healthcom, 2013)

Formal Modeling and Analysis of Home Care Plans. - Kahina Gani; Marinette Bouet; Michel Schneider; Farouk Toumani (ICSOC, 2014)

Using Timed Automata Framework for Modeling Home Care Plans. - Kahina Gani; Marinette Bouet; Michel Schneider; Farouk Toumani (ICSS, 2015)

Using timed automata formalism for modeling and analyzing home care plans. (L'utilisation du formalisme des automates temporisés pour la modélisation et l'analyse des plans de soins à domicile). - Kahina Gani (2015)