Matej Troják

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 12

Top Topics

Systems Biology

Rewriting Systems

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

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