`Travelled to:`

1 × Canada

1 × Denmark

1 × United Kingdom

`Collaborated with:`

R.Majumdar R.Dimitrova

`Talks about:`

program (2) word (2) probabilist (1) transduct (1) straight (1) pushdown (1) automata (1) approxim (1) uniform (1) theorem (1)

## Person: Dmitry V. Chistikov

### DBLP: Chistikov:Dmitry_V=

### Contributed to:

### Wrote 3 papers:

- TACAS-2015-ChistikovDM #approximate #estimation #probability #smt #source code
- Approximate Counting in SMT and Value Estimation for Probabilistic Programs (DVC, RD, RM), pp. 320–334.
- ICALP-v2-2014-ChistikovM #automaton #source code
- Unary Pushdown Automata and Straight-Line Programs (DVC, RM), pp. 146–157.
- CIAA-2013-ChistikovM #theorem #word
- A Uniformization Theorem for Nested Word to Word Transductions (DVC, RM), pp. 97–108.