Juraj Kolcák
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
2022
2021
Dépliages et interprétation abstraite pour réseaux de régulation biologiques paramétrés. (Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks).
PhD thesis, 2021
2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
2019
Theor. Comput. Sci., 2019
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
2018
2012
Proceedings of the Computational Methods in Systems Biology, 2012