C. Aiswarya
Affiliation Timeline
- Chennai Mathematical Institute Most frequent
Incoming Non-self Citations Over Time
Total yearly non-self incoming citations across all papers by this author.
Publications by Paper Pagerank
Showing 3 of 3 publications.
| Rank | Title | 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 |
Previous
Page 1 / 1
Next