Modelling and Formal Verification of Neuronal Archetypes Coupling. - Elisabetta De Maria; Thibaud L'Yvonnet; Daniel Gaffé; Annie Ressouche; Franck Grammont (CSBio, 2017)

Probabilistic Activity Recognition for Serious Games with Applications in Medicine. - Elisabetta De Maria; Thibaud L'Yvonnet; Sabine Moisan; Jean-Paul Rigault (FTSCS, 2019)

Probabilistic Model Checking for Activity Recognition in Medical Serious Games. - Thibaud L'Yvonnet; Elisabetta De Maria; Sabine Moisan; Jean-Paul Rigault (SEH@ICSE, 2021)

Probabilistic model checking for human activity recognition in medical serious games. - Thibaud L'Yvonnet; Elisabetta De Maria; Sabine Moisan; Jean-Paul Rigault (Sci. Comput. Program., 2021)

On the use of formal methods to model and verify neuronal archetypes. - Elisabetta De Maria; Abdorrahim Bahrami; Thibaud L'Yvonnet; Amy P. Felty; Daniel Gaffé; Annie Ressouche; Franck Grammont (Frontiers Comput. Sci., 2022)

Relationships between human activity models and brain models : application to clinical serious games. (Relations entre modèles d'activités humaines et modèles du cerveau : application aux jeux sérieux en clinique). - Thibaud L'Yvonnet (2022)

A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain. - Elisabetta De Maria; Benjamin Lapijover; Thibaud L'Yvonnet; Sabine Moisan; Jean-Paul Rigault (BIOINFORMATICS, 2023)