RNDr. Martin Demko, Ph.D.

2017

• Analysis of gene expression and protein synthesis related to hypobiosis of Teladorsagia circumcincta

  JANKŮJOVÁ Marie POTĚŠIL David ZDRÁHAL Zbyněk DEMKO Martin OPPELT Jan KAŠNÝ Martin VADLEJCH Jaroslav

  Konferenční abstrakty

  Rok: 2017, druh: Konferenční abstrakty

• ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data

  BYSTRÝ Vojtěch REIGL Tomáš KREJČÍ Adam DEMKO Martin HANÁKOVÁ Barbora GRIONI Andrea KNECHT Henrik SCHLITT Max DREGER Peter SELLNER Leopold HERRMANN Dietrich PINGEON Marine BOUDJOGHRA Myriam RIJNTJES Jos POTT Christiane LANGERAK Anton W. GROENEN Patricia J. T. A. DAVI Frederic BRUGGEMANN Monika DARZENTAS Nikos

  Článek v odborném periodiku

  Bioinformatics, rok: 2017, ročník: 33, vydání: 3, DOI

• Detecting Attractors in Biological Models with Uncertain Parameters

  BRIM Luboš BARNAT Jiří ŠAFRÁNEK David BENEŠ Nikola DEMKO Martin PASTVA Samuel HAJNAL Matej

  Článek ve sborníku

  Computational Methods in Systems Biology. CMSB 2017, rok: 2017

• Discrete Bifurcation Analysis with Pithya

  BENEŠ Nikola BRIM Luboš DEMKO Martin HAJNAL Matej PASTVA Samuel ŠAFRÁNEK David

  Článek ve sborníku

  15th International Conference on Computational Methods in Systems Biology (CMSB), rok: 2017

• GLASS

  PÁL Karol BYSTRÝ Vojtěch REIGL Tomáš DEMKO Martin KREJČÍ Adam TOULOUMENIDOU T. STALIKA E. TICHÝ Boris GHIA P. STAMATOPOULOS K. POSPÍŠILOVÁ Šárka MALČÍKOVÁ Jitka DARZENTAS Nikos

  Software

  Rok: 2017

• GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data

  PÁL Karol BYSTRÝ Vojtěch REIGL Tomáš DEMKO Martin KREJČÍ Adam TOULOUMENIDOU T. STALIKA E. TICHÝ Boris GHIA P. STAMATOPOULOS K. POSPÍŠILOVÁ Šárka MALČÍKOVÁ Jitka DARZENTAS Nikos

  Článek v odborném periodiku

  Bioinformatics, rok: 2017, ročník: 33, vydání: 23, DOI

• GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data.

  PÁL Karol BYSTRÝ Vojtěch REIGL Tomáš DEMKO Martin KREJČÍ Adam TICHÝ Boris POSPÍŠILOVÁ Šárka MALČÍKOVÁ Jitka DARZENTAS Nikos

  Konferenční abstrakty

  Rok: 2017, druh: Konferenční abstrakty

• Model Checking Approach to Discrete Bifurcation Analysis

  BENEŠ Nikola BRIM Luboš DEMKO Martin ŠAFRÁNEK David PASTVA Samuel HAJNAL Matej

  Další prezentace na konferencích

  Rok: 2017, druh: Další prezentace na konferencích

• Parameter Synthesis of Biological Models by Model Checking: A Case Study

  BRIM Luboš ŠAFRÁNEK David BENEŠ Nikola DEMKO Martin PASTVA Samuel HAJNAL Matej

  Další prezentace na konferencích

  Rok: 2017, druh: Další prezentace na konferencích

• Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems

  BENEŠ Nikola BRIM Luboš DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

  Článek ve sborníku

  Computer Aided Verification. CAV 2017, rok: 2017