Marat Kh. Akhin

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Topics

Tree Structures

Parameter Space

Software Systems

Top Venues

Autom. Control. Comput. Sci.

Publications

Marat Kh. Akhin, Sam Kolton, Vladimir M. Itsykson
Random model sampling: Making craig interpolation work when it should not. Autom. Control. Comput. Sci. 49 (7) (2015)
Marat Kh. Akhin, Mikhail A. Belyaev, Vladimir M. Itsykson
Software defect detection by combining bounded model checking and approximations of functions. Autom. Control. Comput. Sci. 48 (7) (2014)
Marat Kh. Akhin, Vladimir M. Itsykson
Tree slicing: Finding intertwined and gapped clones in one simple step. Autom. Control. Comput. Sci. 47 (7) (2013)