Mayank Manjrekar

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 2

Top Topics

Proof Procedure

Formal Verification

Theorem Proving

Top Venues

IEEE Trans. Control. Netw. Syst.

Publications

David M. Russinoff, Javier Bruguera, Cuong Chau, Mayank Manjrekar, Nicholas Pfister, Harsha Valsaraju
Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking. ARITH (2022)
Mayank Manjrekar, Vinod Ramaswamy, Vamseedhar Reddyvari Raja, Srinivas Shakkottai
A Mean Field Game Approach to Scheduling in Cellular Systems. IEEE Trans. Control. Netw. Syst. 7 (2) (2020)
Mayank Manjrekar, Vinod Ramaswamy, Srinivas Shakkottai
A mean field game approach to scheduling in cellular systems. INFOCOM (2014)
Mayank Manjrekar, Vinod Ramaswamy, Srinivas Shakkottai
A Mean Field Game Approach to Scheduling in Cellular Systems. CoRR (2013)
Navid Abedini, Mayank Manjrekar, Srinivas Shakkottai, Libin Jiang
Harnessing multiple wireless interfaces for guaranteed QoS in proximate P2P networks. ICCC (2012)