Matej Troják

12 papers Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
Rule-based modelling of biological systems using regulated rewriting.
Biosyst.
Matej Troják, David Safránek, Samuel Pastva, Lubos Brim
2022 J jnl
Biochemical Space Language in Relation to Multiset Rewriting Systems.
CoRR
Matej Troják, David Safránek, Lubos Brim
2022 J jnl
MSMetaEnhancer: A Python package for mass spectra metadata annotation.
J. Open Source Softw.
Matej Troják, Helge Hecht, Martin Cech, Elliott James Price
2022 — conf
eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems.
CMSB
Matej Troják, David Safránek, Branislav Brozmann, Lubos Brim
2021 J jnl
Regulated Multiset Rewriting Systems.
CoRR
Matej Troják, Samuel Pastva, David Safránek, Lubos Brim
2020 — conf
Executable Biochemical Space for Specification and Analysis of Biochemical Systems.
SASB
Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený
2020 J jnl
Executable Biochemical Space for Specification and Analysis of Biochemical Systems.
CoRR
Matej Troják, David Safránek, Lubos Brim
2020 — conf
Parameter Synthesis and Robustness Analysis of Rule-Based Models.
NFM
Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim
2020 — conf
eBCSgen: A Software Tool for Biochemical Space Language.
CMSB
Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim
2019 — conf
Barbaric Robustness Monitoring Revisited for STL* in Parasim.
CMSB
David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim
2016 — conf
E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria.
CMSB
Matej Troják, David Safránek, Jakub Hrabec, Jakub Salagovic, Frantiska Romanovská, Jan Cervený
2015 — conf
Formal Biochemical Space with Semantics in Kappa and BNGL.
SASB
T. Ded, David Safránek, Matej Troják, Matej Klement, Jakub Salagovic, Lubos Brim