Search research publications and outputs

  1. Article › Research › Peer-reviewed
  2. A survey on underactuated robotic systems: bio-inspiration, trajectory planning and control

    Liu, P., Huda, M. N., Sun, L. & Yu, H., 20 Sep 2020, (Accepted/In press)

    Article in Mechatronics

  3. Advances in Quantum Cryptography

    Pirandola, S., Andersen, U. L., Banchi, L., Berta, M., Bunandar, D., Colbeck, R., Englund, D., Gehring, T., Lupo, C., Ottaviani, C., Pereira, J. L., Razavi, M., Shaari, J. S., Tomamichel, M., Usenko, V. C., Vallone, G., Villoresi, P. & Wallden, P., 27 Feb 2020, (Accepted/In press)

    Article in Advances in Optics and Photonics

  4. Optimal environment localization

    Pereira, J. L., Zhuang, Q. & Pirandola, S., 8 Oct 2020, (Accepted/In press)

    Article in Physical Review Research

  5. Paper › Research › Peer-reviewed
  6. Position paper: a systematic framework for categorising IoT device fingerprinting mechanisms

    Yadav, P., Feraudo, A., Arief, B., Shahandashti, S. F. & Vassilakis, V. G., 10 Oct 2020, (Accepted/In press). 7 p.

    Research output: Contribution to conferencePaper

  7. Conference contribution › Research
  8. Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair

    Dziurzanski, P., Gerasimou, S., Kolovos, D. & Matragkas, N., 20 Mar 2020, (Accepted/In press) IEEE Congress on Evolutionary Computation.

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

  9. Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering

    Gerasimou, S., Wood, S., Matragkas, N., Kolovos, D. & Paige, R. F., 13 Jul 2020, (Accepted/In press) ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20).

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

  10. Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles

    Foster, S. D., Gleirscher, M. & Calinescu, R., 2 Aug 2020, (Accepted/In press) Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). 6 p.

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