Sandeep Mitra

21 papers A* 1A 1B 3Misc 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
AI-Educational Development Loop (AI-EDL): A Conceptual Framework to Bridge AI Capabilities with Classical Educational Theories.
CoRR
Ning Yu, Jie Zhang, Sandeep Mitra, Rebecca Smith, Adam Rich
2025 J jnl
Software Engineering in the Computer Science Curriculum.
J. Comput. Sci. Coll.
Michael B. Gousie, Karina Assiter, Maria Ebling, Sandeep Mitra
2024 J jnl
Agile Practices and their Role in Enhancing Productivity in Student-Run Software Development Projects.
J. Comput. Sci. Coll.
Sandeep Mitra, Eric Rosenhein
2017 J jnl
Discovering design patterns in software behavior models.
J. Comput. Sci. Coll.
Sandeep Mitra, T. M. Rao
2014 J jnl
Using UML Modeling to Facilitate Three-Tier Architecture Projects in Software Engineering Courses.
ACM Trans. Comput. Educ.
Sandeep Mitra
2012 B conf
Route allocation for multiple snowplows using genetic algorithms.
SMC
T. M. Rao, Sandeep Mitra, James Zollweg
2011 B conf
Computing optimal snowplow route plans using Genetic Algorithms.
SMC
T. M. Rao, Sandeep Mitra, James Zollweg, Ferat Sahin
2011 B conf
Snow-plow route planning using AI search.
SMC
T. M. Rao, Sandeep Mitra, James Zollweg
2010 J jnl
Architecture of a Java framework for developing genetic algorithms in AI class.
J. Comput. Sci. Coll.
T. M. Rao, Sandeep Mitra
2008 A conf
An early software engineering approach to teaching cs1, cs2 and ai.
SIGCSE
T. M. Rao, Sandeep Mitra
2008 — conf
Synergizing AI and OOSE: Enhancing Interest in Computer Science through Game-Playing and Puzzle-Solving.
AAAI Spring Symposium: Using AI to Motivate Greater Participation in Computer Science
T. M. Rao, Sandeep Mitra
2007 J jnl
Problem stereotypes and solution frameworks: a design-first approach for the introductory computer science sequence.
J. Comput. Sci. Coll.
T. M. Rao, Sandeep Mitra, Roxanne L. Canosa, Sidney Marshall, Thomas A. Bullinger
2007 J jnl
Using formal software development methodologies in a real-world student project: an experience report.
J. Comput. Sci. Coll.
Sandeep Mitra, Thomas A. Bullinger
2005 J jnl
Teaching software engineering using a traceability-based development methodology.
J. Comput. Sci. Coll.
Sandeep Mitra, T. M. Rao, Thomas A. Bullinger
2000 — conf
Infrastructure for the Synchronization and Coordination of Concurrent Java Component Programs.
HICSS
Sandeep Mitra, Sudhir Aggarwal
1995 — conf
DCCA: a versatile paradigm for the description and development of concurrent communicating systems.
HICSS (2)
Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale
1994 A* conf
Specification and Automated Implementation of Coordination Protocols in Distributed Controls for Flexible Manufacturing Cells.
ICRA
Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale
1992 Misc conf
Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications.
Ada-Europe
Leslie C. Lander, Sandeep Mitra
1992 — conf
Techniques for semi-automated implementation of state-oriented, real-time formal specifications in Ada.
WADAS
Sandeep Mitra, Leslie C. Lander, Thomas F. Piatkowski
1992 J jnl
The Elaboration Order Problem of Ada.
Softw. Pract. Exp.
Leslie C. Lander, Sandeep Mitra, Nitin Singhvi, Thomas F. Piatkowski
1990 — conf
Priority inversion in Ada programs during elaboration.
WADAS
Leslie C. Lander, Sandeep Mitra, Thomas F. Piatkowski