Matej Hajnal

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Extracting individual characteristics from population data reveals a negative social effect during honeybee defence.
PLoS Comput. Biol., September, 2022

2021
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications.
Proceedings of the Performance Engineering and Stochastic Modeling, 2021

2020
Toward Model Selection by Formal Methods.
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.
Proceedings of the Computational Methods in Systems Biology, 2019

2017
Detecting Attractors in Biological Models with Uncertain Parameters.
Proceedings of the Computational Methods in Systems Biology, 2017

2016
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016


  Loading...