All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Executable Biochemical Space for Specification and Analysis of Biochemical Systems

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F86652079%3A_____%2F18%3A00536273" target="_blank" >RIV/86652079:_____/18:00536273 - isvavai.cz</a>

  • Alternative codes found

    RIV/00216224:14330/20:00114281 RIV/86652079:_____/20:00536273

  • Result on the web

    <a href="http://dx.doi.org/10.1016/j.entcs.2020.06.006" target="_blank" >http://dx.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>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Executable Biochemical Space for Specification and Analysis of Biochemical Systems

  • Original language description

    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.

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

  • OECD FORD branch

    20801 - Environmental biotechnology

Result continuities

  • Project

    Result was created during the realization of more than one project. More information in the Projects tab.

  • Continuities

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Others

  • Publication year

    2018

  • Confidentiality

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

Data specific for result type

  • Article name in the collection

    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

  • ISBN

  • ISSN

    1571-0661

  • e-ISSN

  • Number of pages

    26

  • Pages from-to

    91-116

  • Publisher name

    Elsevier

  • Place of publication

    Freiburg

  • Event location

    Freiburg

  • Event date

    Aug 28, 2018

  • Type of event by nationality

    EUR - Evropská akce

  • UT code for WoS article

    000577846300006