Login / Signup
Jay Yantchev
Publication Activity (10 Years)
Years Active: 1997-2017
Publications (10 Years): 1
Top Topics
Operating System
Decision Support
Development Environment
Search Algorithm
Top Venues
Concurrency, Security, and Puzzles
</>
Publications
</>
Jay Yantchev
,
Atanas N. Parashkevov
Virtualization Based Development.
Concurrency, Security, and Puzzles
(2017)
Atanas N. Parashkevov
,
Jay Yantchev
Space Efficient Reachability Analysis Through Use of Pseudo-Root States.
TACAS
(1997)