Jakub Polácek

According to our database, Jakub Polácek authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.

Nikola Benes, Lubos Brim, Samuel Pastva, Jakub Polácek, David Safránek

Proceedings of the Formal Methods and Software Engineering, 2019