activity
20112023
most citedSome approximations in Model Checking and Testing

3 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.DB2023

The SpaceSaving Family of Algorithms for Data Streams with Bounded Deletions

Fuheng Zhao, Divyakant Agrawal, Amr El Abbadi +3

In this paper, we present an advanced analysis of near optimal algorithms that use limited space to solve the frequency estimation, heavy hitters, frequent items, and top-k approxi…