Srinivas Nedunuri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2014
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICRA | SMT-based synthesis of integrated task and motion plans from plan outlines. | Srinivas Nedunuri, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, Lydia E. Kavraki |
| 2012 | FM | Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. | Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
| 2010 | ICTAC | A Class of Greedy Algorithms and Its Relation to Greedoids. | Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
| 2009 | GPCE | Synthesis of fast programs for maximum segment sum problems. | Srinivas Nedunuri, William R. Cook |