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:
2015
2014
2013Wrote 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.