Parosh Aziz Abdulla
Affiliation Timeline
- Uppsala University 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 all 2 publications. Total citations include self and non-self citations.
| Rank | Title | Year | Venue | Total Citations | Pagerank |
|---|---|---|---|---|---|
| 6,082 | Recency-Bounded Verification of Dynamic Database-Driven Systems | 2016 | PODS | 2 | 5.8894397e-05 |
| 12,146 | Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding | 2019 | PODS | 0 | 4.9769913e-05 |