Jan Mrázek

According to our database, Jan Mrázek authored at least 29 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

OrthoRefine: automated enhancement of prior ortholog identification via synteny.

J. Ludwig, Jan Mrázek

BMC Bioinform., December, 2024

2023

Transparent Ceramic Films for Short- and Mid- Infrared Lasers.

Jan Mrázek, Ondrej Podrazký, Jan Aubrecht, Ivo Barton, Yauhen Baravets, Jana Probostová

Proceedings of the 23rd International Conference on Transparent Optical Networks, 2023

Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics.

Jan Mrázek, Patrick Ondika, Ivana Cerná, Jiri Barnat

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Fault-Tolerant and System-Wide Communication for Metamorphic Robots.

Jan Mrázek, Vladimír Chlup, Jiri Barnat

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

RoFIOS - Flexible Full-Stack Software Solution for Metamorphic Robots.

Jan Mrázek, Jiri Barnat

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2021

Reproducible execution of POSIX programs with DiOS.

Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat

Softw. Syst. Model., 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

Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?

Jan Mrázek, Martin Jonás, Jiri Barnat

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

2020

Nanocrystalline Ceramic Luminophores for Short- and Mid-Infrared.

Jan Mrázek, Petr Varák, Jan Aubrecht, Sona Vytykácová, Yauhen Baravets, Ivan Kasík

Proceedings of the 22nd International Conference on Transparent Optical Networks, 2020

2019

RoFICoM - First Open-Hardware Connector for Metamorphic Robots.

Jan Mrázek, Jiri Barnat

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 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

Proceedings of the 21st International Conference on Transparent Optical Networks, 2019

Traffic Control Through Traffic Density.

Jan Mrázek, Lucia Duricova Mrazkova, Martin Hromada

Proceedings of the 3rd European Conference on Electrical Engineering and Computer Science, 2019

2018

The Soft Target Assessment and Software Tool.

Lucia Duricova Mrazkova, Martin Hromada, Jan Mrázek

Proceedings of the 3rd International Conference on System Reliability and Safety, 2018

2017

SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking.

Jan Mrázek, Martin Jonás, Jiri Barnat

CoRR, 2017

Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution).

Jan Mrázek, Martin Jonás, Vladimír Still, Henrich Lauko, Jiri Barnat

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

The proposal of software for transport infrastructure management.

Martin Hromada, Jan Mrázek, Lucia Duricova Prochazkova

Proceedings of the 8th International Conference on Information, 2017

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

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration.

Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

2009

Finding sequence motifs in prokaryotic genomes - a brief practical guide for a microbiologist.

Jan Mrázek

Briefings Bioinform., 2009

2008

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

2007

Comparing Machine Learning Techniques in Predicting Translation Start Sites in Prokaryotic Genomes.

Sergey V. Fogelson, Khaled Rasheed, Xiangxue Guo, Jan Mrázek

Proceedings of the 2007 International Conference on Machine Learning; Models, 2007

2006

Pattern locator: a new tool for finding local sequence patterns in genomic DNA sequences.

Jan Mrázek, Shaohua Xie

Bioinform., 2006

1999

Data Mining for Robust Business Intelligence Solutions.

Jan Mrázek

Proceedings of the Principles of Data Mining and Knowledge Discovery, 1999

1995

Middle-range clustering of nucleotides in genomes.

Jan Mrázek, J. Kypr

Comput. Appl. Biosci., 1995

1993

UNIREP: a microcomputer program to find unique and repetitive nucleotide sequences in genomes.

Jan Mrázek, J. Kypr

Comput. Appl. Biosci., 1993

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

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

GLOBIC: a very fast microcomputer program for fingerprinting, characterization and comparison of long nucleotide sequences.

Jan Mrázek, J. Kypr

Comput. Appl. Biosci., 1992

1988

Computer program Jamsek combining statistical and stereochemical rules for the prediction of protein secondary structure.

Jan Mrázek, J. Kypr

Comput. Appl. Biosci., 1988