Eyal Harel

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 1

Top Topics

Frequency Domain

Social Networks

Top Venues

Publications

Netanel Klein, Eyal Harel, Itamar Levi
The Cost of a True Random Bit - On the Electronic Cost Gain of ASIC Time-Domain-Based TRNGs. Cryptogr. 5 (3) (2021)
Eyal Harel, Orna Lichtenstein, Amir Pnueli
Explicit Clock Temporal Logic LICS (1990)
Amir Pnueli, Eyal Harel
Applications of Temporal Logic to the Specification of Real-time Systems. FTRTFT (1988)