Computer Science

Organisational unit: School

Publications

  1. 2021
  2. Accepted/In press

    Continuous and proactive software architecture evaluation: An IoT case

    Leandro Minku, Rami Bahsoon & , 17 Oct 2021, (Accepted/In press) In: ACM Transactions on Software Engineering and Methodology.

    Research output: Contribution to journalArticlepeer-review

  3. Accepted/In press

    Exploiting Generative Models for Performance Predictions of 3D Car Designs

    Leandro Minku, , , , , & , 4 Oct 2021, (Accepted/In press) 2021 IEEE Symposium Series on Computational Intelligence (SSCI).

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

  4. Accepted/In press

    Second-order Time Delay Reservoir Computing for Nonlinear Time Series Problems

    Leandro Minku, & Xin Yao, 4 Oct 2021, (Accepted/In press) 2021 IEEE Symposium Series on Computational Intelligence (SSCI).

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

  5. Published

    Secret Keys in Genus-2 SIDH

    1 Oct 2021.

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

  6. Published

    Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach

    David Parker, Oct 2021, In: Automatica. 132, 7 p., 109831.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    New results on quasi-subfield polynomials

    Christophe Petit, Oct 2021, In: Finite Fields and Their Applications. 75, 101881.

    Research output: Contribution to journalArticlepeer-review

  8. Published
  9. Accepted/In press

    FuzzyKey: comparing fuzzy cryptographic primitives on resource-constrained devices

    Eduard Marin, David Oswald & , 22 Sep 2021, (Accepted/In press) 20th Smart Card Research and Advanced Application Conference - CARDIS 2021. Springer Verlag

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

  10. E-pub ahead of print

    Unsupervised methods in LC-MS data treatment: application for potential chemotaxonomic markers search

    Iain Styles, , , , , , , & , 30 Nov 2021, In: Journal of Pharmaceutical and Biomedical Analysis. 206, 10 p., 114382.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Phenotypic expression and outcomes in individuals with rare genetic variants of hypertrophic cardiomyopathy

    Jinming Duan & 13 others, , , , , , , , , , , , & , 14 Sep 2021, In: Journal of the American College of Cardiology. 78, 11, p. 1097-1110

    Research output: Contribution to journalArticlepeer-review

  12. Accepted/In press

    A geometric framework for pitch estimation on acoustic musical signals

    Tom Goodman, & Peter Tino, 7 Sep 2021, (Accepted/In press) In: The Journal of Mathematics and Music.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

  19. E-pub ahead of print
  20. 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

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

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