Computer Science

Organisational unit: School

Publications

  1. 2021
  2. Accepted/In press

    Fully distributed verifiable random functions and their application to decentralised random beacons

    David Galindo Chacon, , Mihai Ordean & , 6 Sep 2021, (Accepted/In press) 2021 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE, (IEEE European Symposium on Security and Privacy (EuroS&P)).

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

  3. Published

    DTI-HeNE: a novel method for drug-target interaction prediction based on heterogeneous network embedding

    Shan He, 3 Sep 2021, In: BMC Bioinformatics. 22, 1, 418.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Multiple robots avoid humans to get the jobs done: an approach to human-aware task allocation

    Masoumeh Mansouri, 2 Sep 2021.

    Research output: Contribution to conference (unpublished)Paperpeer-review

  5. Published

    The Cantor–Schröder–Bernstein Theorem for ∞-groupoids

    Martin Escardo, Sep 2021, In: Journal of Homotopy and Related Structures. 16, 3, p. 363-366 4 p.

    Research output: Contribution to journalArticlepeer-review

  6. E-pub ahead of print

    Probabilistic modelling of general noisy multi-manifold data sets

    Marco Canducci, Peter Tino & , Jan 2022, In: Artificial Intelligence. 302, 29 p., 103579.

    Research output: Contribution to journalArticlepeer-review

  7. E-pub ahead of print

    Learning a Model-Driven Variational Network for Deformable Image Registration

    Iain Styles, Hyung Jin Chang, Ales Leonardis, , , & Jinming Duan, 30 Aug 2021, (E-pub ahead of print) In: IEEE Transactions on Medical Imaging.

    Research output: Contribution to journalArticlepeer-review

  8. E-pub ahead of print
  9. E-pub ahead of print

    Runtime analyses of the population-based univariate estimation of distribution algorithms on LeadingOnes

    Per Kristian Lehre & Hai Nguyen, 28 Aug 2021, (E-pub ahead of print) In: Algorithmica.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Verifying reinforcement learning up to infinity

    Edoardo Bacci, & David Parker, 27 Aug 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence: Montreal, 19-27 August 2021. Zhou, Z-H. (ed.). International Joint Conferences on Artificial Intelligence Organization (IJCAI), p. 2154-2160 7 p.

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

  11. Published

    PLATYPUS: software-based power side-channel attacks on x86

    David Oswald, , , & , 26 Aug 2021, 2021 IEEE Symposium on Security and Privacy (SP). IEEE Computer Society Press, p. 355-371 17 p. (Proceedings of the IEEE Symposium on Security and Privacy).

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

Previous 1 2 3 4 5 6 7 8 ...457 Next