Publications : Juraj KOLCÁK
-
[PKCH20]
-
L. Paulevé, J. Kolcák, T. Chatain, and S. Haar.
Reconciling qualitative, abstract, and scalable modeling of
biological networks.
Nature Communications, 11(4256), August 2020.
doi:
10.1038/s41467-020-18112-5.
[ BibTex |
DOI |
Web page ]
-
[KDH+20]
-
J. Kolcák, J. Dubut, I. Hasuo, S.-Y. Katsumata,
D. Sprunger, and A. Yamada.
Relational Differential Dynamic Logic.
In Proceedings of the 26th International Conference on Tools
and Algorithms for Construction and Analysis of Systems (TACAS'20),
volume 12078 of Lecture Notes in Computer Science, pages 191--208, Dublin,
Ireland, April 2020. Springer.
doi:
10.1007/978-3-030-45190-5_11.
[ BibTex |
DOI |
Web page ]
-
[CHK+20]
-
Th. Chatain, S. Haar, J. Kolcák, L. Paulevé,
and A. Thakkar.
Concurrency in Boolean networks.
Natural Computing, 19:91--109, 2020.
[ BibTex |
Web page |
PDF ]
-
[HKP19]
-
S. Haar, J. Kolcák, and L. Paulevé.
Combining Refinement of Parametric Models with Goal-Oriented
Reduction of Dynamics.
In Proceedings of the 20th International Conference on
Verification, Model Checking and Abstract Interpretation
(VMCAI'19), Lecture Notes in Computer Science, pages 555--576,
Cascais/Lisbon, Portugal, January 2019. Springer.
[ BibTex |
Web page |
PDF ]
-
[KŠHP19]
-
J. Kolcák, D. Šafránek, S. Haar, and
L. Paulevé.
Parameter Space Abstraction and Unfolding Semantics of Discrete
Regulatory Networks.
Theoretical Computer Science, 765:120--144, 2019.
doi:
10.1016/j.tcs.2018.03.009.
[ BibTex |
DOI |
Web page |
PDF ]
-
[CHK+18]
-
Th. Chatain, S. Haar, J. Kolcák, A. Thakkar, and
L. Paulevé.
Concurrency in Boolean networks.
Research Report hal-01893106, HAL, October 2018.
33 pages.
[ BibTex |
Web page |
PDF ]
-
[KŠHP16]
-
J. Kolcák, D. Šafránek, S. Haar, and
L. Paulevé.
Unfolding of Parametric Logical Regulatory Networks.
In Proceedings of The Seventh International Workshop on
Static Analysis and Systems Biology (SASB 2016), Electronic Notes in
Theoretical Computer Science, Edinburgh, UK, September 2016. Elsevier Science
Publishers.
To appear.
[ BibTex |
Web page |
PDF ]
This file was generated by
bibtex2html 1.98.