Skip to content

Publications

27 entries « 2 of 2 »

Shmarov, Fedor; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A; Zuliani, Paolo

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems Incollection

Hardware and Software: Verification and Testing, pp. 131–146, Springer International Publishing, 2017.

Links | BibTeX

Kozyra, Jerzy; Fellermann, Harold ; Shirt-Ediss, Ben ; Lopiccolo, Annunziata ; Krasnogor, Natalio

Optimizing nucleic acid sequences for a molecular data recorder Inproceedings

Proceedings of the Genetic and Evolutionary Computation Conference on - GECCO '17, pp. 1145–1152, Berlin, Germany, 2017.

Links | BibTeX

Goñi-Moreno, Angel; Wipat, Anil ; Krasnogor, Natalio

CSBB: synthetic biology research at Newcastle University Journal Article

Biochemical Society Transactions, 45 (3), pp. 781–783, 2017.

Links | BibTeX

Kaiser, Marcus

Mechanisms of Connectome Development Journal Article

Trends in Cognitive Sciences, 21 (9), pp. 703–717, 2017.

Links | BibTeX

Lazzarini, Nicola; Widera, Paweł ; Williamson, Stuart ; Heer, Rakesh ; Krasnogor, Natalio ; Bacardit, Jaume

Functional networks inference from rule-based machine learning models Journal Article

BioData Mining, 9 (1), 2016.

Links | BibTeX

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

27 entries « 2 of 2 »