Matej Hajnal

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 7

Top Topics

Top Venues

PLoS Comput. Biol.

Publications

Tatjana Petrov, Matej Hajnal, Julia Klein, David Safránek, Morgane Nouvian
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence. PLoS Comput. Biol. 18 (9) (2022)
Matej Hajnal, David Safránek, Tatjana Petrov
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications. EPEW (2021)
Matej Hajnal, Samuel Pastva
Toward Model Selection by Formal Methods. SASB (2020)
Matej Hajnal, Morgane Nouvian, Tatjana Petrov, David Safránek
Data-Informed Parameter Synthesis for Population Markov Chains. CMSB (2019)
Matej Hajnal, Morgane Nouvian, David Safránek, Tatjana Petrov
Data-Informed Parameter Synthesis for Population Markov Chains. HSB (2019)
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)
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)