On Parameter Synthesis by Parallel Model Checking. - Jiri Barnat; Lubos Brim; Adam Krejci; Adam Streck; David Safránek; Martin Vejnar; Tomas Vejpustek (IEEE ACM Trans. Comput. Biol. Bioinform., 2012)

Hammock: a hidden Markov model-based peptide clustering algorithm to identify protein-interaction consensus motifs in large datasets. - Adam Krejci; Ted R. Hupp; Matej Lexa; Borivoj Vojtesek; Petr Müller (Bioinform., 2016)

ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data. - Vojtech Bystrý; Tomas Reigl; Adam Krejci; Martin Demko; Barbora Hanakova; Andrea Grioni; Henrik Knecht; Max Schlitt; Peter Dreger; Leopold Sellner; Dietrich Herrmann; Marine Pingeon; et al. (Bioinform., 2017)

GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data. - Karol Pal; Vojtech Bystrý; Tomas Reigl; Martin Demko; Adam Krejci; Tasoula Touloumenidou; Evangelia Stalika; Boris Tichy; Paolo Ghia; Kostas Stamatopoulos; Sarka Pospisilova; Jitka Malcikova; et al. (Bioinform., 2017)