Skip to main navigation
Skip to search
Skip to main content
The Hebrew University of Jerusalem Home
Approve / Request updates on publications
Home
Profiles
Research units
Research output
Prizes
Search by expertise, name or affiliation
Exponential Gaps in our Knowledge
Orna Kupferman
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Exponential Gaps in our Knowledge'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Automata
100%
Formal Verification
25%
Reactive Systems
25%
Decision Problems
25%
Formal Methods
25%
Formal Specification
25%
Closing the Gap
25%
Computer Science
Automaton
100%
Case Study
25%
Reactive System
25%
Formal Verification
25%
Decision Problem
25%
Formal Specification
25%