The functional approach to programming. - Srinivas Nedunuri (ACM SIGSOFT Softw. Eng. Notes, 2000)

Modeling Interactions in Feature Oriented Software Designs. - Jia Liu; Don S. Batory; Srinivas Nedunuri (FIW, 2005)

Synthesis of fast programs for maximum segment sum problems. - Srinivas Nedunuri; William R. Cook (GPCE, 2009)

Tactical Synthesis of Efficient Global Search Algorithms. - Srinivas Nedunuri; William R. Cook; Douglas R. Smith (NASA Formal Methods, 2009)

A Class of Greedy Algorithms and Its Relation to Greedoids. - Srinivas Nedunuri; Douglas R. Smith; William R. Cook (ICTAC, 2010)

Synthesis of Greedy Algorithms Using Dominance Relations. - Srinivas Nedunuri; Douglas R. Smith; William R. Cook (NASA Formal Methods, 2010)

Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. - Srinivas Nedunuri; Douglas R. Smith; William R. Cook (FM, 2012)

Theory and Techniques for Synthesizing a Family of Graph Algorithms - Srinivas Nedunuri; William R. Cook; Douglas R. Smith (SYNT, 2012)

SMT-based synthesis of integrated task and motion plans from plan outlines. - Srinivas Nedunuri; Sailesh Prabhu; Mark Moll; Swarat Chaudhuri; Lydia E. Kavraki (ICRA, 2014)

Deductive Model Refinement. - Douglas R. Smith; Srinivas Nedunuri (NFM, 2024)

Model Refinement: Generating Refinements for Algorithm and System Design. - Douglas R. Smith; Srinivas Nedunuri (The Practice of Formal Methods (II), 2024)