Chennai Mathematical Institute

Authors at This Institution

Listed authors are those whose most frequent affiliation is this institution.

Showing 3 of 3 authors.

Rank	Author	Pagerank	Papers
3,997	C. Aiswarya	0.02203762	3
15,931	M. Praveen	0.0071369713	1
15,932	B. Srivathsan	0.0071369713	1

Showing 4 of 4 papers, sorted by pagerank.

Rank	Paper	Year	Venue	Pagerank
5,959	Recency-Bounded Verification of Dynamic Database-Driven Systems	2016	PODS	6.0274692e-05
11,127	Verification of Unary Communicating Datalog Programs	2024	PODS	5.093636e-05
11,839	Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding	2019	PODS	5.093636e-05
12,098	Defining Relations on Graphs: How Hard is it in the Presence of Node Partitions?	2015	PODS	5.093636e-05