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 (HSB, 2016)

Detecting Attractors in Biological Models with Uncertain Parameters. - Jiri Barnat; Nikola Benes; Lubos Brim; Martin Demko; Matej Hajnal; Samuel Pastva; David Safránek (CMSB, 2017)

Data-Informed Parameter Synthesis for Population Markov Chains. - Matej Hajnal; Morgane Nouvian; Tatjana Petrov; David Safránek (CMSB, 2019)

Toward Model Selection by Formal Methods. - Matej Hajnal; Samuel Pastva (SASB, 2020)

DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications. - Matej Hajnal; David Safránek; Tatjana Petrov (EPEW, 2021)

Extracting individual characteristics from population data reveals a negative social effect during honeybee defence. - Tatjana Petrov; Matej Hajnal; Julia Klein; David Safránek; Morgane Nouvian (PLoS Comput. Biol., 2022)