Harnessing multiple wireless interfaces for guaranteed QoS in proximate P2P networks. - Navid Abedini; Mayank Manjrekar; Srinivas Shakkottai; Libin Jiang (ICCC, 2012)

A mean field game approach to scheduling in cellular systems. - Mayank Manjrekar; Vinod Ramaswamy; Srinivas Shakkottai (INFOCOM, 2014)

A Mean Field Game Approach to Scheduling in Cellular Systems. - Mayank Manjrekar; Vinod Ramaswamy; Vamseedhar Reddyvari Raja; Srinivas Shakkottai (IEEE Trans. Control. Netw. Syst., 2020)

Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking. - David M. Russinoff; Javier D. Bruguera; Cuong Chau; Mayank Manjrekar; Nicholas Pfister; Harsha Valsaraju (ARITH, 2022)

On Automating Proofs of Multiplier Adder Trees using the RTL Books. - Mayank Manjrekar (CoRR, 2025)