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
Parameterized weighted containment
Guy Avni,
Orna Kupferman
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
1
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Parameterized weighted containment'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Containment
100%
Weighted Automata
80%
Polytope
60%
Polynomial Time
40%
Formal Methods
40%
Automata
20%
Finite Words
20%
Numerical Value
20%
Boolean
20%
Quantitative Reasoning
20%
Multi-valued
20%
Undecidable
20%
Nondeterministic Automata
20%
Divide-and-conquer
20%
Query Checking
20%
Design Checking
20%
Oracle Separation
20%
Mathematics
Polytope
100%
Polynomial Time
66%
Formal Method
66%
Numerical Value
33%
Divide and Conquer
33%
Computer Science
Weighted Automaton
100%
Polynomial Time
50%
Automaton
50%
Numerical Value
25%
Technical Challenge
25%
Divide-and-Conquer Algorithm
25%