Runtime analysis of probabilistic programs with unbounded recursion. - Tomás Brázdil; Stefan Kiefer; Antonín Kucera 001; Ivana Hutarová Vareková (J. Comput. Syst. Sci., 2015)

2DProts: database of family-wide protein secondary structure diagrams. - Ivana Hutarová Vareková; Jan Hutar; Adam Midlik; Vladimír Horský; Eva Hladká; Radka Svobodová Vareková; Karel Berka (Bioinform., 2021)

CATH: increased structural coverage of functional space. - Ian Sillitoe; Nicola Bordin; Natalie L. Dawson; Vaishali P. Waman; Paul Ashford; Harry M. Scholes; Camilla S. M. Pang; Laurel Woodridge; Clemens Rauer; Neeladri Sen; Mahnaz Abbasian; Sean Le Cornu; et al. (Nucleic Acids Res., 2021)

OverProt: secondary structure consensus for protein families. - Adam Midlik; Ivana Hutarová Vareková; Jan Hutar; Aliaksei Chareshneu; Karel Berka; Radka Svobodová Vareková (Bioinform., 2022)