Eyal Harel

According to our database, Eyal Harel authored at least 3 papers between 1988 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

The Cost of a True Random Bit - On the Electronic Cost Gain of ASIC Time-Domain-Based TRNGs.

Netanel Klein, Eyal Harel, Itamar Levi

Cryptogr., 2021

1990

Explicit Clock Temporal Logic

Eyal Harel, Orna Lichtenstein, Amir Pnueli

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1988

Applications of Temporal Logic to the Specification of Real-time Systems.

Amir Pnueli, Eyal Harel

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988