Juraj Kolcák

21 papers B 1Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks.
CMSB
Stefan Haar, Juraj Kolcák
2025 J jnl
Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks.
CoRR
Stefan Haar, Juraj Kolcák
2025 J jnl
Continuous Petri Nets for Fast Yield Computation: Polynomial-Time and MILP Approaches.
CoRR
Addie Jordon, Juraj Kolcák, Daniel Merkle
2024 J jnl
Automated Inference of Graph Transformation Rules.
CoRR
Jakob L. Andersen, Akbar Davoodi, Rolf Fagerberg, Christoph Flamm, Walter Fontana, Juraj Kolcák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
2022 J jnl
Characterizing Catalytic Mechanisms with Overlay Graphs.
CoRR
Jakob L. Andersen, Rolf Fagerberg, Christoph Flamm, Walter Fontana, Juraj Kolcák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
2022 J jnl
Efficient Modular Graph Transformation Rule Application.
CoRR
Jakob L. Andersen, Rolf Fagerberg, Juraj Kolcák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
2022 J jnl
Representing Catalytic Mechanisms with Rule Composition.
J. Chem. Inf. Model.
Jakob L. Andersen, Rolf Fagerberg, Christoph Flamm, Walter Fontana, Juraj Kolcák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
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).
Juraj Kolcák
2021 J jnl
Graph Transformation for Enzymatic Mechanisms.
CoRR
Jakob L. Andersen, Rolf Fagerberg, Christoph Flamm, Walter Fontana, Juraj Kolcák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
2021 J jnl
Graph transformation for enzymatic mechanisms.
Bioinform.
Jakob L. Andersen, Rolf Fagerberg, Christoph Flamm, Walter Fontana, Juraj Kolcák, Christophe V. F. P. Laurent, Daniel Merkle, Nikolai Nøjgaard
2020 J jnl
Concurrency in Boolean networks.
Nat. Comput.
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
2020 — conf
Relational Differential Dynamic Logic.
TACAS (1)
Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
2019 B conf
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.
VMCAI
Stefan Haar, Juraj Kolcák, Loïc Paulevé
2019 J jnl
Concurrency in Boolean networks.
CoRR
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
2019 J jnl
Parameter space abstraction and unfolding semantics of discrete regulatory networks.
Theor. Comput. Sci.
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
2019 J jnl
Relational Differential Dynamic Logic.
CoRR
Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
2019 — conf
Relational differential dynamic logic: poster abstract.
HSCC
Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
2018 J jnl
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.
CoRR
Stefan Haar, Juraj Kolcák, Loïc Paulevé
2018 J jnl
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks.
CoRR
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
2018 — conf
Unfolding of Parametric Boolean Networks.
SASB
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
2012 — conf
Parameter Identification and Model Ranking of Thomas Networks.
CMSB
Hannes Klarner, Adam Streck, David Safránek, Juraj Kolcák, Heike Siebert