Matej Trojak
Matej Trojak
PhD candidate, Faculty of informatics, Masaryk university
Verified email at fi.muni.cz - Homepage
Title
Cited by
Cited by
Year
E-cyanobacterium. org: A Web-based Platform for Systems Biology of Cyanobacteria
M Troják, D Šafránek, J Hrabec, J Šalagovič, F Romanovská, J Červený
International Conference on Computational Methods in Systems Biology, 316-322, 2016
142016
Formal biochemical space with semantics in Kappa and BNGL
T Děd, D Šafránek, M Troják, M Klement, J Šalagovič, L Brim
Electronic Notes in Theoretical Computer Science 326, 27-49, 2016
112016
Fully automated attractor analysis of cyanobacteria models
N Beneš, L Brim, S Pastva, D Šafránek, M Troják, J Červený, J Šalagovič
2018 22nd International Conference on System Theory, Control and Computing …, 2018
72018
Executable biochemical space for specification and analysis of biochemical systems
M Troják, D Šafránek, L Bri, J Šalagovič, J Červený
Electronic Notes in Theoretical Computer Science 350, 91-116, 2020
52020
eBCSgen: A Software Tool for Biochemical Space Language
M Troják, D Šafránek, L Mertová, L Brim
International Conference on Computational Methods in Systems Biology, 356-361, 2020
22020
Parameter synthesis and robustness analysis of rule-based models
M Troják, D Šafránek, L Mertová, L Brim
NASA Formal Methods Symposium, 41-59, 2020
22020
Barbaric Robustness Monitoring Revisited for STL* in Parasim
D Šafránek, M Troják, V Brůža, T Vejpustek, J Papoušek, M Demko, ...
International Conference on Computational Methods in Systems Biology, 356-359, 2019
22019
Formal Biochemical Space for Specification and Analysis of Biochemical Processes
M Troják
Master’s thesis, Masaryk University, Faculty of Informatics, Brno, 2018. URL …, 0
1
Comprehensive Modelling Platform
M Troják, D Šafránek, J Červený, M Havlík, L Mertová, M Hajnal, J Hrabec, ...
2019
Formal Analysis of Rule-Based Models in Systems Biology
M Troják
Masaryk University, 2019
2019
BCSgen: Biochemical Space language software tool
M Troják, D Šafránek, J Šalagovič
2017
Biochemical Space: A framework for formal description and annotation of complex biological processes
M Troják, D Šafránek, J Šalagovic, F Romanovská, M Hajnal
2017
Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes
M Troják, T Děd, D Šafránek, M Klement, J Červený, L Brim
2015
E-cyanobacterium. org: A Web-based Platform for Systems Biology of Cyanobacteria
M Klement, D Šafránek, J Červený, T Děd, S Mueller, R Steuer
2014
Formálny popis fosforylačných stavov a súvisiacich reakcií
M Troják
The system can't perform the operation now. Try again later.
Articles 1–15