3
Publications
871
Citations
3
H-Index
1985
Active since
Affiliations
Weizmann Institute of Science(Current)
Orna Lichtenstein is an author at Weizmann Institute of Science specializing in engineering, automated reasoning, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationFormal LogicSystems EngineeringFormal SpecificationVerificationSatisfiability
Publications per year
1985–2002
3
3
Eyal Harel, Orna Lichtenstein, Amir Pnueli · 2002 · 136 citations
Propositional temporal logics: decidability and completeness
Orna Lichtenstein · Logic Journal of IGPL · 2000 · 116 citations
Rows per page
1–3 of 3