Srinivas Nedunuri

According to our database, Srinivas Nedunuri authored at least 10 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Deductive Model Refinement.

Douglas R. Smith, Srinivas Nedunuri

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2014

SMT-based synthesis of integrated task and motion plans from plan outlines.

Srinivas Nedunuri, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, Lydia E. Kavraki

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2012

Theory and Techniques for Synthesizing a Family of Graph Algorithms

Srinivas Nedunuri, William R. Cook, Douglas R. Smith

Proceedings of the Proceedings First Workshop on Synthesis, 2012

Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms.

Srinivas Nedunuri, Douglas R. Smith, William R. Cook

Proceedings of the FM 2012: Formal Methods, 2012

2010

Synthesis of Greedy Algorithms Using Dominance Relations.

Srinivas Nedunuri, Douglas R. Smith, William R. Cook

Proceedings of the Second NASA Formal Methods Symposium, 2010

A Class of Greedy Algorithms and Its Relation to Greedoids.

Srinivas Nedunuri, Douglas R. Smith, William R. Cook

Proceedings of the Theoretical Aspects of Computing, 2010

2009

Tactical Synthesis of Efficient Global Search Algorithms.

Srinivas Nedunuri, William R. Cook, Douglas R. Smith

Proceedings of the First NASA Formal Methods Symposium, 2009

Synthesis of fast programs for maximum segment sum problems.

Srinivas Nedunuri, William R. Cook

Proceedings of the Generative Programming and Component Engineering, 2009

2005

Modeling Interactions in Feature Oriented Software Designs.

Jia Liu, Don S. Batory, Srinivas Nedunuri

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2000

The functional approach to programming.

Srinivas Nedunuri

ACM SIGSOFT Softw. Eng. Notes, 2000