Travelled to:1 × Switzerland
Collaborated with:T.Brázdil S.Kiefer A.Kucera
Talks about:probabilist (1) unbound (1) program (1) analysi (1) runtim (1) recurs (1)
Person: Ivana Hutarová Vareková
DBLP: Varekov=aacute=:Ivana_Hutarov=aacute=
Contributed to:
2011Wrote 1 papers:
- ICALP-v2-2011-BrazdilKKV #analysis #bound #probability #recursion #runtime #source code
- Runtime Analysis of Probabilistic Programs with Unbounded Recursion (TB, SK, AK, IHV), pp. 319–331.