Juraj Kolcák

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2022
Representing Catalytic Mechanisms with Rule Composition.
J. Chem. Inf. Model., 2022

Characterizing Catalytic Mechanisms with Overlay Graphs.
CoRR, 2022

Efficient Modular Graph Transformation Rule Application.
CoRR, 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

Graph transformation for enzymatic mechanisms.
Bioinform., 2021

2020
Concurrency in Boolean networks.
Nat. Comput., 2020

Relational Differential Dynamic Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019
Parameter space abstraction and unfolding semantics of discrete regulatory networks.
Theor. Comput. Sci., 2019

Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Relational differential dynamic logic: poster abstract.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018
Unfolding of Parametric Boolean Networks.
Proceedings of SASB 2018, 2018

2012
Parameter Identification and Model Ranking of Thomas Networks.
Proceedings of the Computational Methods in Systems Biology, 2012


  Loading...