Parameterized verification under TSO is PSPACE-complete PA Abdulla, MF Atig, R Rezvan Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019 | 23 | 2019 |
An EF2X allocation protocol for restricted additive valuations H Akrami, R Rezvan, M Seddighin arXiv preprint arXiv:2202.13676, 2022 | 18 | 2022 |
Prophet secretary against the online optimal P Dütting, E Gergatsouli, R Rezvan, Y Teng, A Tsigonias-Dimitriadis Proceedings of the 24th ACM Conference on Economics and Computation, 561-581, 2023 | 15 | 2023 |
Reliability maximization in uncertain graphs X Ke, A Khan, M Al Hasan, R Rezvansangsari IEEE Transactions on Knowledge and Data Engineering 34 (2), 894-913, 2020 | 9 | 2020 |
Pricing ordered items S Chawla, R Rezvan, Y Teng, C Tzamos Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing …, 2022 | 6 | 2022 |
Individually-fair auctions for multi-slot sponsored search S Chawla, R Rezvan, N Sauerberg arXiv preprint arXiv:2204.04136, 2022 | 3 | 2022 |
Buy-many mechanisms for many unit-demand buyers S Chawla, R Rezvan, Y Teng, C Tzamos International Conference on Web and Internet Economics, 21-38, 2023 | 2 | 2023 |
Budgeted Reliability Maximization in Uncertain Graphs X Ke, A Khan, M Al Hasan, R Rezvansangsari CoRR, 2019 | 2 | 2019 |
A Multi-Dimensional Online Contention Resolution Scheme for Revenue Maximization S Chawla, D Christou, T Dang, Z Huang, G Kehne, R Rezvan Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms …, 2025 | 1 | 2025 |