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
Automata
20%
Boolean
20%
Containment
100%
Design Checking
20%
Divide-and-conquer
20%
Finite Words
20%
Formal Methods
40%
Multi-valued
20%
Nondeterministic Automata
20%
Numerical Value
20%
Oracle Separation
20%
Polynomial Time
40%
Polytope
60%
Quantitative Reasoning
20%
Query Checking
20%
Undecidable
20%
Weighted Automata
80%
Mathematics
Divide and Conquer
33%
Formal Method
66%
Numerical Value
33%
Polynomial Time
66%
Polytope
100%
Computer Science
Automaton
50%
Divide-and-Conquer Algorithm
25%
Numerical Value
25%
Polynomial Time
50%
Technical Challenge
25%
Weighted Automaton
100%