Skip to content

Publications

82 entries « 5 of 5 »

Shmarov, Fedor; Zuliani, Paolo

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques Incollection

Hardware and Software: Verification and Testing, pp. 152–168, Springer International Publishing, 2016.

Links | BibTeX

Fellermann, Harold; Lopiccolo, Annunziata ; Kozyra, Jerzy ; Krasnogor, Natalio

In Vitro Implementation of a Stack Data Structure Based on DNA Strand Displacement Incollection

Unconventional Computation and Natural Computation, pp. 87–98, Springer International Publishing, 2016.

Links | BibTeX

82 entries « 5 of 5 »