research
∙
09/20/2023
Testing frequency distributions in a stream
We study how to verify specific frequency distributions when we observe ...
research
∙
10/15/2020
Large Very Dense Subgraphs in a Stream of Edges
We study the detection and the reconstruction of a large very dense subg...
research
∙
12/17/2019
Testing Membership for Timed Automata
Given a timed automata which admits thick components and a timed word x,...
research
∙
12/24/2018
The content correlation of multiple streaming edges
We study how to detect clusters in a graph defined by a stream of edges,...
research
∙
09/13/2017