Martin Demko

According to our database, Martin Demko authored at least 12 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

WALTER: an easy way to online evaluate telomere lengths from terminal restriction fragment analysis.

Martin Lycka, Vratislav Peska, Martin Demko, Ioannis Spyroglou, Agata Kilar, Jirí Fajkus, Miloslava Fojtová

BMC Bioinform., 2021

2019

Barbaric Robustness Monitoring Revisited for STL* in Parasim.

David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim

Proceedings of the Computational Methods in Systems Biology, 2019

2017

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

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

Bioinform., 2017

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

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

Bioinform., 2017

Detecting Attractors in Biological Models with Uncertain Parameters.

Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek

Proceedings of the Computational Methods in Systems Biology, 2017

Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems.

Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways.

Matej Hajnal, David Safránek, Martin Demko, Samuel Pastva, Pavel Krejcí, Lubos Brim

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

A Model Checking Approach to Discrete Bifurcation Analysis.

Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the FM 2016: Formal Methods, 2016

High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study.

Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek

Proceedings of the Computational Methods in Systems Biology, 2016

Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems.

Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems.

Lubos Brim, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Parameter Synthesis by Parallel Coloured CTL Model Checking.

Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva, David Safránek

Proceedings of the Computational Methods in Systems Biology, 2015