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

Junior researcher, Biological Data Management and Analysis Core Facility

correspondence Address:
Kamenice 753/5, 625 00 Brno

e‑mail:

social and academic networks:

Basic information

Type

Total number of publications: 16

2018

Protein family based 2D Diagrams of Secondary Structure Elements

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

Conference abstract

Year: 2018, type: Conference abstract
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

Conference abstract

Year: 2018, type: Conference abstract

2017

Mapping and 2D visualization of secondary structure elements in cytochromes

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

Conference abstract

Year: 2017, type: Conference abstract

2015

Runtime analysis of probabilistic programs with unbounded recursion

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

Article in Periodical

Journal of Computer and System Sciences, year: 2015, volume: 81, edition: 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

Article in Proceedings

Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), year: 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

Article in Proceedings

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