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,798	C. Aiswarya	0.021099329	3
15,924	M. Praveen	0.0064765487	1
15,925	B. Srivathsan	0.0064765487	1

Showing 4 of 4 papers, sorted by pagerank.

Rank	Paper	Year	Venue	Pagerank
3,910	Recency-Bounded Verification of Dynamic Database-Driven Systems	2016	PODS	6.636109e-05
10,906	Verification of Unary Communicating Datalog Programs	2024	PODS	4.1945683e-05
11,645	Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding	2019	PODS	4.1945683e-05
11,899	Defining Relations on Graphs: How Hard is it in the Presence of Node Partitions?	2015	PODS	4.1945683e-05