top of page

PUBLICATIONS

Biochemical Space: A framework for formal description and annotation of complex biological processes

    • TROJÁK, Matej, David ŠAFRÁNEK, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ and Matej HAJNAL

    • In Computational Modeling in Biology Network meeting (COMBINE 2017).

    • Materials: [presentation] [poster]

  • Biochemical Space: A Framework for Formal Description and Annotation of Complex Biological Processes

    • TROJÁK, Matej, David ŠAFRÁNEK, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ and Matej HAJNAL

    • In The 8th International Workshop on Static Analysis for Systems Biology (SASB 2017).

    • Materials: [presentation]

  • E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria 

    • TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ, Matej HAJNAL and Jan ČERVENÝ

    • In International Conference on Systems Biology 2017 (ICSB 2017).

    • Materials: [poster]

  • E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria

    • TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ, Matej HAJNAL and Jan ČERVENÝ

    • In The Biomania Student Scientific Meeting 2017.

    • Materials: [poster]

  • E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria

    • TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ, Matej HAJNAL and Jan ČERVENÝ

    • In Doctoral Workshop on Mathematical and Engineering Methods in Computer Science 2017 (MEMICS 2017).

    • Materials: [poster]

  • E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria

    • TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ, Matej HAJNAL and Jan ČERVENÝ

    • In Intelligent Systems for Molecular Biology and European Conference on Computational Biology (ISMB/ECCB 2017).

    • Materials: [poster]

2017

  • Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes

    • TROJÁK, Matej, Tadeáš DĚD, David ŠAFRÁNEK, Matej KLEMENT, Jan ČERVENÝ and Františka ROMANOVSKÁ

    • In Doctoral Workshop on Mathematical and Engineering Methods in Computer Science 2016 (MEMICS 2016).

    • Materials: [poster]

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

    • TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ and Jan ČERVENÝ

    • Computational Methods in Systems Biology (CMSB 2016).

    • Materials: [doi] [paper] [presentation]

  • Formal Biochemical Space with Semantics in Kappa and BNGL

    • DĚD, Tadeáš, David ŠAFRÁNEK, Matej TROJÁK, Matej KLEMENT, Jakub ŠALAGOVIČ and Luboš BRIM

    • The 6th International Workshop on Static Analysis and Systems Biology (SASB 2015).

    • Materials: [doi] [paper]

  • Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes

    • TROJÁK, Matej, Tadeáš DĚD, David ŠAFRÁNEK, Matej KLEMENT, Jan ČERVENÝ and Luboš BRIM

    • In 13th Conference on Computational Methods in Systems Biology (CMSB 2015).

  • Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes

    • TROJÁK, Matej, David ŠAFRÁNEK, Matej KLEMENT, Tadeáš DĚD, Jan ČERVENÝ and Luboš BRIM

    • In Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2015).

  • E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria

    • KLEMENT, Matej, David ŠAFRÁNEK, Jan ČERVENÝ, Tadeáš DĚD, Matej TROJÁK, Luboš BRIM and Stefan MUELLER

    • In Fourth International Workshop on Hybrid Systems Biology (HSB 2015).

  • Formal specification of phosphorylation states and related reactions

    • TROJÁK, Matej.

    • Bachelor's thesis. Masaryk University, Faculty of Informatics. Thesis supervisor David Šafránek. In Slovak Language

    • Materials: [paper]

2016

2015

2018

  • Fully Automated Attractor Analysis of Cyanobacteria Models.

    • BENEŠ, Nikola, Luboš BRIM, Jan ČERVENÝ, Samuel PASTVA, David ŠAFRÁNEK, Jakub ŠALAGOVIČ and Matej TROJÁK​

    • In Marian Barbu, Răzvan Şolea, Adrian Filipescu. 22nd International Conference on System Theory, Control and Computing.

    • Materials: [doi] [paper] [presentation]

  • Formal Biochemical Space for Specification and Analysis of Biochemical Processes

    • TROJÁK, Matej​

    • Master's thesis. Masaryk University, Faculty of Informatics. Thesis supervisor David Šafránek.

    • Acquired Deans' award for the excellent master thesis.

    • Materials: [paper]

  • Facebook Social Icon
  • so
  • github-logo

© 2018 by Matej Troják. Created with Wix.com

bottom of page