Computer Science

Organisational unit: School

Publications

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

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

  4. Published

    Secret Keys in Genus-2 SIDH

    1 Oct 2021.

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

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

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

  7. Published
  8. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  25. Published
  26. 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

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

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

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

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

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

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

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

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

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

  36. Published
  37. 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

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

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

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

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

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

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

  44. E-pub ahead of print
  45. 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

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

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

  48. Published
  49. 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

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

  51. Published

    Targeting structural features of viral genomes with a nano-sized supramolecular drug

    Larry Melidis, Iain Styles & Mike Hannon, 28 May 2021, In: Chemical Science. 12, 20, p. 7174-7184 11 p.

    Research output: Contribution to journalArticlepeer-review

  52. E-pub ahead of print
  53. E-pub ahead of print
  54. E-pub ahead of print

    A full-parallel implementation of self-organizing maps on hardware

    Leonardo Dias, , & , 21 May 2021, (E-pub ahead of print) In: Neural Networks.

    Research output: Contribution to journalArticlepeer-review

  55. Published

    Combining task and motion planning: challenges and guidelines

    Masoumeh Mansouri, & , 19 May 2021, In: Frontiers in Robotics and AI. 8, 12 p., 637888.

    Research output: Contribution to journalReview articlepeer-review

  56. Published

    Apparently irrational choice as optimal sequential decision making

    Hyung Jin Chang & Andrew Howes, 18 May 2021, AAAI'21 Proceedings : Thirty-fifth AAAI Conference on Artificial Intelligence. AAAI Press, p. 792-800 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 35, no. 1).

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

  57. Published

    Class-attentive diffusion network for semi-supervised classification

    Hyung Jin Chang, & , 18 May 2021, AAAI'21 Proceedings of the Thirty-fifth AAAI Conference on Artificial Intelligence. AAAI Press, p. 8601-8609 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 35, no. 10).

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

  58. Published

    Fine-grained generalization analysis of vector-valued learning

    Yunwen Lei & , 18 May 2021, AAAI'21 Proceedings of the Thirty-fifth AAAI Conference on Artificial Intelligence. AAAI Press, p. 10338-10346 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 35, no. 12).

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

  59. Published

    Norm-based generalisation bounds for deep multi-class convolutional neural networks

    Yunwen Lei & , 18 May 2021, AAAI'21 Proceedings of the Thirty-fifth AAAI Conference on Artificial Intelligence. AAAI Press, p. 8279-8287 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 35, no. 9).

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

  60. Accepted/In press

    A network-flow reduction for the multi-robot goal allocation and motion planning problem

    Masoumeh Mansouri & , 15 May 2021, (Accepted/In press) 17th IEEE International Conference on Automation Science and Engineering (CASE 2021).

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

  61. Published

    Quantitative evaluation of frequency domain measurements in high density diffuse optical tomography

    Hamid Dehghani, 4 May 2021, In: Journal of Biomedical Optics. 26, 5, 18 p., 056001 .

    Research output: Contribution to journalArticlepeer-review

  62. Published

    An adaptive model of gaze-based selection

    Xiuli Chen, , & Andrew Howes, May 2021, CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery , 11 p. 288. (CHI: Conference on Human Factors in Computing Systems).

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

  63. Published

    Assessing smart contracts security technical debts

    Rami Bahsoon, May 2021, 2021 IEEE/ACM International Conference on Technical Debt (TechDebt). Association for Computing Machinery (ACM), Vol. 1. p. 6-15

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

  64. E-pub ahead of print

    Integrated Commonsense Reasoning and Deep Learning for Transparent Decision Making in Robotics

    Mohan Sridharan & Ales Leonardis, 29 Apr 2021, (E-pub ahead of print) In: SN Computer Science. 2, 4, 242.

    Research output: Contribution to journalArticlepeer-review

  65. Published
  66. Published

    Student perception of usability: a metric for evaluating the benefit when adapting e-learning to the needs of students with dyslexia

    Robert Hendley, 23 Apr 2021, Proceedings of the 13th International Conference on Computer Supported Education. SCITEPRESS, Science and Technology Publications, Lda, Vol. 1. p. 207-219 13 p. (CSEDU).

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

  67. Published

    Stability and differential privacy of stochastic gradient descent for pairwise learning with non-smooth loss

    Yunwen Lei, & , 15 Apr 2021, Proceedings of The 24th International Conference on Artificial Intelligence and Statistics. Banerjee, A. & Fukumizu, K. (eds.). p. 2026-2034 9 p. (Proceedings of Machine Learning Research; vol. 130).

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

  68. E-pub ahead of print

    The impact of data difficulty factors on classification of imbalanced and concept drifting data streams

    Leandro Minku, , & , 1 Apr 2021, (E-pub ahead of print) In: Knowledge and Information Systems.

    Research output: Contribution to journalArticlepeer-review

  69. E-pub ahead of print

    Signal regression in frequency-domain diffuse optical tomography to remove superficial signal contamination

    Joshua Deepak Veesa & Hamid Dehghani, 31 Mar 2021, (E-pub ahead of print) In: Neurophotonics. 8, 1, 17 p., 015013.

    Research output: Contribution to journalArticlepeer-review

  70. Published

    There and back again: a circuit extraction tale

    Miriam Backens, , , & , 25 Mar 2021, In: Quantum. 5, p. 421

    Research output: Contribution to journalArticlepeer-review

  71. E-pub ahead of print

    Learning rates for stochastic gradient descent with nonconvex objectives

    Yunwen Lei & , 23 Mar 2021, (E-pub ahead of print) In: IEEE Transactions on Pattern Analysis and Machine Intelligence .

    Research output: Contribution to journalArticlepeer-review

  72. Published
  73. E-pub ahead of print

    Surrogate models in evolutionary single-objective optimization: a new taxonomy and experimental study

    Leandro Minku & Xin Yao, 8 Mar 2021, (E-pub ahead of print) In: Information Sciences.

    Research output: Contribution to journalArticlepeer-review

  74. E-pub ahead of print

    Input-to-state representation in linear reservoirs dynamics

    Peter Tino, 2 Mar 2021, (E-pub ahead of print) In: IEEE Transactions on Neural Networks and Learning Systems.

    Research output: Contribution to journalArticlepeer-review

  75. Accepted/In press

    FS-Net: fast shape-based network for category-level 6D object pose estimation with decoupled rotation mechanism

    Hyung Jin Chang, Jinming Duan, & Ales Leonardis, 1 Mar 2021, (Accepted/In press) 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, (Proceedings. IEEE Computer Society Conference on Computer Vision and Pattern Recognition.).

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

  76. Accepted/In press

    FixBi: bridging domain spaces for unsupervised domain adaptation

    Hyung Jin Chang & , 1 Mar 2021, (Accepted/In press) 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, (Proceedings. IEEE Computer Society Conference on Computer Vision and Pattern Recognition.).

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

  77. E-pub ahead of print

    Liquid extraction surface analysis mass spectrometry of ESKAPE pathogens

    Robin May, Iain Styles & Helen Cooper, 1 Mar 2021, (E-pub ahead of print) In: Journal of the American Society for Mass Spectrometry.

    Research output: Contribution to journalArticlepeer-review

  78. Accepted/In press

    Unsupervised hyperbolic representation learning via message passing auto-encoders

    Hyung Jin Chang & , 1 Mar 2021, (Accepted/In press) 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, (Proceedings. IEEE Computer Society Conference on Computer Vision and Pattern Recognition.).

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

  79. Accepted/In press

    VaB-AL: incorporating class imbalance and difficulty with variational Bayes for active learning

    Hyung Jin Chang, 1 Mar 2021, (Accepted/In press) 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, (Proceedings. IEEE Computer Society Conference on Computer Vision and Pattern Recognition.).

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

  80. Accepted/In press

    Optimal online dispatch for high-capacity shared autonomous mobility-on-demand systems

    David Parker & , 28 Feb 2021, (Accepted/In press) 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, (IEEE International Conference on Robotics and Automation (ICRA)).

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

  81. Published

    Stochastic proximal AUC maximization

    Yunwen Lei & , 28 Feb 2021, In: Journal of Machine Learning Research. 22, 45 p., 61.

    Research output: Contribution to journalArticlepeer-review

  82. Accepted/In press

    Optimized polynomial multiplier architectures for post-quantum KEM Saber

    Sujoy Sinha Roy, 25 Feb 2021, (Accepted/In press) DAC '21: Proceedings of the 58th Annual Design Automation Conference 2021. Association for Computing Machinery (ACM), (DAC: Design Automation Conference ).

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

  83. E-pub ahead of print

    Quantitative verification of Kalman filters

    Alexandros Evangelidis & David Parker, 5 Feb 2021, (E-pub ahead of print) In: Formal Aspects of Computing.

    Research output: Contribution to journalArticlepeer-review

  84. E-pub ahead of print

    PISTIS: an event-triggered real-time Byzantine-resilient protocol suite

    Vincent Rahli & , 4 Feb 2021, (E-pub ahead of print) In: IEEE Transactions on Parallel and Distributed Systems.

    Research output: Contribution to journalArticlepeer-review

  85. Published

    Generalization performance of multi-pass stochastic gradient descent with convex loss functions

    Yunwen Lei, & , 31 Jan 2021, In: Journal of Machine Learning Research. 22, 25.

    Research output: Contribution to journalArticlepeer-review

  86. Accepted/In press

    Data-driven Boolean network inference using a genetic algorithm with marker-based encoding

    Shan He, 26 Jan 2021, (Accepted/In press) In: IEEE - ACM Transactions on Computational Biology and Bioinformatics. 12 p.

    Research output: Contribution to journalArticlepeer-review

  87. E-pub ahead of print

    Automatic verification of concurrent stochastic systems

    David Parker & , 22 Jan 2021, (E-pub ahead of print) In: Formal Methods in System Design. 58 p.

    Research output: Contribution to journalArticlepeer-review

  88. Published

    Sharper generalization bounds for learning with gradient-dominated objective functions

    Yunwen Lei & , 16 Jan 2021, International Conference on Learning Representations: ICLR 2021. OpenReview.net, p. 1-23 23 p.

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

  89. Published

    Domain theory in constructive and predicative univalent foundations

    Martin Escardo, 13 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl, 18 p. 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).

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

  90. Published

    Open bar - a Brouwerian intuitionistic logic with a pinch of excluded middle

    Vincent Rahli, 13 Jan 2021, In: Leibniz International Proceedings in Informatics. 183, p. 11:1-11:23

    Research output: Contribution to journalConference articlepeer-review

  91. Published

    A duality for two-sorted lattices

    Umberto Rivieccio & Achim Jung, 5 Jan 2021, In: Soft Computing. 25, 2, p. 851–868

    Research output: Contribution to journalArticlepeer-review

  92. E-pub ahead of print

    Injective types in univalent mathematics

    Martin Escardo, 5 Jan 2021, (E-pub ahead of print) In: Mathematical Structures in Computer Science. 28 p.

    Research output: Contribution to journalArticlepeer-review

  93. Published

    Improved Torsion-Point Attacks on SIDH Variants

    Peter Kutas, , , , Christophe Petit & , 2021, Advances in Cryptology – CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Proceedings. Malkin, T. & Peikert, C. (eds.). Springer, p. 432-470 39 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12827 LNCS).

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

  94. 2020
  95. Published

    Can Current Methods in Knowledge Representation and Reasoning Make Robots Culturally Robust?

    Masoumeh Mansouri, 30 Dec 2020, Can Current Methods in Knowledge Representation and Reasoning Make Robots Culturally Robust?. Amsterdam, Vol. 335. p. 158 - 168 11 p. (Culturally Sustainable Social Robotics - Proceedings of Robophilosophy 2020. Series Frontiers of AI and Its Applications).

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

  96. E-pub ahead of print
  97. Published

    Towards a Minimal Stabilizer ZX-calculus

    Miriam Backens, & , 22 Dec 2020, In: Logical Methods in Computer Science. 16, 4, p. 19:1-19:30

    Research output: Contribution to journalArticlepeer-review

  98. Published

    Learning from Vulnerabilities - Categorising, Understanding and Detecting Weaknesses in Industrial Control Systems

    Richard J Thomas & Tom Chothia, 17 Dec 2020, Computer Security - ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, 2020, Revised Selected Papers. Katsikas, S., Cuppens, F., Cuppens, N., Lambrinoudakis, C., Kalloniatis, C., Mylopoulos, J., Antón, A., Gritzalis, S., Meng, W. & Furnell, S. (eds.). Springer, p. 100-116 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12501 LNCS).

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

  99. Accepted/In press

    Benchmark Concept for Industrial Pick&Place Applications

    Martin Rudorfer & , 15 Dec 2020, (Accepted/In press) In: IOP Conference Series: Materials Science and Engineering.

    Research output: Contribution to journalConference articlepeer-review

  100. Accepted/In press

    Quantifying the use of domain randomization

    Hector Basevi & Ales Leonardis, 10 Dec 2020, (Accepted/In press) 25th International Conference on Pattern Recognition (ICPR 2020).

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

  101. Published

    Faulty Point Unit: ABI Poisoning Attacks on Intel SGX

    David Oswald & , 7 Dec 2020, ACSAC '20: Annual Computer Security Applications Conference 2020. Association for Computing Machinery (ACM), p. 415-427

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

  102. Published

    Sharper Generalization Bounds for Pairwise Learning

    Yunwen Lei, & , 6 Dec 2020, Advances in Neural Information Processing Systems.

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

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