( en | de | ru )

 

Disambiguierung von "Cohen, Ariel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Local proofs for global safety properties.

, und . Formal Methods Syst. Des., 34 (2): 104-125 (2009)

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.

Eliahu Ariely

Ariel Quiñones

Emanuele Arielli

Eliahu Ariely

Eliahu Ariely

 

Weitere Publikationen von Autoren mit dem selben Namen

112-Gb/s PAM4 ADC-Based SERDES Receiver With Resonant AFE for Long-Reach Channels., , , , , , , , , und 2 andere Autor(en). IEEE J. Solid State Circuits, 55 (4): 1077-1085 (2020)A Study On Data Augmentation In Voice Anti-Spoofing., , , und . CoRR, (2021)Parallelizing a Symbolic Compositional Model-Checking Algorithm., , , , und . Haifa Verification Conference, Volume 6504 von Lecture Notes in Computer Science, Seite 46-59. Springer, (2010)A Programming Interface for Supporting IP Traffic Processing., und . IWAN, Volume 1653 von Lecture Notes in Computer Science, Seite 132-143. Springer, (1999)Ranking Abstraction of Recursive Programs., , und . VMCAI, Volume 3855 von Lecture Notes in Computer Science, Seite 267-281. Springer, (2006)More Than Bare Existence: An Implicature of Existential Bare Plurals.. J. Semant., 22 (4): 389-400 (2005)A 1.64mW Differential Super Source-Follower Buffer with 9.7GHz BW and 43dB PSRR for Time-Interleaved ADC Applications in 10nm., , , , , und . A-SSCC, Seite 235-238. IEEE, (2019)Verification of Transactional Memories and Recursive Programs.. New York University, USA, (2008)A Study on MIMO Channel Estimation by 2D and 3D Convolutional Neural Networks., , , und . IEEE ANTS, Seite 1-6. IEEE, (2020)112 Gb/s PAM4 ADC Based SERDES Receiver for Long-Reach Channels in 10nm Process., , , , , , , , , und 1 andere Autor(en). VLSI Circuits, Seite 266-. IEEE, (2019)