Martin Demko

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 10

Top Topics

Dynamical Systems

Automated Verification

Temporal Epistemic

Top Venues

Publications

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) (2021)
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)
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)
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) (2017)
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)
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) (2017)
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)
Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
A Model Checking Approach to Discrete Bifurcation Analysis. FM (2016)
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)
Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. CMSB (2016)
Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. HSB (2015)
Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek
Parameter Synthesis by Parallel Coloured CTL Model Checking. CMSB (2015)