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 | 13 | 2019 |
Reliability maximization in uncertain graphs X Ke, A Khan, M Al Hasan, R Rezvansangsari IEEE Transactions on Knowledge and Data Engineering, 2020 | 5 | 2020 |
An EF2X Allocation Protocol for Restricted Additive Valuations H Akrami, R Rezvan, M Seddighin arXiv preprint arXiv:2202.13676, 2022 | 3 | 2022 |
Pricing ordered items S Chawla, R Rezvan, Y Teng, C Tzamos Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing …, 2022 | 1 | 2022 |
Individually-Fair Auctions for Multi-Slot Sponsored Search S Chawla, R Rezvan, N Sauerberg arXiv preprint arXiv:2204.04136, 2022 | 1 | 2022 |
Budgeted Reliability Maximization in Uncertain Graphs. X Ke, A Khan, M Al Hasan, R Rezvansangsari arXiv preprint arXiv:1903.08587, 2019 | 1 | 2019 |
Buy-Many Mechanisms for Many Unit-Demand Buyers S Chawla, R Rezvan, Y Teng, C Tzamos arXiv preprint arXiv:2204.01962, 2022 | | 2022 |