☰

Siddharth Srivastava, Ph.D. - Publications

Affiliations: 
2010 Computer Science University of Massachusetts, Amherst, Amherst, MA 
Area:
Computer Science, Information Technology
Tree Info Similar researchers PubMed Report error

4 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2012 Srivastava S, Immerman N, Zilberstein S. Applicability conditions for plans with loops: Computability results and algorithms Artificial Intelligence. 191: 1-19. DOI: 10.1016/J.Artint.2012.07.005  0.561
2011 Srivastava S. Foundations and applications of generalized planning Ai Communications. 24: 349-351. DOI: 10.3233/Aic-2011-0508  0.404
2011 Srivastava S, Immerman N, Zilberstein S. A new representation and associated algorithms for generalized planning Artificial Intelligence. 175: 615-647. DOI: 10.1016/J.Artint.2010.10.006  0.567
2005 Lev-Ami T, Immerman N, Reps T, Sagiv M, Srivastava S, Yorsh G. Simulating reachability using first-order logic with applications to verification of linked data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3632: 99-115. DOI: 10.2168/Lmcs-5(2:12)2009  0.517
Show low-probability matches.