( en | de | ru )

 

Disambiguation of "Cohen, Ariel"

Author of the publication

copydeleteadd this publication to your clipboard
Local proofs for global safety properties.

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

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.

Eliahu Ariely

Ariel Quiñones

Emanuele Arielli

Eliahu Ariely

Eliahu Ariely

 

Other publications of authors with the same name

A Study On Data Augmentation In Voice Anti-Spoofing., , , and . CoRR, (2021)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., , , and . IEEE ANTS, page 1-6. IEEE, (2020)Parallelizing a Symbolic Compositional Model-Checking Algorithm., , , , and . Haifa Verification Conference, volume 6504 of Lecture Notes in Computer Science, page 46-59. Springer, (2010)A Programming Interface for Supporting IP Traffic Processing., and . IWAN, volume 1653 of Lecture Notes in Computer Science, page 132-143. Springer, (1999)Ranking Abstraction of Recursive Programs., , and . VMCAI, volume 3855 of Lecture Notes in Computer Science, page 267-281. Springer, (2006)112-Gb/s PAM4 ADC-Based SERDES Receiver With Resonant AFE for Long-Reach Channels., , , , , , , , , and 2 other author(s). IEEE J. Solid State Circuits, 55 (4): 1077-1085 (2020)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., , , , , and . A-SSCC, page 235-238. IEEE, (2019)Segmented Information Dispersal (SID) Data Layouts for Digital Video Servers., and . IEEE Trans. Knowl. Data Eng., 13 (4): 593-606 (2001)