Priority inversion in Ada programs during elaboration. - Leslie C. Lander; Sandeep Mitra; Thomas F. Piatkowski (WADAS, 1990)

Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications. - Leslie C. Lander; Sandeep Mitra (Ada-Europe, 1992)

Techniques for semi-automated implementation of state-oriented, real-time formal specifications in Ada. - Sandeep Mitra; Leslie C. Lander; Thomas F. Piatkowski (WADAS, 1992)

The Elaboration Order Problem of Ada. - Leslie C. Lander; Sandeep Mitra; Nitin Singhvi; Thomas F. Piatkowski (Softw. Pract. Exp., 1992)

Specification and Automated Implementation of Coordination Protocols in Distributed Controls for Flexible Manufacturing Cells. - Sudhir Aggarwal; Sandeep Mitra; Sanjay S. Jagdale (ICRA, 1994)

DCCA: a versatile paradigm for the description and development of concurrent communicating systems. - Sudhir Aggarwal; Sandeep Mitra; Sanjay S. Jagdale (HICSS (2), 1995)

Infrastructure for the Synchronization and Coordination of Concurrent Java Component Programs. - Sandeep Mitra; Sudhir Aggarwal (HICSS, 2000)

Teaching software engineering using a traceability-based development methodology. - Sandeep Mitra; T. M. Rao; Thomas A. Bullinger (J. Comput. Sci. Coll., 2005)

Using formal software development methodologies in a real-world student project: an experience report. - Sandeep Mitra; Thomas A. Bullinger (J. Comput. Sci. Coll., 2007)

Problem stereotypes and solution frameworks: a design-first approach for the introductory computer science sequence. - T. M. Rao; Sandeep Mitra; Roxanne L. Canosa; Sidney Marshall; Thomas A. Bullinger (J. Comput. Sci. Coll., 2007)

Synergizing AI and OOSE: Enhancing Interest in Computer Science through Game-Playing and Puzzle-Solving. - T. M. Rao; Sandeep Mitra (AAAI Spring Symposium: Using AI to Motivate Greater Participation in Computer Science, 2008)

An early software engineering approach to teaching cs1, cs2 and ai. - T. M. Rao; Sandeep Mitra (SIGCSE, 2008)

Architecture of a Java framework for developing genetic algorithms in AI class. - T. M. Rao; Sandeep Mitra (J. Comput. Sci. Coll., 2010)

Snow-plow route planning using AI search. - T. M. Rao; Sandeep Mitra; James Zollweg (SMC, 2011)

Computing optimal snowplow route plans using Genetic Algorithms. - T. M. Rao; Sandeep Mitra; James Zollweg; Ferat Sahin (SMC, 2011)

Route allocation for multiple snowplows using genetic algorithms. - T. M. Rao; Sandeep Mitra; James Zollweg (SMC, 2012)

Using UML Modeling to Facilitate Three-Tier Architecture Projects in Software Engineering Courses. - Sandeep Mitra (ACM Trans. Comput. Educ., 2014)

Discovering design patterns in software behavior models. - Sandeep Mitra; T. M. Rao (J. Comput. Sci. Coll., 2017)

Agile Practices and their Role in Enhancing Productivity in Student-Run Software Development Projects. - Sandeep Mitra; Eric Rosenhein (J. Comput. Sci. Coll., 2024)

Software Engineering in the Computer Science Curriculum. - Michael B. Gousie; Karina Assiter; Maria Ebling; Sandeep Mitra (J. Comput. Sci. Coll., 2025)