Detail publikace

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

ČEŠKA, M.; CARDELLI, L.; FRANZLE, M.; KWIATKOWSKA, M.; LAURENTI, L.; PAOLETTI, N.; WHITBY, M. Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. In Proceedings of the 29th International Conference on Computer Aided Verification. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 375-395. ISBN: 978-3-319-63390-9.
Název česky
Syntéza biochemický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)
Cardelli Luca (FIT)
Franzle Martin (FIT)
Kwiatkowska Marta (FIT)
Laurenti Luca (FIT)
Paoletti Nicola (FIT)
Whitby Max (FIT)
Klíčová slova

chemical reaction network design automation optimal synthesis Linear Noise Approximation SMT solvers temporal logic  

Abstrakt

Syntéza biochemických reakčních sítí hraje klíčovou roli při konstrukci predikativních biologických modelů a při návrhu molekulárnách zařízení v syntetické biologii. V tomto článku navrhujeme algoritmus, který syntetizuje optimální reakčních síť s požadovaným chováním. 

Rok
2017
Strany
375–395
Sborník
Proceedings of the 29th International Conference on Computer Aided Verification
Řada
Lecture Notes in Computer Science
Svazek
10427
ISBN
978-3-319-63390-9
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-319-63390-9_20
UT WoS
000431900900020
EID Scopus
2-s2.0-85026737173
BibTeX 
@inproceedings{BUT146260,
  author="Milan {Češka} and Luca {Cardelli} and Martin {Franzle} and Marta {Kwiatkowska} and Luca {Laurenti} and Nicola {Paoletti} and Max {Whitby}",
  title="Syntax-Guided Optimal Synthesis for Chemical Reaction Networks",
  booktitle="Proceedings of the 29th International Conference on Computer Aided Verification",
  year="2017",
  series="Lecture Notes in Computer Science",
  volume="10427",
  pages="375--395",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-319-63390-9\{_}20",
  isbn="978-3-319-63390-9"
}
Nahoru