Juraj Kolcák

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 16

Top Topics

Boolean Networks

Parameter Space

Graph Transformation

Relational Model

Top Venues

Publications

Jakob L. Andersen, Akbar Davoodi, Rolf Fagerberg, Christoph Flamm, Walter Fontana, Juraj Kolcák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
Automated Inference of Graph Transformation Rules. CoRR (2024)
Jakob L. Andersen, Rolf Fagerberg, Juraj Kolcák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
Efficient Modular Graph Transformation Rule Application. CoRR (2022)
Jakob L. Andersen, Rolf Fagerberg, Christoph Flamm, Walter Fontana, Juraj Kolcák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
Characterizing Catalytic Mechanisms with Overlay Graphs. CoRR (2022)
Jakob L. Andersen, Rolf Fagerberg, Christoph Flamm, Walter Fontana, Juraj Kolcák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
Representing Catalytic Mechanisms with Rule Composition. J. Chem. Inf. Model. 62 (22) (2022)
Jakob L. Andersen, Rolf Fagerberg, Christoph Flamm, Walter Fontana, Juraj Kolcák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
Graph Transformation for Enzymatic Mechanisms. CoRR (2021)
Jakob L. Andersen, Rolf Fagerberg, Christoph Flamm, Walter Fontana, Juraj Kolcák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
Graph transformation for enzymatic mechanisms. Bioinform. 37 (Supplement) (2021)
Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Relational Differential Dynamic Logic. TACAS (1) (2020)
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
Concurrency in Boolean networks. Nat. Comput. 19 (1) (2020)
Stefan Haar, Juraj Kolcák, Loïc Paulevé
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. VMCAI (2019)
Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Relational differential dynamic logic: poster abstract. HSCC (2019)
Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Relational Differential Dynamic Logic. CoRR (2019)
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
Parameter space abstraction and unfolding semantics of discrete regulatory networks. Theor. Comput. Sci. 765 (2019)
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
Concurrency in Boolean networks. CoRR (2019)
Stefan Haar, Juraj Kolcák, Loïc Paulevé
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. CoRR (2018)
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks. CoRR (2018)
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
Unfolding of Parametric Boolean Networks. SASB 335 (2018)
Hannes Klarner, Adam Streck, David Safránek, Juraj Kolcák, Heike Siebert
Parameter Identification and Model Ranking of Thomas Networks. CMSB (2012)