Jan Mrázek

38 papers A* 1A 3B 2Journal 14Unranked 18
YearRankTypeTitle / Venue / Authors
2026 — conf
High Sensitivity to Gamma Radiation of In-Fiber Long Period Gratings: Toward Dosimeters for Medical Applications.
PHOTOPTICS
Andrei Stancalie, Flavio Esposito, Anubhav Srivastava, Razvan Mihalcea, George-Tony Constantin, Aurelian Marcu, Ivo Barton, Daniel Negut, Stefania Campopiano, Alessandro Bartoloni, Lidia Strigari, Jan Mrázek, Agostino Iadicicco
2024 — conf
Enhancement of RE ions emission by silica glass nanostructuring.
ICTON
Petr Varák, Jakub Volf, Jan Mrázek, Vítezslav Jarý, Pavla Nekvindova
2024 — conf
Nanoceramic materials for power lasers operating in short- mid-infrared.
ICTON
Ivo Barton, Ondrej Podrazký, Petr Varák, Jana Probostová, Jan Mrázek
2024 J jnl
OrthoRefine: automated enhancement of prior ortholog identification via synteny.
BMC Bioinform.
J. Ludwig, Jan Mrázek
2024 — conf
The Gamified Gamelan: A new approach to educational outreach using pose detection.
EVA
Gaetan Boisson, Jan Mrázek
2024 — conf
Transparent ceramics for high-power infrared lasers operating above μm.
ICTON
Jan Mrázek, Ondrej Podrazký, Petr Varák, Ivo Barton, Jana Probostová
2024 A conf
Tree-Based Reconfiguration of Metamorphic Robots.
IROS
Patrick Ondika, Jan Mrázek, Jiri Barnat
2024 — conf
Yttrium aluminium garnet doped fiber lasers operating at 2 μm.
ICTON
Jana Probostová, Michal Kamrádek, Ivo Barton, Ondrej Podrazký, Jan Aubrecht, Petr Varák, Jan Mrázek
2023 — conf
Fault-Tolerant and System-Wide Communication for Metamorphic Robots.
CASE
Jan Mrázek, Vladimír Chlup, Jiri Barnat
2023 — conf
RoFIOS - Flexible Full-Stack Software Solution for Metamorphic Robots.
CASE
Jan Mrázek, Jiri Barnat
2023 A* conf
Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics.
ICRA
Jan Mrázek, Patrick Ondika, Ivana Cerná, Jiri Barnat
2023 — conf
Transparent Ceramic Films for Short- and Mid- Infrared Lasers.
ICTON
Jan Mrázek, Ondrej Podrazký, Jan Aubrecht, Ivo Barton, Yauhen Baravets, Jana Probostová
2021 J jnl
Ex-Vivo Measurement of the pH in Aqueous Humor Samples by a Tapered Fiber-Optic Sensor.
Sensors
Ondrej Podrazký, Jan Mrázek, Jana Probostová, Sona Vytykácová, Ivan Kasík, Sárka Pitrová, Ali A. Jasim
2021 A conf
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?
IROS
Jan Mrázek, Martin Jonás, Jiri Barnat
2021 J jnl
Reproducible execution of POSIX programs with DiOS.
Softw. Syst. Model.
Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat
2020 — conf
Nanocrystalline Ceramic Luminophores for Short- and Mid-Infrared.
ICTON
Jan Mrázek, Petr Varák, Jan Aubrecht, Sona Vytykácová, Yauhen Baravets, Ivan Kasík
2019 — conf
Nanocrystalline Ceramic Phosphors for High-Power Lasers Operating at 2μm.
ICTON
Jan Mrázek, Ivan Kasík, Jan Aubrecht, Ondrej Podrazký, Jakub Cajzl, Pavel Peterka
2019 B conf
Reproducible Execution of POSIX Programs with DiOS.
SEFM
Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat
2019 J jnl
Reproducible Execution of POSIX Programs with DiOS.
CoRR
Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat
2019 A conf
RoFICoM - First Open-Hardware Connector for Metamorphic Robots.
IROS
Jan Mrázek, Jiri Barnat
2019 — conf
Traffic Control Through Traffic Density.
EECS
Jan Mrázek, Lucia Duricova Mrazkova, Martin Hromada
2018 — conf
The Soft Target Assessment and Software Tool.
ICSRS
Lucia Duricova Mrazkova, Martin Hromada, Jan Mrázek
2017 B conf
Model Checking of C and C++ with DIVINE 4.
ATVA
Zuzana Baranová, Jiri Barnat, Katarína Kejstová, Tadeás Kucera, Henrich Lauko, Jan Mrázek, Petr Rockai, Vladimír Still
2017 — conf
Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution).
TACAS (2)
Jan Mrázek, Martin Jonás, Vladimír Still, Henrich Lauko, Jiri Barnat
2017 J jnl
SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking.
CoRR
Jan Mrázek, Martin Jonás, Jiri Barnat
2017 — conf
The proposal of software for transport infrastructure management.
IISA
Martin Hromada, Jan Mrázek, Lucia Duricova Prochazkova
2016 — conf
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration.
SPIN
Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat
2009 J jnl
Finding sequence motifs in prokaryotic genomes - a brief practical guide for a microbiologist.
Briefings Bioinform.
Jan Mrázek
2008 J jnl
AIMIE: a web-based environment for detection and interpretation of significant sequence motifs in prokaryotic genomes.
Bioinform.
Jan Mrázek, Shaohua Xie, Xiangxue Guo, Anuj Srivastava
2007 — conf
Comparing Machine Learning Techniques in Predicting Translation Start Sites in Prokaryotic Genomes.
MLMTA
Sergey V. Fogelson, Khaled Rasheed, Xiangxue Guo, Jan Mrázek
2006 J jnl
Pattern locator: a new tool for finding local sequence patterns in genomic DNA sequences.
Bioinform.
Jan Mrázek, Shaohua Xie
1999 — conf
Data Mining for Robust Business Intelligence Solutions.
PKDD
Jan Mrázek
1995 J jnl
Middle-range clustering of nucleotides in genomes.
Comput. Appl. Biosci.
Jan Mrázek, J. Kypr
1993 J jnl
UNIREP: a microcomputer program to find unique and repetitive nucleotide sequences in genomes.
Comput. Appl. Biosci.
Jan Mrázek, J. Kypr
1992 J jnl
ANAGEL: a personal computer program for evaluating DNA fragment lengths from distances migrated in an agarose gel.
Comput. Appl. Biosci.
Jan Mrázek, A. Spanova
1992 J jnl
DNABIND: an interactive microcomputer program searching for nucleotide sequences that may code for conserved DNA-binding protein motifs.
Comput. Appl. Biosci.
Jan Mrázek, J. Kypr
1992 J jnl
GLOBIC: a very fast microcomputer program for fingerprinting, characterization and comparison of long nucleotide sequences.
Comput. Appl. Biosci.
Jan Mrázek, J. Kypr
1988 J jnl
Computer program Jamsek combining statistical and stereochemical rules for the prediction of protein secondary structure.
Comput. Appl. Biosci.
Jan Mrázek, J. Kypr