Orna Lichtenstein

According to our database, Orna Lichtenstein authored at least 4 papers between 1985 and 2000.

Collaborative distances:

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

2000

Propositional Temporal Logics: Decidability and Completeness.

Orna Lichtenstein, Amir Pnueli

Log. J. IGPL, 2000

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

1985

Checking That Finite State Concurrent Programs Satisfy Their Linear Specification.

Orna Lichtenstein, Amir Pnueli

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

The Glory of the Past.

Orna Lichtenstein, Amir Pnueli, Lenore D. Zuck

Proceedings of the Logics of Programs, 1985