RNDr. Ivana Hutařová Vařeková, Ph.D.

2018

• Secondary Structure Elements-Annotations and Schematic 2D Visualizations Stable for Individual Protein Families

  SVOBODOVÁ VAŘEKOVÁ Radka MIDLIK Adam HUTAŘOVÁ VAŘEKOVÁ Ivana HUTAŘ Jan NAVRÁTILOVÁ Veronika KOČA Jaroslav BERKA Karel

  Konferenční abstrakty

  Rok: 2018, druh: Konferenční abstrakty

2017

• Mapping and 2D visualization of secondary structure elements in cytochromes

  HUTAŘOVÁ VAŘEKOVÁ Ivana HUTAŘ Jan SVOBODOVÁ VAŘEKOVÁ Radka BERKA Karel

  Konferenční abstrakty

  Rok: 2017, druh: Konferenční abstrakty

2015

• Runtime analysis of probabilistic programs with unbounded recursion

  BRÁZDIL Tomáš KIEFER Stefan KUČERA Antonín HUTAŘOVÁ VAŘEKOVÁ Ivana

  Článek v odborném periodiku

  Journal of Computer and System Sciences, rok: 2015, ročník: 81, vydání: 1, DOI

2011

• Runtime Analysis of Probabilistic Programs with Unbounded Recursion

  BRÁZDIL Tomáš KIEFER Stefan KUČERA Antonín HUTAŘOVÁ VAŘEKOVÁ Ivana

  Článek ve sborníku

  Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), rok: 2011

2008

• Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems

  MORAVCOVÁ VAŘEKOVÁ Pavlína VAŘEKOVÁ Ivana ČERNÁ Ivana

  Článek ve sborníku

  Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08), rok: 2008