Ivana Hutarova Varekova

Identifiers

• name variant Ivana Hutarova Varekova 0.60 · backfill

Papers (1)

1. Runtime Analysis of Probabilistic Programs with Unbounded Recursion cs.LO · 2010 · author #4

Mentions

• 1007.1710 #4 · backfill · confidence 0.70 Ivana Hutarova Varekova

Frequent Coauthors

• Antonin Kucera 1 shared papers
• Stefan Kiefer 1 shared papers
• Tomas Brazdil 1 shared papers