( en | de | ru )

 

Disambiguation of "Gaffé, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
The Clem Toolkit.

, and . ASE, page 495-496. IEEE Computer Society, (2008)

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.

Mohammed Gaffer

Mohammed Gaffer

Mohammed Gaffer

Mohammed Gaffer

Daniel

 

Other publications of authors with the same name

Concurrent Control Systems: From Grafcet to VHDL., , and . EUROMICRO, page 1230-1234. IEEE Computer Society, (2000)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)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)The Clem Toolkit., and . ASE, page 495-496. IEEE Computer Society, (2008)Synchronous approach for modeling spiking neurons., , , and . BioCAS, page 1-4. IEEE, (2019)A Synchronous Approach to Activity Recognition., , , and . ICSC, page 304-305. IEEE Computer Society, (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 Model-checking Approach to Reduce Spiking Neural Networks., , , and . BIOINFORMATICS, page 89-96. SciTePress, (2018)Modelling and Formal Verification of Neuronal Archetypes Coupling., , , , and . CSBio, page 3-10. ACM, (2017)