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

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

  23. Accepted/In press

    Hierarchical reduced-space drift detection framework for multivariate supervised data streams

    Peter Tino & Xin Yao, 24 Aug 2021, (Accepted/In press) In: IEEE Transactions on Knowledge and Data Engineering.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Multi-stream online transfer learning for software effort estimation: is it necessary?

    Leandro Minku, 19 Aug 2021, PROMISE 2021: Proceedings of the 17th ACM International Conference on Predictive Models and Data Analytics in Software Engineering. McIntosh, S., Xia, X. & Amasaki, S. (eds.). Association for Computing Machinery (ACM), p. 11-20 10 p. (PROMISE: Predictor Models in Software Engineering).

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

  25. Accepted/In press

    A full dichotomy for Holantc, inspired by quantum computation

    Miriam Backens, 9 Aug 2021, (Accepted/In press) In: SIAM Journal on Computing.

    Research output: Contribution to journalArticlepeer-review

  26. Published
  27. Published

    A pixel dependent Finite Element model for spatial frequency domain imaging using NIRFAST

    Hamid Dehghani, 2 Aug 2021, In: Photonics. 8, 8, 15 p., 310.

    Research output: Contribution to journalArticlepeer-review

  28. E-pub ahead of print

    Tackling virtual and real concept drifts: an adaptive Gaussian mixture model approach

    Leandro Minku & , 29 Jul 2021, (E-pub ahead of print) In: IEEE Transactions on Knowledge and Data Engineering.

    Research output: Contribution to journalArticlepeer-review

  29. Published

    Can vectors read minds better than experts? Comparing data augmentation strategies for the automated scoring of children’s mindreading ability

    Venelin Kovatchev, Phillip Smith, Mark Lee & R.T. Devine, 27 Jul 2021, Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (Volume 1: Long Papers). Zong, C., Xia, F., Li, W. & Navigli, R. (eds.). Association for Computational Linguistics, ACL, (International Joint Conference on Natural Language Processing (IJCNLP)).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  30. E-pub ahead of print

    The Scott model of PCF in univalent type theory

    23 Jul 2021, (E-pub ahead of print) In: Mathematical Structures in Computer Science.

    Research output: Contribution to journalArticlepeer-review

  31. Published

    On index calculus algorithms for subfield curves

    Christophe Petit, 21 Jul 2021, Selected Areas in Cryptography - 27th International Conference, 2020, Revised Selected Papers. Dunkelman, O., Jacobson, Jr., M. J. & O’Flynn, C. (eds.). Springer, p. 115-138 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12804).

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

  32. Published

    Trapdoor DDH groups from pairings and isogenies

    Peter Kutas, Christophe Petit & , 21 Jul 2021, Selected Areas in Cryptography: 27th International Conference, Halifax, NS, Canada (Virtual Event), October 21-23, 2020, Revised Selected Papers. Dunkelman, O., Jacobson, Jr., M. J. & O’Flynn, C. (eds.). Springer, p. 431-450 (Lecture Notes in Computer Science).

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

  33. Published

    Stability and generalization of stochastic gradient methods for minimax problems

    Yunwen Lei, , & , 18 Jul 2021, Proceedings of ICML 2021. Meila, M. & Zhang, T. (eds.). JMLR , p. 6175-6186 12 p. (Proceedings of Machine Learning Research; vol. 139).

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

  34. Published

    SimS: a simplification of SiGamal

    Christophe Petit, 15 Jul 2021, Post-Quantum Cryptography: 12th International Workshop, PQCrypto 2021, Daejeon, South Korea, July 20–22, 2021, Proceedings. Cheon, J. H. & Tillich, J-P. (eds.). Springer, p. 277-295 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12841 LNCS).

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

  35. Published

    Enhancing contextualised language models with static character and word embeddings for emotional intensity and sentiment strength detection in Arabic tweets

    Mark Lee, 14 Jul 2021, In: Procedia CIRP. 189, p. 258-265 8 p.

    Research output: Contribution to journalConference articlepeer-review

  36. E-pub ahead of print

    Complementary time-frequency domain networks for dynamic parallel MR image reconstruction

    Jinming Duan, , , , , , , & , 13 Jul 2021, (E-pub ahead of print) In: Magnetic Resonance in Medicine.

    Research output: Contribution to journalArticlepeer-review

  37. Published
  38. Published

    A hybrid local search framework for the dynamic capacitated arc routing problem

    Leandro Minku, , & Xin Yao, 7 Jul 2021, GECCO '21: Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion. Chicano, F. (ed.). New York: Association for Computing Machinery (ACM), p. 139-140 2 p. (Genetic and Evolutionary Computation Conference (GECCO)).

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

  39. Published

    Predicative aspects of order theory in univalent foundations

    Martin Escardo, 6 Jul 2021, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). Kobayashi, N. (ed.). Schloss Dagstuhl, 18 p. 8. (LIPIcs: Leibniz International Proceedings in Informatics; vol. 195).

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

  40. E-pub ahead of print

    GAPORE: boolean network inference using a genetic algorithm with novel polynomial representation and encoding scheme

    Shan He, 3 Jul 2021, (E-pub ahead of print) In: Knowledge-Based Systems. 107277.

    Research output: Contribution to journalArticlepeer-review

  41. Published

    Understanding the impact on learners' reading performance and behaviour of matching e-learning material to dyslexia type and reading skill level

    Robert Hendley, 3 Jul 2021, HCI International 2021, Proceedings: HCI in Games: Third International Conference, HCI-Games 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II. Fang, X. (ed.). 1 ed. Springer, p. 135-154 20 p. (Lecture Notes in Computer Science (LNCS); vol. 12790).

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

  42. Accepted/In press

    Vehicle dispatch in on-demand ride-sharing with stochastic travel times

    David Parker & , 30 Jun 2021, (Accepted/In press) 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, (IEEE International Workshop on Intelligent Robots and Systems (IROS)).

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

  43. Published

    More precise runtime analyses of non-elitist EAs in uncertain environments

    Per Kristian Lehre & , 26 Jun 2021, GECCO '21: Proceedings of the 2020 Genetic and Evolutionary Computation Conference. Chicano, F. (ed.). New York: Association for Computing Machinery (ACM), p. 1160-1168 9 p. (Genetic and Evolutionary Computation Conference (GECCO)).

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

  44. Published

    Non-elitist evolutionary algorithms excel in fitness landscapes with sparse deceptive regions and dense valleys

    Per Kristian Lehre, 26 Jun 2021, GECCO '21: Proceedings of the 2021 Genetic and Evolutionary Computation Conference Companion. Chicano, F. (ed.). Association for Computing Machinery (ACM), p. 1133–1141 9 p. (Genetic and Evolutionary Computation Conference (GECCO)).

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

  45. E-pub ahead of print
  46. Published

    An offline delegatable cryptocurrency system

    David Galindo Chacon & , 24 Jun 2021, 2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE, (IEEE International Conference on Blockchain and Cryptocurrency (ICBC)).

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

  47. Published

    Fully parallel implementation of Otsu automatic image thresholding algorithm on FPGA

    Leonardo Dias & , 17 Jun 2021, In: Sensors. 21, 12, 17 p., 4151.

    Research output: Contribution to journalArticlepeer-review

  48. Published

    One-way functions and malleability oracles: hidden shift attacks on isogeny-based protocols

    Peter Kutas, , Christophe Petit & , 16 Jun 2021, Advances in Cryptology – EUROCRYPT 2021: 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17–21, 2021, Proceedings, Part I. Canteaut, A. & Standaert, F-X. (eds.). Springer, p. 242-271 30 p. (Lecture Notes in Computer Science; vol. 12696).

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

  49. Published
  50. Published

    Bow-tie architecture of gene regulatory networks in species of varying complexity

    Shan He, & , Jun 2021, In: Journal of The Royal Society Interface. 18, 179, 20210069.

    Research output: Contribution to journalArticlepeer-review

  51. Published

    Combining multi-robot motion planning and goal allocation using roadmaps

    Masoumeh Mansouri & , 30 May 2021, 2021 IEEE International Conference on Robotics and Automation (ICRA). IEEE, (IEEE International Conference on Robotics and Automation (ICRA)).

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

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