Other formats:
BibTeX
LaTeX
RIS
@proceedings{1388616,
author = {Troják, Matej and Šafránek, David and Šalagovič, Jakub and Romanovská, Františka and Hajnal, Matej},
booktitle = {The 8th International Workshop on Static Analysis for Systems Biology},
keywords = {formal specification; biological systems; systems biology; rule-based language},
language = {eng},
title = {Biochemical Space: A Framework for Formal Description and Annotation of Complex Biological Processes},
year = {2017}
}
TY - CONF
ID - 1388616
AU - Troják, Matej - Šafránek, David - Šalagovič, Jakub - Romanovská, Františka - Hajnal, Matej
PY - 2017
TI - Biochemical Space: A Framework for Formal Description and Annotation of Complex Biological Processes
KW - formal specification
KW - biological systems
KW - systems biology
KW - rule-based language
N2 - Biochemical Space is a novel framework for practical description of complex biological processes. It is developed as a part of Comprehensive Modeling Platform - a web-based platform for modeling and analysis of biological processes. In the context of the platform, Biochemical Space binds complicated quantitative models with an easy-to-understand, yet formal and compact qualitative description. It allows us to specify formal and well-annotated reaction networks of chemical entities and elemental reactions onto which the mathematical models are projected. Biochemical Space is supported by Biochemical Space Language that combines state-of-the-art rule-based techniques with metadata formats developed in well-known annotation databases.
ER -
TROJÁK, Matej, David ŠAFRÁNEK, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ and Matej HAJNAL. Biochemical Space: A Framework for Formal Description and Annotation of Complex Biological Processes. In \textit{The 8th International Workshop on Static Analysis for Systems Biology}. 2017.
|
