Computer program Jamsek combining statistical and stereochemical rules for the prediction of protein secondary structure. - Jan Mrázek; J. Kypr (Comput. Appl. Biosci., 1988)

GLOBIC: a very fast microcomputer program for fingerprinting, characterization and comparison of long nucleotide sequences. - Jan Mrázek; J. Kypr (Comput. Appl. Biosci., 1992)

DNABIND: an interactive microcomputer program searching for nucleotide sequences that may code for conserved DNA-binding protein motifs. - Jan Mrázek; J. Kypr (Comput. Appl. Biosci., 1992)

ANAGEL: a personal computer program for evaluating DNA fragment lengths from distances migrated in an agarose gel. - Jan Mrázek; A. Spanova (Comput. Appl. Biosci., 1992)

UNIREP: a microcomputer program to find unique and repetitive nucleotide sequences in genomes. - Jan Mrázek; J. Kypr (Comput. Appl. Biosci., 1993)

Middle-range clustering of nucleotides in genomes. - Jan Mrázek; J. Kypr (Comput. Appl. Biosci., 1995)

Data Mining for Robust Business Intelligence Solutions. - Jan Mrázek (PKDD, 1999)

Pattern locator: a new tool for finding local sequence patterns in genomic DNA sequences. - Jan Mrázek; Shaohua Xie (Bioinform., 2006)

Comparing Machine Learning Techniques in Predicting Translation Start Sites in Prokaryotic Genomes. - Sergey V. Fogelson; Khaled Rasheed; Xiangxue Guo; Jan Mrázek (MLMTA, 2007)

AIMIE: a web-based environment for detection and interpretation of significant sequence motifs in prokaryotic genomes. - Jan Mrázek; Shaohua Xie; Xiangxue Guo; Anuj Srivastava (Bioinform., 2008)

Finding sequence motifs in prokaryotic genomes - a brief practical guide for a microbiologist. - Jan Mrázek (Briefings Bioinform., 2009)

SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. - Jan Mrázek; Petr Bauch; Henrich Lauko; Jiri Barnat (SPIN, 2016)

Model Checking of C and C++ with DIVINE 4. - Zuzana Baranová; Jiri Barnat; Katarína Kejstová; Tadeás Kucera; Henrich Lauko; Jan Mrázek; Petr Rockai; Vladimír Still (ATVA, 2017)

The proposal of software for transport infrastructure management. - Martin Hromada; Jan Mrázek; Lucia Duricova Prochazkova (IISA, 2017)

Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution). - Jan Mrázek; Martin Jonás; Vladimír Still; Henrich Lauko; Jiri Barnat (TACAS (2), 2017)

SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking. - Jan Mrázek; Martin Jonás; Jiri Barnat (CoRR, 2017)

The Soft Target Assessment and Software Tool. - Lucia Duricova Mrazkova; Martin Hromada; Jan Mrázek (ICSRS, 2018)

Traffic Control Through Traffic Density. - Jan Mrázek; Lucia Duricova Mrazkova; Martin Hromada (EECS, 2019)

Nanocrystalline Ceramic Phosphors for High-Power Lasers Operating at 2μm. - Jan Mrázek; Ivan Kasík; Jan Aubrecht; Ondrej Podrazký; Jakub Cajzl; Pavel Peterka (ICTON, 2019)

RoFICoM - First Open-Hardware Connector for Metamorphic Robots. - Jan Mrázek; Jiri Barnat (IROS, 2019)

Nanocrystalline Ceramic Luminophores for Short- and Mid-Infrared. - Jan Mrázek; Petr Varák; Jan Aubrecht; Sona Vytykácová; Yauhen Baravets; Ivan Kasík (ICTON, 2020)

Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? - Jan Mrázek; Martin Jonás; Jiri Barnat (IROS, 2021)

Ex-Vivo Measurement of the pH in Aqueous Humor Samples by a Tapered Fiber-Optic Sensor. - Ondrej Podrazký; Jan Mrázek; Jana Probostová; Sona Vytykácová; Ivan Kasík; Sárka Pitrová; Ali A. Jasim (Sensors, 2021)

Reproducible execution of POSIX programs with DiOS. - Petr Rockai; Zuzana Baranová; Jan Mrázek; Katarína Kejstová; Jiri Barnat (Softw. Syst. Model., 2021)

RoFIOS - Flexible Full-Stack Software Solution for Metamorphic Robots. - Jan Mrázek; Jiri Barnat (CASE, 2023)

Fault-Tolerant and System-Wide Communication for Metamorphic Robots. - Jan Mrázek; Vladimír Chlup; Jiri Barnat (CASE, 2023)

Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics. - Jan Mrázek; Patrick Ondika; Ivana Cerná; Jiri Barnat (ICRA, 2023)

Transparent Ceramic Films for Short- and Mid- Infrared Lasers. - Jan Mrázek; Ondrej Podrazký; Jan Aubrecht; Ivo Barton; Yauhen Baravets; Jana Probostová (ICTON, 2023)

The Gamified Gamelan: A new approach to educational outreach using pose detection. - Gaetan Boisson; Jan Mrázek (EVA, 2024)

Nanoceramic materials for power lasers operating in short- mid-infrared. - Ivo Barton; Ondrej Podrazký; Petr Varák; Jana Probostová; Jan Mrázek (ICTON, 2024)

Transparent ceramics for high-power infrared lasers operating above μm. - Jan Mrázek; Ondrej Podrazký; Petr Varák; Ivo Barton; Jana Probostová (ICTON, 2024)

Yttrium aluminium garnet doped fiber lasers operating at 2 μm. - Jana Probostová; Michal Kamrádek; Ivo Barton; Ondrej Podrazký; Jan Aubrecht; Petr Varák; Jan Mrázek (ICTON, 2024)

Enhancement of RE ions emission by silica glass nanostructuring. - Petr Varák; Jakub Volf; Jan Mrázek; Vítezslav Jarý; Pavla Nekvindova (ICTON, 2024)

Tree-Based Reconfiguration of Metamorphic Robots. - Patrick Ondika; Jan Mrázek; Jiri Barnat (IROS, 2024)

OrthoRefine: automated enhancement of prior ortholog identification via synteny. - J. Ludwig; Jan Mrázek (BMC Bioinform., 2024)