Publications

2099 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | Complete list


2017

  1. Lesecq, S., Ouvry, L., Correvon, M., Dudnik, G., Barrett, J., McGibney, A., ... Mathewson, A. (2017). INSPEX: Integrated Smart Spatial Exploration System. In Proceedings Smart Systems Integration 2017.. Publication link: 7d60b051-e80a-4dcd-9455-fafea43a75d8
  2. Currin, A., Korovin, K., Ababi, M., Roper, K., Kell, D. B., Day, P. J., & King, R. D. (2017). Computing exponentially faster: Implementing a non-deterministic universal Turing machine using DNA. Journal of the Royal Society Interface, 14(128), [20160990]. DOI: 10.1098/rsif.2016.0990. Publication link: c739f402-9ded-4b34-9251-f9b8f72adbec
  3. Currin, A., Korovin, K., Ababi, M., Roper, K., Kell, D., Day, P., & King, R. (2017). Computing exponentially faster: Implementing a nondeterministic universal Turing machine using DNA. Journal of the Royal Society Interface. . Publication link: 0636cd7c-5954-4182-8759-f5b60b77ce81
  4. Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., ... Zhang, Y. (2017). First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. International Journal on Software Tools for Technology Transfer, 1-40. DOI: 10.1007/s10009-017-0454-5. Publication link: f0f4991b-8726-47b4-b9db-8744012171a5
▲ Up to the top