Matej Hajnal

According to our database, Matej Hajnal authored at least 6 papers between 2016 and 2022.

Collaborative distances:

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

2022

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., September, 2022

2021

DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications.

Matej Hajnal, David Safránek, Tatjana Petrov

Proceedings of the Performance Engineering and Stochastic Modeling, 2021

2020

Toward Model Selection by Formal Methods.

Matej Hajnal, Samuel Pastva

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

2019

Data-Informed Parameter Synthesis for Population Markov Chains.

Matej Hajnal, Morgane Nouvian, Tatjana Petrov, David Safránek

Proceedings of the Computational Methods in Systems Biology, 2019

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

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