Orna Lichtenstein - Concepedia

Author

Orna Lichtenstein

Also Known As

O Lichtenstein, O. Lichtenstein, Orna Lichtenstein

Publications

1.3K

Citations

H-Index

Concepts

All Affiliations

Orna Lichtenstein is an author at Weizmann Institute of Science specializing in engineering, automated reasoning, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	871
2	Computer Science	3	3	871
3	Automated Reasoning	3	3	871
4	Systems Engineering	2	2	755
5	Real-time Systems	1	1	136

Orna Lichtenstein

Publications

871

Citations

H-Index

Page 1

	Year	Citations
Checking that finite state concurrent programs satisfy their linear specification Orna Lichtenstein, Amir Pnueli EngineeringVerificationComputer-aided VerificationComputational ComplexityFair Computations	1985	619
Explicit clock temporal logic Eyal Harel, Orna Lichtenstein, Amir Pnueli Formal LogicExpressive PowerFormal SpecificationEngineeringAutomated Reasoning	2002	136
Propositional temporal logics: decidability and completeness Orna Lichtenstein Logic Journal of IGPL Applied LogicFormal LogicEngineeringO Lichtenstein SearchAutomated Reasoning	2000	116

Page 1