Search research publications and outputs

  1. 2016
  2. 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

  3. 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

  4. 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

  5. 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