Autor der Publikation

Model Based Verification of Spiking Neural Networks in Cyber Physical Systems.

, , , und . IEEE Trans. Computers, 72 (9): 2426-2439 (September 2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Individual Differences in Syntactic Processing: The Role of Working Memory, und . Journal of Memory and Language, (1991)Multiparty Session Type-safe Web Development with Static Linearity., , und . PLACES@ETAPS, Volume 291 von EPTCS, Seite 35-46. (2019)Processing English with a Generalized Phrase Structure Grammar., , , , , , , und . ACL, Seite 74-81. ACL, (1982)TDECQ (transmitter dispersion eye closure quaternary) replaces historic eye-mask and TDP test for 400 Gb/s PAM4 optical transmitters., , und . OFC, Seite 1-3. IEEE, (2017)Roundtable on Cloud, Fog, Networks and Related Technologies., , , , , , , , , und 4 andere Autor(en). IEEE Cloud Comput., 4 (3): 54-59 (2017)Extrinsic Dexterous Manipulation with a Direct-drive Hand: A Case Study., , , , , , und . IROS, Seite 4660-4667. IEEE, (2022)Actively controlled transverse gas injection., , , , und . CDC, Seite 1736-1741. IEEE, (2000)Model Based Verification of Spiking Neural Networks in Cyber Physical Systems., , , und . IEEE Trans. Computers, 72 (9): 2426-2439 (September 2023)Knowledge Base Management for Experiment Planning in Molecular Genetics., , , und . IJCAI, Seite 882-887. William Kaufmann, (1977)Amino Acid Sequence Control of the Folding of the Parallel beta-Helix, the Simplest beta-Sheet Fold., , , und . RECOMB, Volume 3500 von Lecture Notes in Computer Science, Seite 472-473. Springer, (2005)