1 citations · 1 across the 2 of their papers we have counts for
2 papers
quant-ph2024★ 1 cited
Technical Report: Toward Applying Quantum Computing to Network Verification
Kahlil Dozier, Justin Beltran, Kylie Berg +4
Network verification (NWV), broadly defined as the verification of properties of distributed protocols used in network systems, cannot be efficiently solved on classical hardware v…
cs.DS2024
Technical Report: Modeling Average False Positive Rates of Recycling Bloom Filters
Kahlil Dozier, Loqman Salamatian, Dan Rubenstein
Bloom Filters are a space-efficient data structure used for the testing of membership in a set that errs only in the False Positive direction. However, the standard analysis that m…