Detail publikace

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

CARDELLI Luca, ČEŠKA Milan, FRANZLE Martin, KWIATKOWSKA Marta, LAURENTI Luca, PAOLETTI Nicola a WHITBY Max. Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. In: Proceedings of the 29th International Conference on Computer Aided Verification. Lecture Notes in Computer Science, roč. 10427. Heidelberg: Springer Verlag, 2017, s. 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
angličtina
Autoři
Cardelli Luca (MSR)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Franzle Martin (UO)
Kwiatkowska Marta (UOx)
Laurenti Luca (UOx)
Paoletti Nicola (UOx)
Whitby Max (UOx)
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
Konference
29th International Conference on Computer Aided Verification, Heidelberg, DE
ISBN
978-3-319-63390-9
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
DOI
UT WoS
000431900900020
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11432,
   author = "Luca Cardelli and Milan \v{C}e\v{s}ka and Martin Franzle and Marta Kwiatkowska and Luca Laurenti and Nicola Paoletti and Max Whitby",
   title = "Syntax-Guided Optimal Synthesis for Chemical Reaction Networks",
   pages = "375--395",
   booktitle = "Proceedings of the 29th International Conference on Computer Aided Verification",
   series = "Lecture Notes in Computer Science",
   volume = 10427,
   year = 2017,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-63390-9",
   doi = "10.1007/978-3-319-63390-9\_20",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11432"
}
Nahoru