Detail publikace

Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks

ČEŠKA, M.; KŘETÍNSKÝ, J. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. In Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19). Lecture Notes of Computer Science. New York: Springer International Publishing, 2019. p. 475-496. ISBN: 978-3-030-25540-4.
Název česky
Semikvantitativní analýza chemických reakčních sítí
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
KŘETÍNSKÝ, J.
Klíčová slova

chemical reaction networks, continuous-time Markov chains, population level abstraction, semiquantitative reasoning 

Abstrakt

V tomto článku navrhujeme škálovatelnou metodu pro analýzu stochastických chemických reakčních sítí. Metoda je založena na nové semikvantitativní abstrakci.

Rok
2019
Strany
475–496
Sborník
Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19)
Řada
Lecture Notes of Computer Science
Svazek
11561
ISBN
978-3-030-25540-4
Vydavatel
Springer International Publishing
Místo
New York
DOI
10.1007/978-3-030-25540-4_28
UT WoS
000491468000028
EID Scopus
2-s2.0-85069863997
BibTeX 
@inproceedings{BUT159968,
  author="ČEŠKA, M. and KŘETÍNSKÝ, J.",
  title="Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks",
  booktitle="Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19)",
  year="2019",
  series="Lecture Notes of Computer Science",
  volume="11561",
  pages="475--496",
  publisher="Springer International Publishing",
  address="New York",
  doi="10.1007/978-3-030-25540-4\{_}28",
  isbn="978-3-030-25540-4"
}
Nahoru