Browse Publications

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

  3. Publications content icon
    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

  4. Publications content icon
    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

  5. Publications content icon
    Published

    Under the hood of SYCL – an initial performance analysis with an unstructured-mesh CFD application

    Stephen Jarvis & , 17 Jun 2021, High Performance Computing: 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings. Chamberlain, B. L., Varbanescu, A-L., Ltaief, H. & Luszczek, P. (eds.). 1 ed. Springer, p. 391-410 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12728).

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

  6. Publications content icon
    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

  7. Publications content icon
    Published

    SAFA: a semi-asynchronous protocol for fast federated learning with low overhead

    Stephen Jarvis, 1 May 2021, In: IEEE Transactions on Computers. 70, 5, p. 655-668 14 p., 9093123.

    Research output: Contribution to journalArticlepeer-review

  8. Publications content icon
    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

  9. Publications content icon
    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

  10. 2020
  11. Publications content icon
    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

  12. Publications content icon
    Published

    Parallel design of sparse deep belief network with multi-objective optimization

    Naresh Marturi, Sep 2020, In: Information Sciences. 533, p. 24-42 19 p.

    Research output: Contribution to journalArticlepeer-review

  13. Publications content icon
    Published

    Improving sampling in evolution strategies through mixture-based distributions built from past problem instances

    Stephen Friess, Peter Tino, , & Xin Yao, 31 Aug 2020, Parallel Problem Solving from Nature – PPSN XVI. Springer, p. 583-596 14 p. (Lecture Notes in Computer Science; vol. 12269).

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

  14. Publications content icon
    Published

    An unstructured CFD mini-application for the performance prediction of a production CFD code

    Stephen Jarvis, 25 May 2020, In: Concurrency Computation. 32, 10, e5443.

    Research output: Contribution to journalArticlepeer-review

  15. Publications content icon
    E-pub ahead of print

    Endogenous Queue Number Determination in G/M/s Systems

    Vasco Alves, 17 Apr 2020, (E-pub ahead of print) In: 4OR.

    Research output: Contribution to journalArticlepeer-review

  16. Publications content icon
    Published
  17. Publications content icon
    Published

    Combining character and word embeddings for affect in arabic informal social media microblogs

    Mark Lee, 2020, Natural Language Processing and Information Systems - 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Proceedings. Métais, E., Meziane, F., Horacek, H. & Cimiano, P. (eds.). Springer Vieweg, p. 213-224 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12089 LNCS).

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

  18. Publications content icon
    Published

    HEAT: Hyperbolic Embedding of Attributed Networks

    Shan He, 2020, Intelligent Data Engineering and Automated Learning – IDEAL 2020 - 21st International Conference, 2020, Proceedings. Analide, C., Novais, P., Camacho, D. & Yin, H. (eds.). Springer, p. 28-40 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12489 LNCS).

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

  19. Publications content icon
    Published

    On adaptive attacks against jao-urbanik’s isogeny-based protocol

    Peter Kutas, , Christophe Petit & , 2020, Progress in Cryptology - AFRICACRYPT 2020 - 12th International Conference on Cryptology in Africa, Proceedings. Nitaj, A. & Youssef, A. (eds.). Springer Vieweg, p. 195-213 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12174 LNCS).

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

  20. Publications content icon
    Published

    Pairwise Learning to Rank by Neural Networks Revisited: Reconstruction, Theoretical Analysis and Practical Performance

    Andreas Karwath & , 2020, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2019, Proceedings. Brefeld, U., Fromont, E., Hotho, A., Knobbe, A., Maathuis, M. & Robardet, C. (eds.). Springer Vieweg, p. 237-252 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11908 LNAI).

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

  21. Publications content icon
    Published

    SQISign: Compact Post-quantum Signatures from Quaternions and Isogenies

    Christophe Petit & , 2020, Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, 2020, Proceedings. Moriai, S. & Wang, H. (eds.). Springer, p. 64-93 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12491 LNCS).

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

  22. Publications content icon
    Published

    Semi-commutative masking: A framework for isogeny-based protocols, with an application to fully secure two-round isogeny-based OT

    Christophe Petit & , 2020, Cryptology and Network Security - 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings. Krenn, S., Shulman, H. & Vaudenay, S. (eds.). Springer, p. 235-258 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12579 LNCS).

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

  23. 2019
  24. Publications content icon
    Published

    Connected chord diagrams and bridgeless maps

    Noam Zeilberger, 22 Nov 2019, In: The Electronic Journal of Combinatorics. 26, 4, p. 1-56 56 p., P4.37.

    Research output: Contribution to journalArticlepeer-review

  25. Publications content icon
    Published

    Classification of Maximum Hittings by Large Families

    Richard Mycroft, 16 Nov 2019, In: Graphs and Combinatorics. 36, p. 27-39 13 p.

    Research output: Contribution to journalArticlepeer-review

  26. Publications content icon
    Published

    Verification and control of turn-based probabilistic real-time games

    David Parker, 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer, Vol. 11760. p. 379-396 16 p. (Lecture Notes in Computer Science).

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

  27. Publications content icon
    Published

    On the decomposition threshold of a given graph

    Stefan Glock, Daniela Kuhn, Allan Lo, Richard Montgomery & Deryk Osthus, Nov 2019, In: Journal of Combinatorial Theory. Series B. 139, p. 47-127 81 p.

    Research output: Contribution to journalArticlepeer-review

  28. Publications content icon
    Published

    Data efficient unsupervised domain adaptation for cross-modality image segmentation

    Jinming Duan & , 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 669-677 9 p. (Lecture Notes in Computer Science ; vol. 11765).

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

  29. Publications content icon
    Published

    Self-supervised learning for cardiac MR image segmentation by anatomical position prediction

    Jinming Duan, , , , & , 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 541-549 9 p. (Lecture Notes in Computer Science ; vol. ecture Notes in Computer Science ).

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

  30. Publications content icon
    Published

    VS-Net: variable splitting network for accelerated parallel MRI reconstruction

    Jinming Duan, , , , , , , , & , 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part IV. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 713-722 10 p. (Lecture Notes in Computer Science; vol. 11767).

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

  31. Publications content icon
    Published

    k-t NEXT: dynamic MR image reconstruction exploiting spatio-temporal correlations

    Jinming Duan, , , & , 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 505-513 9 p. (Lecture Notes in Computer Science; vol. 11765).

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

  32. Publications content icon
    Published

    An asymptotic bound for the strong chromatic number

    Allan Lo & , Sep 2019, In: Combinatorics, Probability and Computing. 28, 5, p. 768-776 9 p.

    Research output: Contribution to journalArticlepeer-review

  33. Publications content icon
    Published
  34. Publications content icon
    Published

    Choose Your Pwn Adventure: Adding Competition and Storytelling to an Introductory Cybersecurity Course

    Tom Chothia, Chris Novakovic, Andreea-Ina Radu & Richard J Thomas, 27 Apr 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 141-172 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11345 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  35. Publications content icon
    E-pub ahead of print

    Factoring Products of Braids via Garside Normal Form

    Christophe Petit, 6 Apr 2019, (E-pub ahead of print) Public-Key Cryptography – PKC 2019 - 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings: 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II. Sako, K. & Lin, D. (eds.). Springer, p. 646-678 33 p. (Lecture Notes in Computer Science; vol. 11443 LNCS).

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

  36. Publications content icon
    E-pub ahead of print

    The 2019 comparison of tools for the analysis of quantitative formal models (QComp 2019 competition report)

    David Parker, , & , 4 Apr 2019, (E-pub ahead of print) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Springer, Vol. 3. p. 69-92 24 p. (Lecture Notes in Computer Science; vol. 11429).

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

  37. Publications content icon
    Published

    Tilings in randomly perturbed dense graphs

    Andrew Treglown & , Mar 2019, In: Combinatorics, Probability and Computing. 28, 2, p. 159-176 18 p.

    Research output: Contribution to journalArticlepeer-review

  38. Publications content icon
    Published

    A sequent calculus for a semi-associative law

    Noam Zeilberger, 5 Feb 2019, In: Logical Methods in Computer Science. 15, 1, p. 9:1-9:23 23 p., 9.

    Research output: Contribution to journalArticlepeer-review

  39. Publications content icon

    Point Pair Feature Matching: Evaluating Methods to Detect Simple Shapes

    Martin Rudorfer, , & , 2019, Computer Vision Systems - 12th International Conference, ICVS 2019, Proceedings. Tzovaras, D., Giakoumis, D., Vincze, M. & Argyros, A. (eds.). Springer Vieweg, p. 445-456 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11754 LNCS).

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

  40. 2018
  41. Publications content icon
    Published

    The sequent calculus of skew monoidal categories

    Noam Zeilberger, 1 Dec 2018, In: Electronic Notes in Theoretical Computer Science. 341, p. 345-370 26 p.

    Research output: Contribution to journalArticlepeer-review

  42. Publications content icon
    Published

    Combining deep learning and shape priors for bi-ventricular segmentation of volumetric cardiac magnetic resonance images

    Jinming Duan, , , , , , , , & , 23 Nov 2018, Shape in Medical Imaging : nternational Workshop, ShapeMI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings. Lombaert, H., Paniagua, B., Egger, B., Lüthi, M., Reuter, M. & Wachinger, C. (eds.). Springer Verlag, p. 258-267 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11167 LNCS).

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

  43. Publications content icon
    Published
  44. Publications content icon
    Published

    Understanding Communication Patterns in HPCG

    Stephen Jarvis, 29 Oct 2018, In: Electronic Notes in Theoretical Computer Science. 340, p. 55-65 11 p.

    Research output: Contribution to journalArticlepeer-review

  45. Publications content icon
    Published

    Cardiac MR segmentation from undersampled k-space using deep latent representation learning

    Jinming Duan, , & , 26 Sep 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part I. Schnabel, J. A., Davatzikos, C., Alberola-López, C., Fichtinger, G. & Frangi, A. F. (eds.). Springer Verlag, p. 259-267 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11070 LNCS).

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

  46. Publications content icon
    Published

    Deep Nested level sets: fully automated segmentation of cardiac MR images in patients with pulmonary hypertension

    Jinming Duan, , , , , , , & , 13 Sep 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part IV. Frangi, A. F., Fichtinger, G., Schnabel, J. A., Alberola-López, C. & Davatzikos, C. (eds.). Springer Verlag, p. 595-603 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11073 LNCS).

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

  47. Publications content icon
    Published

    Hamilton cycles in sparse robustly expanding digraphs

    Allan Lo & , 7 Sep 2018, In: Electronic Journal of Combinatorics. 25, 3, #P3.44.

    Research output: Contribution to journalArticlepeer-review

  48. Publications content icon
    Published

    Performance Optimisation of Inertial Confinement Fusion Codes using Mini-applications

    Stephen Jarvis, 1 Jul 2018, In: International Journal of High Performance Computing Applications. 32, 4, p. 570-581 12 p.

    Research output: Contribution to journalReview articlepeer-review

  49. Publications content icon
    Published

    Focussing, MALL and the Polynomial Hierarchy

    Anupam Das, 30 Jun 2018, Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Sebastiani, R., Galmiche, D. & Schulz, S. (eds.). Springer, p. 689-705 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

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

  50. Publications content icon
    Published

    On the intersection of infinite matroids

    Johannes Carmesin & , 1 Jun 2018, In: Discrete Mathematics. 341, 6, p. 1582-1596 15 p.

    Research output: Contribution to journalArticlepeer-review

  51. Publications content icon
    Published

    A tight lower bound for steiner orientation

    Rajesh Chitnis & , 25 Apr 2018, Computer Science - Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (eds.). Springer Verlag, p. 65-77 13 p. (Lecture Notes in Computer Science ; vol. 10846 ).

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

  52. Publications content icon
    Published

    Can we create large k-cores by adding few edges?

    Rajesh Chitnis & , 25 Apr 2018, Computer Science - Theory and Applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (eds.). Springer Verlag, p. 78-89 11 p. (Lecture Notes in Computer Science ; vol. 10846).

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

  53. Publications content icon
    Published

    Quotient inductive-inductive types

    Nicolai Kraus & , 14 Apr 2018, Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Baier, C. & Dal Lago, U. (eds.). Springer Verlag, p. 293-310 (Lecture Notes in Computer Science ; vol. 10803 ).

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

  54. Publications content icon
    Published

    Algorithms and hardness results for nearest neighbor problems in bicolored point sets

    Rajesh Chitnis, 13 Mar 2018, LATIN 2018 -Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings. Mosteiro, M. A., Bender, M. A. & Farach-Colton, M. (eds.). Springer Verlag, p. 80-93 (Lecture Notes in Computer Science ; vol. 10807).

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

  55. 2017
  56. Publications content icon
    Published

    Adjusting parallel coordinates for investigating multi-objective search

    Miqing Li, Ran Cheng, & Xin Yao, 14 Oct 2017, Simulated Evolution and Learning : 11th International Conference, SEAL 2017, Proceedings. Li, X., Zhang, M., Zhang, Q., Middendorf, M., Tan, K. C., Tan, Y., Jin, Y., Shi, Y. & Tang, K. (eds.). Springer, p. 224-235 12 p. (Lecture Notes in Computer Science; vol. 10593 ).

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

  57. Publications content icon
    Published

    Goal-based composition of scalable hybrid analytics for heterogeneous architectures

    Stephen Jarvis, Oct 2017, In: Journal of Parallel and Distributed Computing. 108, p. 59-73 15 p.

    Research output: Contribution to journalArticlepeer-review

  58. Publications content icon
    Published

    Faster exact algorithms for some terminal set problems

    Rajesh Chitnis, , , , & , 1 Sep 2017, In: Journal of Computer and System Sciences. 88, September, p. 195-207 13 p.

    Research output: Contribution to journalArticlepeer-review

  59. Publications content icon
    Published

    A cut-free cyclic proof system for kleene algebra

    Anupam Das & , 30 Aug 2017, Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28 2017, Proceedings. Nalon, C. & Schmidt, R. A. (eds.). Springer, p. 261-277 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10501 LNAI).

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

  60. Publications content icon
    Published

    Evaluating the effect of uncertainty visualisation in open learner models on students’ metacognitive skills

    23 Jun 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. Springer Verlag, Vol. 10331 LNAI. p. 15-27 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10331 LNAI).

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

  61. Publications content icon
    Published

    Student preferences for visualising uncertainty in open learner models

    23 Jun 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. Springer Verlag, Vol. 10331 LNAI. p. 445-449 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10331 LNAI).

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

  62. Publications content icon
    Published

    On linear rewriting systems for Boolean logic and some applications to proof theory

    Anupam Das & , 27 Apr 2017, In: Logical Methods in Computer Science. 12, 4, p. 1-27 27 p., 9.

    Research output: Contribution to journalArticlepeer-review

  63. Publications content icon
    Published

    Partiality, revisited: The partiality monad as a quotient inductive-inductive type

    Nicolai Kraus, 16 Mar 2017, Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 534-549 16 p. (Lecture Notes in Computer Science; vol. 10203).

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

  64. Publications content icon
    Published

    Efficient finite field multiplication for isogeny based post quantum cryptography

    Sujoy Sinha Roy, & , 9 Mar 2017, Arithmetic of Finite Fields: 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers. Duquesne, S. & Petkova-Nikova, S. (eds.). Springer Verlag, p. 193-207 15 p. (Lecture Notes in Computer Science; vol. 10064 ).

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

  65. Publications content icon
    Published

    Fully online clustering of evolving data streams into arbitrarily shaped clusters

    A. Robert MacKenzie, 1 Mar 2017, In: Information Sciences. 382-383, p. 96-114 19 p.

    Research output: Contribution to journalArticlepeer-review

  66. Publications content icon
    Published

    A practical energy modeling method for industrial robots in manufacturing

    Duc Pham, 1 Jan 2017, Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8–11, 2016 Revised Selected Papers. Zhang, L., Ren, L. & Kordon, F. (eds.). Springer Verlag, p. 25-36 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10228 LNCS).

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

  67. Publications content icon
    Published

    External force detection for physical human-robot interaction using dynamic model identification

    Duc Pham, 1 Jan 2017, Intelligent Robotics and Applications : 10th International Conference, ICIRA 2017, 17 Wuhan, China, August 16–18, 2017, Proceedings, Part 1. Huang, Y., Wu, H., Liu, H. & Yin, Z. (eds.). Springer Verlag, p. 581-592 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10462 LNAI).

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

  68. Publications content icon
    Published

    Manufacturing service reconfiguration optimization using hybrid bees algorithm in cloud manufacturing

    Duc Pham, 1 Jan 2017, Challenges and Opportunity with Big Data : 19th Monterey Workshop 2016, Beijing, China, October 8–11, 2016, Revised Selected Papers. Zhang, L., Ren, L. & Kordon, F. (eds.). Springer Verlag, p. 87-98 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10228 LNCS).

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

  69. Publications content icon
    Published

    Modeling of digital twin workshop based on perception data

    Duc Pham, 1 Jan 2017, Intelligent Robotics and Applications : 10th International Conference, ICIRA 2017, Wuhan, China, August 16–18, 2017, Proceedings, Part III. Huang, Y., Wu, H., Liu, H. & Yin, Z. (eds.). Springer Verlag, p. 3-14 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10464 LNAI).

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

  70. Publications content icon
    Published

    A market-based approach for detecting malware in the cloud via introspection

    Tom Chothia & Rami Bahsoon, 2017, Service-Oriented Computing - 15th International Conference, ICSOC 2017, Proceedings. Maximilien, M., Vallecillo, A., Wang, J. & Oriol, M. (eds.). Springer Verlag, p. 722-730 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10601 LNCS).

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

  71. Publications content icon
    Published

    How do eyewitness social media reports reflect socio-economic effects of natural hazards?

    Stephen Jarvis, 2017, Social Informatics - 9th International Conference, SocInfo 2017, Proceedings. Ciampaglia, G. L., Yasseri, T. & Mashhadi, A. (eds.). Springer Verlag, p. 221-229 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10540 LNCS).

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

  72. Publications content icon
    Published

    Metrics for energy-aware software optimisation

    Stephen Jarvis, 2017, High Performance Computing - 32nd International Conference, ISC High Performance 2017, Proceedings. Kunkel, J. M., Balaji, P., Keyes, D. & Yokota, R. (eds.). Springer Verlag, p. 413-430 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10266 LNCS).

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

  73. 2016
  74. Publications content icon
    Published

    Tight bounds for Gomory-Hu-like cut counting

    Rajesh Chitnis, & , 28 Sep 2016, Graph-Theoretic Concepts in Computer Science : 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers. Heggernes, P. (ed.). Springer Verlag, p. 133-144 (Lecture Notes in Computer Science ; vol. 9941).

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

  75. Publications content icon
    E-pub ahead of print

    Finding small sets of random fourier features for shift-invariant kernel approximation

    Frank-Michael Schleif, Ata Kaban & Peter Tino, 9 Sep 2016, (E-pub ahead of print) Artificial Neural Networks in Pattern Recognition - 7th IAPR TC3 Workshop, ANNPR 2016, Proceedings. Springer Verlag, Vol. 9896 LNAI. p. 42-54 13 p. (Lecture Notes in Computer Science; vol. 9896 LNAI).

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

  76. Publications content icon
    Published

    Emergence of diversity and its benefits for crossover in genetic algorithms

    Per Kristian Lehre, , & , 31 Aug 2016, Parallel Problem Solving from Nature - 14th International Conference, PPSN 2016, Proceedings. Springer Verlag, Vol. 9921 LNCS. p. 890-900 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9921 LNCS).

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

  77. Publications content icon
    Published

    Self-adaptation of mutation rates in non-elitist populations

    Per Kristian Lehre, 31 Aug 2016, PPSN 2016: Parallel Problem Solving from Nature – PPSN XIV . Handl, J., Hart, E., Lewis, P. R., López-Ibáñez, M., Ochoa, G. & Paechter, B. (eds.). Springer Verlag, p. 803-813 11 p. (Lecture Notes in Computer Science (LNCS); vol. 9921 )(Theoretical Computer Science and General Issues (LNTCS); vol. 9921).

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

  78. Publications content icon
    Published

    Some wellfounded trees in UniMath

    Benedikt Ahrens & , 6 Jul 2016, Mathematical Software - ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Greuel, G-M., Koch, T., Paule, P. & Sommese, A. (eds.). Springer Verlag, Vol. 9725. p. 9-17 (Lecture Notes in Computer Science ; vol. 9725).

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

  79. Publications content icon
    Published

    Objective reduction based on nonlinear correlation information entropy

    Xin Yao, Jun 2016, In: Soft Computing. 20, 6, p. 2393–2407

    Research output: Contribution to journalArticlepeer-review

  80. Publications content icon
    Published

    Optimal path and cycle decompositions of dense quasirandom graphs

    Stefan Glock, Daniela Kuhn & Deryk Osthus, 1 May 2016, In: Journal of Combinatorial Theory. Series B. 118, p. 88-108 21 p.

    Research output: Contribution to journalArticlepeer-review

  81. Publications content icon
    Published

    Parameterized complexity of the anchored k-core problem for directed graphs

    Rajesh Chitnis, & , 1 Apr 2016, In: Information and Computation. 247, p. 11-22

    Research output: Contribution to journalArticlepeer-review

  82. Publications content icon
    Published

    Additively homomorphic ring-LWE masking

    Sujoy Sinha Roy, & , 4 Feb 2016, Post-Quantum Cryptography : 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings. Takagi, T. (ed.). Springer Verlag, p. 233-244 12 p. (Lecture Notes in Computer Science; vol. 9606).

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

  83. Publications content icon
    Published

    A systematic review of service level management in the cloud

    Rami Bahsoon, 1 Feb 2016, In: ACM Computing Surveys. 48, 3, 27 p., 43.

    Research output: Contribution to journalArticlepeer-review

  84. Publications content icon
    Published

    On investigation of interdependence between sub-problems of the Travelling Thief Problem

    Xin Yao, Jan 2016, In: Soft Computing. 20, 1, p. 157-172 16 p.

    Research output: Contribution to journalArticlepeer-review

  85. Publications content icon
    Published

    Limits to learning in reinforcement learning hyper-heuristics

    Per Kristian Lehre, 2016, Evolutionary Computation in Combinatorial Optimization - 16th European Conference, EvoCOP 2016, Proceedings. Springer Verlag, Vol. 9595. p. 170-185 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9595).

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

  86. Publications content icon
    Published

    The fall of a tiny star

    Flavio Garcia & , 2016, The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday. Quisquater, J-J., Ryan, P. Y. A. & Naccache, D. (eds.). Springer Verlag, p. 69-87 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9100).

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

  87. 2015
  88. Publications content icon
    E-pub ahead of print

    Nadir point estimation for many-objective optimization problems based on emphasized critical regions

    Shan He & Xin Yao, 17 Nov 2015, (E-pub ahead of print) In: Soft Computing. p. 1-13 13 p.

    Research output: Contribution to journalArticlepeer-review

  89. Publications content icon
    Published

    A Growing Story [President's Message]

    Xin Yao, 12 Oct 2015, In: IEEE Computational Intelligence Magazine. 10, 4, p. 3-3 1 p., 7296714.

    Research output: Contribution to journalArticlepeer-review

  90. Publications content icon
    Published

    Lightweight coprocessor for koblitz curves: 283-bit ecc including scalar conversion with only 4300 gates

    Sujoy Sinha Roy, & , 13 Sep 2015, Cryptographic Hardware and Embedded Systems - CHES 2015: 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings. Güneysu, T. & Handschuh, H. (eds.). Springer Verlag, p. 102-122 (Lecture Notes in Computer Science ; vol. 9293).

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

  91. Publications content icon
    Published

    On nested sequents for constructive modal logics

    Anupam Das & , 3 Sep 2015, In: Logical Methods in Computer Science. 11, 3, 33 p., 7.

    Research output: Contribution to journalArticlepeer-review

  92. Publications content icon
    Published

    A masked ring-LWE implementation

    Sujoy Sinha Roy, & , 1 Sep 2015, Cryptographic Hardware and Embedded Systems - CHES 2015: 17th International Workshop Saint-Malo, France, September 13–16, 2015 Proceedings. Güneysu, T. & Handschuh, H. (eds.). Springer Verlag, p. 683-702 (Lecture Notes in Computer Science ; vol. 9293).

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

  93. Publications content icon
    Published

    Efficient ring-LWE encryption on 8-bit AVR processors

    Sujoy Sinha Roy, , & , 1 Sep 2015, Cryptographic Hardware and Embedded Systems - CHES 2015: 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings. Güneysu, T. & Handschuh, H. (eds.). Springer Verlag, p. 663-682 (Lecture Notes in Computer Science ; vol. 9293).

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

  94. Publications content icon
    Published

    Many-objective evolutionary algorithms: A survey

    Xin Yao, 1 Sep 2015, In: ACM Computing Surveys. 48, 1, A10.

    Research output: Contribution to journalArticlepeer-review

  95. Publications content icon
    Published

    All cartesian closed categories of quasicontinuous domains consist of domains

    Achim Jung, , & , 23 Aug 2015, In: Theoretical Computer Science. 594, p. 143-150 9 p.

    Research output: Contribution to journalArticlepeer-review

  96. Publications content icon
    Published

    Global path planning of mobile robots using a memetic algorithm

    Shan He & , 18 Aug 2015, In: International Journal of Systems Science. 46, 11, p. 1982-1993 12 p.

    Research output: Contribution to journalArticlepeer-review

  97. Publications content icon
    Published

    2015 neuchȃtel’s cast-as-intended verification mechanism

    David Galindo Chacon, & , 13 Aug 2015, E-Voting and Identity: 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings. Haenni, R., Koenig, R. E. & Wikström, D. (eds.). Springer, Vol. 9269. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9269).

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

  98. Publications content icon
    Published

    Two_Arch2: An Improved Two-Archive Algorithm for Many-Objective Optimization

    Xin Yao, 1 Aug 2015, In: IEEE Transactions on Evolutionary Computation. 19, 4, p. 524-541 18 p., 6883177.

    Research output: Contribution to journalArticlepeer-review

  99. Publications content icon
    Published

    User study on 3D multitouch interaction (3DMi) and gaze on surface computing

    Neil Cooke, 21 Jul 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 9187. p. 425-433 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9187).

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

  100. Publications content icon
    Published

    A multimodal optimization and surprise based consensus community detection algorithm

    Shan He, , & , 11 Jul 2015, GECCO 2015 - Companion Publication of the 2015 Genetic and Evolutionary Computation Conference. Silva, S. (ed.). Association for Computing Machinery , p. 1407-1408 2 p. (GECCO 2015 - Companion Publication of the 2015 Genetic and Evolutionary Computation Conference).

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

  101. Publications content icon
    Published

    Landscape properties of the 0-1 knapsack problem

    Jon Rowe, 11 Jul 2015, GECCO Companion '15: Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation. Association for Computing Machinery , p. 1343-1344 2 p.

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

  102. Publications content icon
    Published

    Brief announcement: New streaming algorithms for parameterized maximal matching & beyond

    Rajesh Chitnis, , , & , 13 Jun 2015, SPAA 2015: Proceedings of the 27th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery , p. 56-58 (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

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

  103. Publications content icon
    Published

    Hardware Implementation of FAST Algorithm for Mobile Applications

    Ales Leonardis, & , 1 Jun 2015, In: Journal of Signal Processing Systems. 79, 3, p. 247-256 10 p.

    Research output: Contribution to journalArticlepeer-review

  104. Publications content icon
    Published

    Convex Hull-Based Multiobjective Genetic Programming for Maximizing Receiver Operating Characteristic Performance

    Xin Yao, 1 Apr 2015, In: IEEE Transactions on Evolutionary Computation. 19, 2, p. 188-200 13 p., 6762993.

    Research output: Contribution to journalArticlepeer-review

  105. Publications content icon
    Published

    On the Easiest and Hardest Fitness Functions

    Xin Yao, 1 Apr 2015, In: IEEE Transactions on Evolutionary Computation. 19, 2, p. 295-305 11 p., 6800034.

    Research output: Contribution to journalArticlepeer-review

  106. Publications content icon
    Published

    Machine decision makers as a laboratory for interactive EMO

    Joshua Knowles, 18 Mar 2015, Evolutionary multi-criterion optimization: 8th international conference, EMO 2015 Guimarães, Portugal, March 29 - April 1, 2015 proceedings, Part II. Springer, Vol. 9019. p. 295-309 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9019).

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

  107. Publications content icon
    Published

    On the relative proof complexity of deep inference via atomic flows

    Anupam Das, 6 Mar 2015, In: Logical Methods in Computer Science. 11, 1, 27 p., 4.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 Next