Login / Signup
Aliaksei Tsitovich
Publication Activity (10 Years)
Years Active: 2008-2014
Publications (10 Years): 0
Top Topics
Image Compression
Multiresolution
Automatic Theorem Proving
Image Interpolation
Top Venues
Formal Methods Syst. Des.
CoRR
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>