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
4,130	C. Aiswarya	0.021783827	3
16,382	M. Praveen	0.0070547794	1
16,383	B. Srivathsan	0.0070547794	1

Showing 4 of 4 papers, sorted by pagerank.

Rank	Paper	Year	Venue	Pagerank
6,082	Recency-Bounded Verification of Dynamic Database-Driven Systems	2016	PODS	5.8894397e-05
11,481	Verification of Unary Communicating Datalog Programs	2024	PODS	4.9769913e-05
12,146	Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding	2019	PODS	4.9769913e-05
12,397	Defining Relations on Graphs: How Hard is it in the Presence of Node Partitions?	2015	PODS	4.9769913e-05