Jan Fiedor

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 5

Top Topics

Dynamic Analysis

Answer Set Programming

Speculative Execution

Transactional Memory

Top Venues

Softw. Test. Verification Reliab.

Publications