Detail publikace

SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks

ČEŠKA Milan, CHAU Calvin a KŘETÍNSKÝ Jan. SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks. In: International Conference on Computer Aided Verification. Lecture Notes in Computer Science, roč. 12224. Cham: Springer Verlag, 2020, s. 653-666. ISBN 978-3-030-53287-1. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-53288-8_32
Název česky
SeQuaiA: Nástroj pro semikvantitativní analýzu chemických reakčních sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Chau Calvin (TUM)
Křetínský Jan (TUM)
URL
Klíčová slova

pravděpodobnostní verifikace
populační Markovské modely
abstrakce

Abstrakt

Článek popisuje nový nástroj pro efektivní analýzu složitých chemických reakčních sítí. Nástroj využívá techniky semikvantitativní analýzy a poskytuje širokou škálu vizualizačních prostředků, které dovolují interpretovat výsledky analýzy.

Rok
2020
Strany
653-666
Sborník
International Conference on Computer Aided Verification
Řada
Lecture Notes in Computer Science
Svazek
12224
Konference
32th International Conference on Computer Aided Verification, Online, US
ISBN
978-3-030-53287-1
Vydavatel
Springer Verlag
Místo
Cham, DE
DOI
10.1007/978-3-030-53288-8_32
UT WoS
000695276000032
EID Scopus
2-s2.0-85089219258
BibTeX 
@INPROCEEDINGS{FITPUB12353,
   author = "Milan \v{C}e\v{s}ka and Calvin Chau and Jan K\v{r}et\'{i}nsk\'{y}",
   title = "SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks",
   pages = "653--666",
   booktitle = "International Conference on Computer Aided Verification",
   series = "Lecture Notes in Computer Science",
   volume = 12224,
   year = 2020,
   location = "Cham, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-030-53287-1",
   doi = "10.1007/978-3-030-53288-8\_32",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12353"
}
Nahoru