Ashwani Anand
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Concurrent Permissive Strategy Templates. | Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2025 | ATVA | Quantitative Strategy Templates. | Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2025 | FOSSACS | Fair Quantitative Games. | Ashwani Anand, Satya Prakash Nayak, Ritam Raha, Irmak Saglam, Anne-Kathrin Schmuck |
| 2024 | ATVA | Strategy Templates - Robust Certified Interfaces for Interacting Systems. | Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2024 | LICS | Verifying Unboundedness via Amalgamation. | Ashwani Anand, Sylvain Schmitz, Lia Schtze, Georg Zetzsche |
| 2023 | CAV | Synthesizing Permissive Winning Strategy Templates for Parity Games. | Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2023 | CONCUR | Priority Downward Closures. | Ashwani Anand, Georg Zetzsche |
| 2023 | TACAS | Computing Adequately Permissive Assumptions for Synthesis. | Ashwani Anand, Kaushik Mallik, Satya Prakash Nayak, Anne-Kathrin Schmuck |