Publications

@incollection{Shmarov2016,
title = {Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques},
author = { Fedor Shmarov and Paolo Zuliani},
doi = {10.1007/978-3-319-49052-6_10},
year = {2016},
date = {2016-01-01},
booktitle = {Hardware and Software: Verification and Testing},
pages = {152--168},
publisher = {Springer International Publishing},
keywords = {},
pubstate = {},
tppubtype = {incollection}
}

@incollection{Fellermann2016,
title = {In Vitro Implementation of a Stack Data Structure Based on DNA Strand Displacement},
author = { Harold Fellermann and Annunziata Lopiccolo and Jerzy Kozyra and Natalio Krasnogor},
doi = {10.1007/978-3-319-41312-9_8},
year = {2016},
date = {2016-01-01},
booktitle = {Unconventional Computation and Natural Computation},
pages = {87--98},
publisher = {Springer International Publishing},
keywords = {},
pubstate = {},
tppubtype = {incollection}
}