Skip to main navigation
Skip to search
Skip to main content
University of Haifa Home
Update your profile
Home
Researchers
Research units
Research output
Search by expertise, name or affiliation
Parameterized weighted containment
Guy Avni
, Orna Kupferman
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Research output
(1)
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%
Multi-valued
20%
Undecidable
20%
Numerical Value
20%
Divide-and-conquer
20%
Boolean
20%
Automata
20%
Design Checking
20%
Quantitative Reasoning
20%
Finite Words
20%
Nondeterministic Automata
20%
Oracle Separation
20%
Query Checking
20%
Mathematics
Polytope
100%
Polynomial Time
66%
Formal Method
66%
Divide and Conquer
33%
Numerical Value
33%
Computer Science
Weighted Automaton
100%
Polynomial Time
50%
Automaton
50%
Technical Challenge
25%
Numerical Value
25%
Divide-and-Conquer Algorithm
25%