Executable Biochemical Space for Specification and Analysis of Biochemical Systems

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F20%3A00114281" target="_blank" >RIV/00216224:14330/20:00114281 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/86652079:_____/20:00536273

Výsledek na webu

<a href="https://doi.org/10.1016/j.entcs.2020.06.006" target="_blank" >https://doi.org/10.1016/j.entcs.2020.06.006</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.entcs.2020.06.006" target="_blank" >10.1016/j.entcs.2020.06.006</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Executable Biochemical Space for Specification and Analysis of Biochemical Systems

Popis výsledku v původním jazyce

We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems with existing solutions. The key aspect of the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstraction enables unique analysis techniques to reason about properties of models written in the language on the semantic and syntactic level.

Název v anglickém jazyce

Executable Biochemical Space for Specification and Analysis of Biochemical Systems

Popis výsledku anglicky

We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems with existing solutions. The key aspect of the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstraction enables unique analysis techniques to reason about properties of models written in the language on the semantic and syntactic level.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA18-00178S" target="_blank" >GA18-00178S: Diskrétní bifurkační analýza reaktivních systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

9th International Workshop on Static Analysis and Systems Biology (SASB)

ISBN

—

ISSN

1571-0661

e-ISSN

—

Počet stran výsledku

26

Strana od-do

91-116

Název nakladatele

Elsevier

Místo vydání

Amsterdam

Místo konání akce

Freiburg, Germany

Datum konání akce

1. 1. 2018

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000577846300006