Computational Logic for Biomedicine and Neurosciences. - Abdorrahim Bahrami; Elisabetta De Maria; Joëlle Despeyroux; Amy P. Felty; Pietro Lió; Carlos Olarte (CoRR, 2020)

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)

Modelling and Verifying Neuronal Archetypes in Coq. - Abdorrahim Bahrami; Rébecca Zucchini; Elisabetta De Maria; Amy P. Felty (CoRR, 2025)