Search research publications and outputs

  1. 2016
  2. Stochastic domain wall depinning in permalloy nanowires with various types of notches

    Gao, Y., You, B., Yang, H. L., Zhan, Q. F., Li, Z., Lei, N., Zhao, W. S., Wu, J., Tu, H. Q., Wang, J., Wei, L. J., Zhang, W., Xu, Y. B. & Du, J., 29 Dec 2016

    Article in AIP Advances

  3. Safety-critical Java for embedded systems

    Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S., Ravn, A., Rivas, J., Strom, T., Søndergaard, H., Zhao, S. & Wellings, A. J., 14 Dec 2016

    Article in Concurrency and Computation: Practice and Experience

  4. Linear Depth Estimation from an Uncalibrated, Monocular Polarisation Image

    Smith, W. A. P., Ramamoorthi, R. & Tozza, S., 17 Sep 2016, Lecture Notes in Computer Science. p. 109-125 17 p. (Lecture Notes in Computer Science; vol. 9912).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Quantum Jensen-Shannon Graph Kernels using Discrete-time Quantum Walks

    Bai, L., Rossi, L., Cui, L., Zhang, Z., Ren, P., Xiao, B. & Hancock, E. R., 9 Sep 2016

    Article in Pattern Recognition Letters

  6. Stress-Testing Centralised Model Stores

    García-Domínguez, A., Barmpis, K., Kolovos, D. S., Wei, R. & Paige, R. F., 23 Jun 2016, Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. SPRINGER, p. 48-63 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Formal mutation testing for Circus

    Alberto, A., Cavalcanti, A. L. C., Gaudel, M-C. & Simao, A., 21 Apr 2016

    Article in Information and Software Technology

  8. On the effectiveness of cache partitioning in hard real-time systems

    Altmeyer, S., Douma, R., Lunniss, W. R. E. & Davis, R. I., 6 Jan 2016

    Article in Real-Time Systems