default search action

combined dblp search
author search
venue search
publication search

ask others

Jan Mrázek

> Home > Persons

This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/LudwigM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/LudwigM24
J. Ludwig, Jan Mrázek:
OrthoRefine: automated enhancement of prior ortholog identification via synteny. BMC Bioinform. 25(1): 163 (2024)
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/eva/BoissonM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eva/BoissonM24
Gaetan Boisson, Jan Mrázek:
The Gamified Gamelan: A new approach to educational outreach using pose detection. EVA 2024: 168-169
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icton/BartonPVPM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icton/BartonPVPM24
Ivo Barton, Ondrej Podrazký, Petr Varák, Jana Probostová, Jan Mrázek:
Nanoceramic materials for power lasers operating in short- mid-infrared. ICTON 2024: 1-4
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icton/MrazekPVBP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icton/MrazekPVBP24
Jan Mrázek, Ondrej Podrazký, Petr Varák, Ivo Barton, Jana Probostová:
Transparent ceramics for high-power infrared lasers operating above μm. ICTON 2024: 1-4
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icton/ProbostovaKBPAV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icton/ProbostovaKBPAV24
Jana Probostová, Michal Kamrádek, Ivo Barton, Ondrej Podrazký, Jan Aubrecht, Petr Varák, Jan Mrázek:
Yttrium aluminium garnet doped fiber lasers operating at 2 μm. ICTON 2024: 1-4
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icton/VarakVMJN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icton/VarakVMJN24
Petr Varák, Jakub Volf, Jan Mrázek, Vítezslav Jarý, Pavla Nekvindova:
Enhancement of RE ions emission by silica glass nanostructuring. ICTON 2024: 1-4
2023
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/case/MrazekB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/MrazekB23
Jan Mrázek, Jiri Barnat:
RoFIOS - Flexible Full-Stack Software Solution for Metamorphic Robots. CASE 2023: 1-8
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/case/MrazekCB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/MrazekCB23
Jan Mrázek, Vladimír Chlup, Jiri Barnat:
Fault-Tolerant and System-Wide Communication for Metamorphic Robots. CASE 2023: 1-8
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/MrazekOCB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/MrazekOCB23
Jan Mrázek, Patrick Ondika, Ivana Cerná, Jiri Barnat:
Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics. ICRA 2023: 11894-11900
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icton/MrazekPABBP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icton/MrazekPABBP23
Jan Mrázek, Ondrej Podrazký, Jan Aubrecht, Ivo Barton, Yauhen Baravets, Jana Probostová:
Transparent Ceramic Films for Short- and Mid- Infrared Lasers. ICTON 2023: 1-4
2021
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/PodrazkyMPVKPJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/PodrazkyMPVKPJ21
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): 5075 (2021)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/RockaiBMKB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/RockaiBMKB21
Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat:
Reproducible execution of POSIX programs with DiOS. Softw. Syst. Model. 20(2): 363-382 (2021)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/MrazekJB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/MrazekJB21
Jan Mrázek, Martin Jonás, Jiri Barnat:
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? IROS 2021: 6935-6940
2020
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icton/MrazekVAVBK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icton/MrazekVAVBK20
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: 1-4

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/eecs/MrazekMH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eecs/MrazekMH19
Jan Mrázek, Lucia Duricova Mrazkova, Martin Hromada:
Traffic Control Through Traffic Density. EECS 2019: 19-21
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icton/MrazekKAPCP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icton/MrazekKAPCP19
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: 1-4
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/MrazekB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/MrazekB19
Jan Mrázek, Jiri Barnat:
RoFICoM - First Open-Hardware Connector for Metamorphic Robots. IROS 2019: 2720-2725
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/RockaiBMKB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/RockaiBMKB19
Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat:
Reproducible Execution of POSIX Programs with DiOS. SEFM 2019: 333-349
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-03356
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-03356
Petr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat:
Reproducible Execution of POSIX Programs with DiOS. CoRR abs/1907.03356 (2019)
2018
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/MrazkovaHM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/MrazkovaHM18
Lucia Duricova Mrazkova, Martin Hromada, Jan Mrázek:
The Soft Target Assessment and Software Tool. ICSRS 2018: 30-34
2017
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BaranovaBKKLMRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BaranovaBKKLMRS17
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: 201-207
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iisa/HromadaMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iisa/HromadaMP17
Martin Hromada, Jan Mrázek, Lucia Duricova Prochazkova:
The proposal of software for transport infrastructure management. IISA 2017: 1-4
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/MrazekJSLB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MrazekJSLB17
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: 390-393
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-09084
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-09084
Jan Mrázek, Martin Jonás, Jiri Barnat:
SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking. CoRR abs/1711.09084 (2017)
2016
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/MrazekBLB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/MrazekBLB16
Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat:
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. SPIN 2016: 208-213

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/bib/Mrazek09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bib/Mrazek09
Jan Mrázek:
Finding sequence motifs in prokaryotic genomes - a brief practical guide for a microbiologist. Briefings Bioinform. 10(5): 525-536 (2009)
2008
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/MrazekXGS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/MrazekXGS08
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): 1041-1048 (2008)
2007
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mlmta/FogelsonRGM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mlmta/FogelsonRGM07
Sergey V. Fogelson, Khaled Rasheed, Xiangxue Guo, Jan Mrázek:
Comparing Machine Learning Techniques in Predicting Translation Start Sites in Prokaryotic Genomes. MLMTA 2007: 85-89
2006
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/MrazekX06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/MrazekX06
Jan Mrázek, Shaohua Xie:
Pattern locator: a new tool for finding local sequence patterns in genomic DNA sequences. Bioinform. 22(24): 3099-3100 (2006)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pkdd/Mrazek99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pkdd/Mrazek99
Jan Mrázek:
Data Mining for Robust Business Intelligence Solutions. PKDD 1999: 580-581
1995
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/MrazekK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/MrazekK95
Jan Mrázek, J. Kypr:
Middle-range clustering of nucleotides in genomes. Comput. Appl. Biosci. 11(2): 195-199 (1995)
1993
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/MrazekK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/MrazekK93
Jan Mrázek, J. Kypr:
UNIREP: a microcomputer program to find unique and repetitive nucleotide sequences in genomes. Comput. Appl. Biosci. 9(3): 355-360 (1993)
1992
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/MrazekK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/MrazekK92
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): 29-34 (1992)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/MrazekK92a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/MrazekK92a
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): 401-404 (1992)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/MrazekS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/MrazekS92
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): 524 (1992)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1988
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/MrazekK88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/MrazekK88
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): 297-302 (1988)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.