Marco Montali
Affiliation Timeline
- Free University of Bolzano 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 5 of 5 publications.
| Rank | Title | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,653 | Foundations of Data-Aware Process Analysis: A Database Theory Perspective | 2013 | PODS | 8.2898925e-05 |
| 5,874 | Verification of Relational Data-Centric Dynamic Systems with External Services | 2013 | PODS | 6.0586728e-05 |
| 5,959 | Recency-Bounded Verification of Dynamic Database-Driven Systems | 2016 | PODS | 6.0274692e-05 |
| 11,127 | Verification of Unary Communicating Datalog Programs | 2024 | PODS | 5.093636e-05 |
| 11,839 | Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding | 2019 | PODS | 5.093636e-05 |
Previous
Page 1 / 1
Next