Matej Troják

According to our database, Matej Troják authored at least 12 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Rule-based modelling of biological systems using regulated rewriting.

Matej Troják, David Safránek, Samuel Pastva, Lubos Brim

Biosyst., March, 2023

2022

MSMetaEnhancer: A Python package for mass spectra metadata annotation.

Matej Troják, Helge Hecht, Martin Cech, Elliott James Price

J. Open Source Softw., November, 2022

Biochemical Space Language in Relation to Multiset Rewriting Systems.

Matej Troják, David Safránek, Lubos Brim

CoRR, 2022

eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems.

Matej Troják, David Safránek, Branislav Brozmann, Lubos Brim

Proceedings of the Computational Methods in Systems Biology, 2022

2021

Regulated Multiset Rewriting Systems.

Matej Troják, Samuel Pastva, David Safránek, Lubos Brim

CoRR, 2021

2020

Executable Biochemical Space for Specification and Analysis of Biochemical Systems.

Matej Troják, David Safránek, Lubos Brim

CoRR, 2020

Executable Biochemical Space for Specification and Analysis of Biochemical Systems.

Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

Parameter Synthesis and Robustness Analysis of Rule-Based Models.

Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

eBCSgen: A Software Tool for Biochemical Space Language.

Matej Troják, David Safránek, Lukrécia Mertová, Lubos Brim

Proceedings of the Computational Methods in Systems Biology, 2020

2019

Barbaric Robustness Monitoring Revisited for STL* in Parasim.

David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim

Proceedings of the Computational Methods in Systems Biology, 2019

2016

E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria.

Matej Troják, David Safránek, Jakub Hrabec, Jakub Salagovic, Frantiska Romanovská, Jan Cervený

Proceedings of the Computational Methods in Systems Biology, 2016

2015

Formal Biochemical Space with Semantics in Kappa and BNGL.

T. Ded, David Safránek, Matej Troják, Matej Klement, Jakub Salagovic, Lubos Brim

Proceedings of the 6th International Workshop on Static Analysis and Systems Biology, 2015