default search action

combined dblp search
author search
venue search
publication search

ask others

Martin Demko

> Home > Persons

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?

2021
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/LyckaPDSKFF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/LyckaPDSKFF21
Martin Lycka, Vratislav Peska, Martin Demko, Ioannis Spyroglou, Agata Kilar, Jirí Fajkus, Miloslava Fojtová:
WALTER: an easy way to online evaluate telomere lengths from terminal restriction fragment analysis. BMC Bioinform. 22(1): 145 (2021)

2010 – 2019

see FAQ

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

2019
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/SafranekTBVPDPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/SafranekTBVPDPP19
David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim:
Barbaric Robustness Monitoring Revisited for STL* in Parasim. CMSB 2019: 356-359
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/BystryRKDHGKSDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/BystryRKDHGKSDS17
Vojtech Bystrý, Tomas Reigl, Adam Krejci, Martin Demko, Barbora Hanakova, Andrea Grioni, Henrik Knecht, Max Schlitt, Peter Dreger, Leopold Sellner, Dietrich Herrmann, Marine Pingeon, Myriam Boudjoghra, Jos Rijntjes, Christiane Pott, Anton W. Langerak, Patricia J. T. A. Groenen, Frederic Davi, Monika Brüggemann, Nikos Darzentas, EuroClonality-NGS:
ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data. Bioinform. 33(3): 435-437 (2017)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/PalBRDKTSTGSPMD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/PalBRDKTSTGSPMD17
Karol Pal, Vojtech Bystrý, Tomas Reigl, Martin Demko, Adam Krejci, Tasoula Touloumenidou, Evangelia Stalika, Boris Tichy, Paolo Ghia, Kostas Stamatopoulos, Sarka Pospisilova, Jitka Malcikova, Nikos Darzentas:
GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data. Bioinform. 33(23): 3802-3804 (2017)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BenesBDPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BenesBDPS17
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems. CAV (1) 2017: 591-598
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BarnatBBDHPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BarnatBBDHPS17
Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek:
Detecting Attractors in Biological Models with Uncertain Parameters. CMSB 2017: 40-56
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BenesBDPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BenesBDPS16
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems. ATVA 2016: 192-208
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/DemkoBBPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/DemkoBBPS16
Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek:
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. CMSB 2016: 82-97
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BenesBDPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BenesBDPS16
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
A Model Checking Approach to Discrete Bifurcation Analysis. FM 2016: 85-101
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/HajnalSDPKB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/HajnalSDPKB16
Matej Hajnal, David Safránek, Martin Demko, Samuel Pastva, Pavel Krejcí, Lubos Brim:
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. HSB 2016: 57-66
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/BrimCDPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/BrimCDPS15
Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek:
Parameter Synthesis by Parallel Coloured CTL Model Checking. CMSB 2015: 251-263
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/BrimDPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/BrimDPS15
Lubos Brim, Martin Demko, Samuel Pastva, David Safránek:
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. HSB 2015: 58-74

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.