@incollection{guinaudeau:hal-02412722, TITLE = {{Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free}}, AUTHOR = {Guinaudeau, Oph{\'e}lie and Bernot, Gilles and Muzy, Alexandre and Gaff{\'e}, Daniel and Grammont, Franck}, URL = {https://hal.archives-ouvertes.fr/hal-02412722}, BOOKTITLE = {{Communications in Computer and Information Science book series, extended selected paper from Biomedical Engineering Systems and Technologies conference (BIOSTEC 2018)}}, EDITOR = {SPRINGER}, PAGES = {167-191}, YEAR = {2019}, MONTH = Aug, DOI = {10.1007/978-3-030-29196-9\_10}, KEYWORDS = {Spiking neuron models Dendrites Formal models Behavioural equivalence classes Delays Leaky integrate-and-fire}, }