Jan Mrázek

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 21

Top Topics

Program Execution

Lego Mindstorms

Traffic Density

Top Venues

Publications

J. Ludwig, Jan Mrázek
OrthoRefine: automated enhancement of prior ortholog identification via synteny. BMC Bioinform. 25 (1) (2024)
Gaetan Boisson, Jan Mrázek
The Gamified Gamelan: A new approach to educational outreach using pose detection. EVA (2024)
Jan Mrázek, Ondrej Podrazký, Jan Aubrecht, Ivo Barton, Yauhen Baravets, Jana Probostová
Transparent Ceramic Films for Short- and Mid- Infrared Lasers. ICTON (2023)
Jan Mrázek, Vladimír Chlup, Jiri Barnat
Fault-Tolerant and System-Wide Communication for Metamorphic Robots. CASE (2023)
Jan Mrázek, Jiri Barnat
RoFIOS - Flexible Full-Stack Software Solution for Metamorphic Robots. CASE (2023)
Jan Mrázek, Patrick Ondika, Ivana Cerná, Jiri Barnat
Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics. ICRA (2023)
Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat
Reproducible execution of POSIX programs with DiOS. Softw. Syst. Model. 20 (2) (2021)
Jan Mrázek, Martin Jonás, Jiri Barnat
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? IROS (2021)
Ondrej Podrazký, Jan Mrázek, Jana Probostová, Sona Vytykácová, Ivan Kasík, Sárka Pitrová, Ali A. Jasim
Ex-Vivo Measurement of the pH in Aqueous Humor Samples by a Tapered Fiber-Optic Sensor. Sensors 21 (15) (2021)
Jan Mrázek, Petr Varák, Jan Aubrecht, Sona Vytykácová, Yauhen Baravets, Ivan Kasík
Nanocrystalline Ceramic Luminophores for Short- and Mid-Infrared. ICTON (2020)
Jan Mrázek, Ivan Kasík, Jan Aubrecht, Ondrej Podrazký, Jakub Cajzl, Pavel Peterka
Nanocrystalline Ceramic Phosphors for High-Power Lasers Operating at 2μm. ICTON (2019)
Jan Mrázek, Lucia Duricova Mrazkova, Martin Hromada
Traffic Control Through Traffic Density. EECS (2019)
Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat
Reproducible Execution of POSIX Programs with DiOS. CoRR (2019)
Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat
Reproducible Execution of POSIX Programs with DiOS. SEFM (2019)
Jan Mrázek, Jiri Barnat
RoFICoM - First Open-Hardware Connector for Metamorphic Robots. IROS (2019)
Lucia Duricova Mrazkova, Martin Hromada, Jan Mrázek
The Soft Target Assessment and Software Tool. ICSRS (2018)
Martin Hromada, Jan Mrázek, Lucia Duricova Prochazkova
The proposal of software for transport infrastructure management. IISA (2017)
Jan Mrázek, Martin Jonás, Vladimír Still, Henrich Lauko, Jiri Barnat
Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution). TACAS (2) (2017)
Zuzana Baranová, Jiri Barnat, Katarína Kejstová, Tadeás Kucera, Henrich Lauko, Jan Mrázek, Petr Rockai, Vladimír Still
Model Checking of C and C++ with DIVINE 4. ATVA (2017)
Jan Mrázek, Martin Jonás, Jiri Barnat
SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking. CoRR (2017)
Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. SPIN (2016)
Jan Mrázek
Finding sequence motifs in prokaryotic genomes - a brief practical guide for a microbiologist. Briefings Bioinform. 10 (5) (2009)
Jan Mrázek, Shaohua Xie, Xiangxue Guo, Anuj Srivastava
AIMIE: a web-based environment for detection and interpretation of significant sequence motifs in prokaryotic genomes. Bioinform. 24 (8) (2008)
Sergey V. Fogelson, Khaled Rasheed, Xiangxue Guo, Jan Mrázek
Comparing Machine Learning Techniques in Predicting Translation Start Sites in Prokaryotic Genomes. MLMTA (2007)
Jan Mrázek, Shaohua Xie
Pattern locator: a new tool for finding local sequence patterns in genomic DNA sequences. Bioinform. 22 (24) (2006)
Jan Mrázek
Data Mining for Robust Business Intelligence Solutions. PKDD (1999)
Jan Mrázek, J. Kypr
Middle-range clustering of nucleotides in genomes. Comput. Appl. Biosci. 11 (2) (1995)
Jan Mrázek, J. Kypr
UNIREP: a microcomputer program to find unique and repetitive nucleotide sequences in genomes. Comput. Appl. Biosci. 9 (3) (1993)
Jan Mrázek, J. Kypr
GLOBIC: a very fast microcomputer program for fingerprinting, characterization and comparison of long nucleotide sequences. Comput. Appl. Biosci. 8 (1) (1992)
Jan Mrázek, A. Spanova
ANAGEL: a personal computer program for evaluating DNA fragment lengths from distances migrated in an agarose gel. Comput. Appl. Biosci. 8 (5) (1992)
Jan Mrázek, J. Kypr
DNABIND: an interactive microcomputer program searching for nucleotide sequences that may code for conserved DNA-binding protein motifs. Comput. Appl. Biosci. 8 (4) (1992)
Jan Mrázek, J. Kypr
Computer program Jamsek combining statistical and stereochemical rules for the prediction of protein secondary structure. Comput. Appl. Biosci. 4 (2) (1988)