Concepedia

Dmitry Chistikov

DC

3

Publications

58

Citations

3

H-Index

2016

Active since

Affiliations

University of Warwick(Current)

Dmitry Chistikov is an author at University of Warwick specializing in computer science, computational complexity, and engineering.

ORCID

Top concepts

Publications per year

2016–2017

3

Publications

3

The Taming of the Semi-Linear Set

Dmitry Chistikov, Christoph Haase · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 27 citations · Full text

, , +16

Approximate counting in SMT and value estimation for probabilistic programs

Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar · Acta Informatica · 2017 · 19 citations · Full text

On Restricted Nonnegative Matrix Factorization

Dmitry Chistikov, Stefan Kiefer, Ines Marušić et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 12 citations · Full text

, , +11

Rows per page

1–3 of 3