Using Classical Planners to Solve Nondeterministic Planning Problems. - Ugur Kuter; Dana S. Nau; Elnatan Reisner; Robert P. Goldman (ICAPS, 2008)

Maintaining Focus: Overcoming Attention Deficit Disorder in Contingent Planning. - Ronald Alford; Ugur Kuter; Dana S. Nau; Elnatan Reisner; Robert P. Goldman (FLAIRS, 2009)

Using symbolic evaluation to understand behavior in configurable software systems. - Elnatan Reisner; Charles Song; Kin-Keung Ma; Jeffrey S. Foster; Adam A. Porter (ICSE (1), 2010)