Space Efficient Reachability Analysis Through Use of Pseudo-Root States. - Atanas N. Parashkevov; Jay Yantchev (TACAS, 1997)

Virtualization Based Development. - Jay Yantchev; Atanas N. Parashkevov (Concurrency, Security, and Puzzles, 2017)