Generating Verified Java Components through RESOLVE. - Hampton Smith; Heather K. Harton; David Frazier; Raghuveer Mohan; Murali Sitaraman (ICSR, 2009)

Building Cartesian trees from free trees with k leaves. - Brian C. Dean; Raghuveer Mohan (Inf. Process. Lett., 2013)

Randomized Reduction. - Brian C. Dean; Raghuveer Mohan; Chad G. Waters (SIGCSE, 2015)

dsDraw: Programmable Animations and Animated Programs. - Daniel Jeffries; Raghuveer Mohan; Cindy Norris (ACM Southeast Regional Conference, 2020)

Introduction to coalitions in graphs. - Teresa W. Haynes; Jason T. Hedetniemi; Stephen T. Hedetniemi; Alice A. McRae; Raghuveer Mohan (AKCE Int. J. Graphs Comb., 2020)

Coalition graphs of paths, cycles, and trees. - Teresa W. Haynes; Jason Hedetniemi; Stephen T. Hedetniemi; Alice A. McRae; Raghuveer Mohan (Discuss. Math. Graph Theory, 2023)