Danila Demin

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 3

Top Topics

Database Systems

Linear Temporal Logic

Polynomial Hierarchy

Hamming Distance

Top Venues

Publications