RNDr. Ivana Hutařová Vařeková
Junior researcher, Biological Data Management and Analysis Core Facility
Correspondence Address:
Kamenice 753/5, 625 00 Brno
E‑mail: |
---|
Total number of publications: 15
2018
-
Secondary Structure Elements-Annotations and Schematic 2D Visualizations Stable for Individual Protein Families
Year: 2018, type: Conference abstract
2017
-
Mapping and 2D visualization of secondary structure elements in cytochromes
Year: 2017, type: Conference abstract
2015
-
Runtime analysis of probabilistic programs with unbounded recursion
Journal of Computer and System Sciences, year: 2015, volume: 81, edition: 1, DOI
2011
-
Runtime Analysis of Probabilistic Programs with Unbounded Recursion
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
Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08), year: 2008