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 |
|---|---|---|---|---|
| 6,081 | Recency-Bounded Verification of Dynamic Database-Driven Systems | 2016 | PODS | 5.892229e-05 |
| 11,475 | Verification of Unary Communicating Datalog Programs | 2024 | PODS | 4.9793485e-05 |
| 12,140 | Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding | 2019 | PODS | 4.9793485e-05 |
Previous
Page 1 / 1
Next