Author of the publication

Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free.

, , , , and . BIOSTEC (Selected Papers), volume 1024 of Communications in Computer and Information Science, page 167-191. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems., , , , and . HSB, volume 9957 of Lecture Notes in Computer Science, page 97-112. (2016)Concurrent Control Systems: From Grafcet to VHDL., , and . EUROMICRO, page 1230-1234. IEEE Computer Society, (2000)Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free., , , , and . BIOSTEC (Selected Papers), volume 1024 of Communications in Computer and Information Science, page 167-191. Springer, (2018)Computer-aided Formal Proofs about Dendritic Integration within a Neuron., , , , and . BIOINFORMATICS, page 49-60. SciTePress, (2018)Le modèle de Grafcet: réflexion et intégration dans une plate-forme multiformalisme synchrone. (The grafcet model: Discussion and integration in a multiformalism synchronous platform).. University of Nice Sophia Antipolis, France, (1996)A Synchronous Approach to Activity Recognition., , , and . ICSC, page 304-305. IEEE Computer Society, (2018)Synchronous approach for modeling spiking neurons., , , and . BioCAS, page 1-4. IEEE, (2019)The Clem Toolkit., and . ASE, page 495-496. IEEE Computer Society, (2008)Algebraic Framework for Synchronous Language Semantics., and . TASE, page 51-58. IEEE Computer Society, (2013)Modelling and Formal Verification of Neuronal Archetypes Coupling., , , , and . CSBio, page 3-10. ACM, (2017)