Skip to main navigation
Skip to search
Skip to main content
The Hebrew University of Jerusalem Home
Approve / Request updates on publications
Link opens in a new tab
Search content at The Hebrew University of Jerusalem
Home
Profiles
Research units
Research output
Prizes
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%
Computer Science
Weighted Automaton
100%
Polynomial Time
50%
Automaton
50%
Numerical Value
25%
Technical Challenge
25%
Divide-and-Conquer Algorithm
25%
Correctness
25%
Mathematics
Polytope
100%
Polynomial Time
66%
Formal Method
66%
Numerical Value
33%
Divide and Conquer
33%