Browse Publications

  1. 1995
  2. Publications content icon
    Published

    Understanding LOLITA: Experiences in teaching large scale functional programming

    Stephen Jarvis, & , 1995, Funtional Programming Languages in Education - 1st International Symposium, FPLE 1995, Proceedings. Hartel, P. H. & Plasmeijer, R. (eds.). Springer Verlag, p. 103-119 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1022).

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

  3. 1997
  4. Publications content icon

    The results of: Profiling large-scale lazy functional programs

    1997, Implementation of Functional Languages - 8th International Workshop, IFL 1996, Selected Papers. Kluge, W. (ed.). Springer Verlag, p. 200-221 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1268).

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

  5. 1998
  6. Publications content icon
    Published

    Analysing an SQL application with a BSPlib call-graph profiling tool

    Stephen Jarvis, & , 1998, Euro-Par 1998 Parallel Processing - 4th International Conference, Proceedings. Springer Verlag, p. 157-164 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1470 LNCS).

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

  7. 1999
  8. Publications content icon
    Published

    An implemented context system that combines belief reasoning, metaphor-based reasoning and uncertainty handling

    John Barnden & Mark Lee, 1 Jan 1999, Modeling and Using Context - 2nd International and Interdisciplinary Conference, CONTEXT 1999, Proceedings. Springer Verlag, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1688).

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

  9. Publications content icon
    Published

    Human factors of multi-modal ubiquitous computing

    David Haniff, Chris Baber & William Edmondson, 1 Jan 1999, Handheld and Ubiquitous Computing - 1st International Symposium, HUC 1999, Proceedings. Gellersen, H-W. (ed.). Springer Verlag, p. 346-348 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1707).

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

  10. 2000
  11. Publications content icon
    Published

    Cayley type graphs and cubic graphs of large girth

    John Bray, Chris Parker & , 21 Mar 2000, In: Discrete Mathematics. 214, 1-3, p. 113-121 9 p.

    Research output: Contribution to journalArticlepeer-review

  12. 2001
  13. Publications content icon
    Published

    Hausdorff compactifications of topological function spaces via the theory of continuous lattices

    Martin Escardo, Mar 2001, In: Electronic Notes in Theoretical Computer Science. 40, p. 161 1 p.

    Research output: Contribution to journalConference articlepeer-review

  14. 2002
  15. Publications content icon
    Published

    Portable and architecture independent parallel performance tuning using BSP

    Stephen Jarvis, , & , Nov 2002, In: Parallel Computing. 28, 11, p. 1587-1609 23 p.

    Research output: Contribution to journalArticlepeer-review

  16. 2003
  17. Publications content icon
    Published

    Agent-based grid load balancing using performance-driven task scheduling

    Stephen Jarvis, & , 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers (IEEE), 1213139. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

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

  18. Publications content icon
    Published

    Performance prediction and its use in parallel and distributed computing systems

    Stephen Jarvis, , , , & , 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers (IEEE), 1213495. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

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

  19. Publications content icon
    Published

    Local grid scheduling techniques using performance prediction

    Stephen Jarvis, , & , Mar 2003, In: IEE Proceedings: Computers and Digital Techniques. 150, 2, p. 87-96 10 p.

    Research output: Contribution to journalArticlepeer-review

  20. 2004
  21. Publications content icon
    Published

    Hybrid Performance-Oriented Scheduling of Moldable Jobs with QoS Demands in Multiclusters and Grids

    Stephen Jarvis, , & , 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jin, H., Sun, J., Pan, Y. & Xiao, N. (eds.). Springer Verlag, p. 217-224 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3251).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. Publications content icon
    Published
  23. Publications content icon
    Published
  24. Publications content icon
    Published

    Parametric limits

    Uday Reddy, 1 Jan 2004, p. 242-253. 12 p.

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

  25. Publications content icon
    Published

    Electronic Notes in Theoretical Computer Science: Preface

    Martin Escardo & Achim Jung, 25 Oct 2004, In: Electronic Notes in Theoretical Computer Science. 73, p. 1-2 2 p.

    Research output: Contribution to journalConference articlepeer-review

  26. 2005
  27. Publications content icon
    Published

    Automatic detection of meddies through texture analysis of sea surface temperature maps

    Marco Castellani & , 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3808 LNCS. p. 359-370 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3808 LNCS).

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

  28. Publications content icon
    Published

    Performance-based middleware for Grid computing

    Stephen Jarvis, Feb 2005, In: Concurrency Computation Practice and Experience. 17, 2-4, p. 215-234 20 p.

    Research output: Contribution to journalArticlepeer-review

  29. Publications content icon
    Published

    Guest editors' introduction: Special issue on practical development of exact real number computation

    Martin Escardo & , Jul 2005, In: Journal of Logic and Algebraic Programming. 64, 1, p. 1-2 2 p.

    Research output: Contribution to journalArticlepeer-review

  30. Publications content icon
    Published

    An investigation into the application of different performance prediction methods to distributed enterprise applications

    Stephen Jarvis, , , & , Nov 2005, In: Journal of Supercomputing. 34, 2, p. 93-111 19 p.

    Research output: Contribution to journalArticlepeer-review

  31. 2006
  32. Publications content icon
    Published

    ANNE - A new algorithm for evolution of artificial neural network classifier systems

    Marco Castellani, 2006, 2006 IEEE Congress on Evolutionary Computation, CEC 2006. p. 3294-3301 8 p. 1688728

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

  33. Publications content icon
    Published

    Preface

    Martin Escardo, Achim Jung & , 12 May 2006, In: Electronic Notes in Theoretical Computer Science. 155, 1 SPEC. ISS., p. 1-3 3 p.

    Research output: Contribution to journalEditorialpeer-review

  34. Publications content icon
    Published

    Prediction of short-lived TCP transfer latency on bandwidth asymmetric links

    Stephen Jarvis, Nov 2006, In: Journal of Computer and System Sciences. 72, 7, p. 1201-1210 10 p.

    Research output: Contribution to journalArticlepeer-review

  35. 2008
  36. Publications content icon
    Published

    Passive bilateral control of a teleoperation system considering hysteresis nonlinearity of slave robot

    Mozafar Saadat, , & , 2008, Haptics: Perception, Devices and Scenarios - 6th International Conference, EuroHaptics 2008, Proceedings. Springer Verlag, p. 83-93 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5024 LNCS).

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

  37. Publications content icon
    Published

    Robust impedance control of a delayed telemanipulator considering hysteresis nonlinearity of the piezo-actuated slave robot

    Mozafar Saadat, , & , 2008, Haptics: Perception, Devices and Scenarios - 6th International Conference, EuroHaptics 2008, Proceedings. Springer Verlag, p. 63-72 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5024 LNCS).

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

  38. Publications content icon
    Published

    Performance prediction for a code with data-dependent runtimes

    Stephen Jarvis, , , , & , 10 Mar 2008, In: Concurrency Computation Practice and Experience. 20, 3, p. 195-206 12 p.

    Research output: Contribution to journalArticlepeer-review

  39. Publications content icon
    Published

    Lecture Notes in Computer Science: Preface

    Russell Beale, 22 Sep 2008, Affect and Emotion in Human-Computer Interaction - From Theory to Applications. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4868 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  40. Publications content icon
    Published

    Assessing the impact of positive feedback in constraint-based tutors

    Devon Barrow, , & , 1 Dec 2008, Intelligent Tutoring Systems - 9th International Conference, ITS 2008, Proceedings. p. 250-259 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5091 LNCS).

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

  41. 2009
  42. Publications content icon
    Published

    Performance improvement of a pwm-sliding mode position controller used in pneumatic actuation

    Mozafar Saadat, Jan 2009, In: Intelligent Automation and Soft Computing. 15, 1, p. 73-84 12 p.

    Research output: Contribution to journalArticlepeer-review

  43. Publications content icon
    Published

    Increasing the reliability of high redundancy actuators by using elements in series and parallel

    Roger Dixon, 4 Nov 2009, Computer Safety, Reliability, and Security - 28th International Conference, SAFECOMP 2009, Proceedings. p. 270-282 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5775 LNCS).

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

  44. 2010
  45. Publications content icon
    Published

    Black-box search by unbiased variation

    Per Kristian Lehre & , 2010, Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10. p. 1441-1448 8 p.

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

  46. Publications content icon
    Published

    On the parallelisation of MCMC by speculative chain execution

    Stephen Jarvis & , 2010, Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010. 5470689. (Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010).

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

  47. Publications content icon
    Published

    On the parallelisation of MCMC-based image processing

    Stephen Jarvis & , 2010, Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010. 5470896. (Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010).

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

  48. Publications content icon
    Published

    Performance prediction and evaluation

    Stephen Jarvis, , & , 2010, Euro-Par 2010 Parallel Processing - 16th International Euro-Par Conference, Proceedings. PART 1 ed. p. 86-87 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6271 LNCS, no. PART 1).

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

  49. Publications content icon
    Published

    Resource management of enterprise cloud systems using layered queuing and historical performance models

    Stephen Jarvis, 2010, Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010. 5470782. (Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010).

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

  50. Publications content icon
    Published

    To upgrade or not to upgrade? Catamount vs. Cray linux environment

    Stephen Jarvis, , , & , 2010, Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010. 5470885. (Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010).

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

  51. Publications content icon
    Published

    Dragmath

    Christopher Sangwin & , 10 Oct 2010

    Research output: Non-textual formSoftware

  52. 2011
  53. Publications content icon
    Published

    Light-weight parallel I/O analysis at scale

    Stephen Jarvis, 2011, Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. p. 235-249 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6977 LNCS).

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

  54. Publications content icon
    Published

    WMTools - Assessing parallel application memory utilisation at scale

    Stephen Jarvis, 2011, Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. p. 148-162 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6977 LNCS).

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

  55. 2012
  56. Publications content icon
    Published

    A crown jewel defense strategy based particle swarm optimization

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256145. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

  57. Publications content icon
    Published

    A memory binary particle swarm optimization

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256150. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

  58. Publications content icon
    Published

    Community detection using cooperative co-evolutionary differential evolution

    Thomas White, , Mirco Musolesi, Nil Turan Jurdzinski, , Shan He, John Heath & Xin Yao, 2012, Parallel Problem Solving from Nature, PPSN XII - 12th International Conference, Proceedings. PART 2 ed. p. 235-244 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7492 LNCS, no. PART 2).

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

  59. Publications content icon
    Published

    Gaze allocation analysis for a visually guided manipulation task

    Jeremy Wyatt, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7426 LNAI. p. 44-53 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7426 LNAI).

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

  60. Publications content icon
    Published

    Learning using privileged information in prototype based models

    Shereen Fouad, Peter Tino, Somak Raychaudhury & Petra Schneider, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 2 ed. Vol. 7553 LNCS. p. 322-329 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7553 LNCS, no. PART 2).

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

  61. Publications content icon
    Published

    Memetic clustering based on particle swarm optimizer and K-means

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6252916. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

  62. Publications content icon
    Published

    Memetic three-dimensional gabor feature extraction for hyperspectral imagery classification

    Shan He & , 2012, Advances in Swarm Intelligence - Third International Conference, ICSI 2012, Proceedings. PART 1 ed. p. 479-488 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7331 LNCS, no. PART 1).

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

  63. Publications content icon
    Published

    Performance analysis for workflow management systems under role-based authorization control

    Stephen Jarvis, 2012, Advances in Grid and Pervasive Computing - 7th International Conference, GPC 2012, Proceedings. p. 323-337 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7296 LNCS).

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

  64. Publications content icon
    Published

    Prototype based modelling for ordinal classification

    Shereen Fouad & Peter Tino, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7435 LNCS. p. 208-215 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7435 LNCS).

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

  65. Publications content icon
    Published

    Survival analysis of gene expression data using PSO based radial basis function networks

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256144. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

  66. Publications content icon
    Published

    Understanding the semantic structure of human fMRI brain recordings with formal concept analysis

    Uta Noppeney, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7278 LNAI. p. 96-111 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7278 LNAI).

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

  67. Publications content icon
    Published

    The geometry of synthesis how to make hardware out of software

    Dan Ghica, 1 Jan 2012, Mathematics of Program Construction - 11th International Conference, MPC 2012, Proceedings. Gibbons, J. & Nogueira, P. (eds.). Springer Verlag, p. 23-24 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7342 LNCS).

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

  68. Publications content icon
    Published

    Preferred features of open learner models for university students

    Susan Bull, 22 Jun 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cerri, SA. (ed.). Springer, Vol. 7315 LNCS. p. 411-421 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7315 LNCS).

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

  69. Publications content icon
    Published

    Rainbow matchings of size δ(G) in properly edge-colored graphs

    Allan Lo, , & , 28 Jun 2012, In: Electronic Journal of Combinatorics. 19, 2

    Research output: Contribution to journalArticlepeer-review

  70. Publications content icon
    Published

    A system-level game semantics

    Dan Ghica & , 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 191-211 21 p.

    Research output: Contribution to journalArticlepeer-review

  71. Publications content icon
    Published

    Game semantics in the nominal model

    Dan Ghica, 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 173-189 17 p.

    Research output: Contribution to journalArticlepeer-review

  72. Publications content icon
    Published

    Community detection in social and biological networks using differential evolution

    Mirco Musolesi, , Daniel Tennant, Ralf Weber, John Heath & Shan He, 30 Oct 2012, Learning and Intelligent Optimization - 6th International Conference, LION 6, Revised Selected Papers. p. 71-85 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7219 LNCS).

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

  73. 2013
  74. Publications content icon
    Published

    A constructive model of uniform continuity

    Martin Escardo, 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 236-349 114 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7941 LNCS).

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

  75. Publications content icon
    Published

    An investigation of the performance portability of OpenCL

    Stephen Jarvis, 2013, In: Journal of Parallel and Distributed Computing. 73, 11, p. 1439-1450 12 p.

    Research output: Contribution to journalArticlepeer-review

  76. Publications content icon
    Published

    Generalizations of Hedberg's theorem

    Martin Escardo, & , 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 173-188 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7941 LNCS).

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

  77. Publications content icon
    Published

    Ontological extension of PROSA for manufacturing network formation

    Mozafar Saadat & , 2013, Industrial Applications of Holonic and Multi-Agent Systems - 6th International Conference, HoloMAS 2013, Proceedings. p. 140-151 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8062 LNAI).

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

  78. Publications content icon
    Published

    Optimisation of patch distribution strategies for AMR applications

    Stephen Jarvis, 2013, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Revised Selected Papers. p. 210-223 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7587 LNCS).

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

  79. Publications content icon
    Published

    Performance modelling of magnetohydrodynamics codes

    Stephen Jarvis, 2013, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Revised Selected Papers. p. 197-209 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7587 LNCS).

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

  80. Publications content icon
    Published

    Algorithmic solution of higher type equations

    Martin Escardo, Aug 2013, In: Journal of Logic and Computation. 23, 4, p. 839-854 16 p.

    Research output: Contribution to journalArticlepeer-review

  81. Publications content icon
    Published

    Analysing the reliability of actuation elements in series and parallel configurations for high-redundancy actuation

    Roger Dixon, 1 Aug 2013, In: International Journal of Systems Science. 44, 8, p. 1504-1521 18 p.

    Research output: Contribution to journalArticlepeer-review

  82. Publications content icon
    Published

    A tool for estimating information leakage

    Tom Chothia, Yusuke Kawamoto & , 12 Aug 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 690-695 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

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

  83. Publications content icon
    Published

    There is no upper bound for the diameter of the commuting graph of a finite group

    Chris Parker, 1 Sep 2013, In: Journal of Combinatorial Theory. Series A. 120, 7, p. 1600-1603 4 p.

    Research output: Contribution to journalArticlepeer-review

  84. Publications content icon
    Published

    Models of gaze control for manipulation tasks

    Jeremy Wyatt, Oct 2013, In: ACM Transactions on Applied Perception. 10, 4, 20.

    Research output: Contribution to journalArticlepeer-review

  85. Publications content icon
    Published

    Seamless distributed computing from the geometry of interaction

    Dan Ghica, 30 Oct 2013, Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers. p. 34-48 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8191 LNCS).

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

  86. Publications content icon
    Published

    Simulations of PCB assembly optimisation based on the bees algorithm with TRIZ-inspired operators

    Duc Pham & , Nov 2013, Advances in Visual Informatics: Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings. Zaman, H. B., Robinson, P., Olivier, P., Shih, T. K. & Velastin, S. (eds.). Springer, Vol. 8237. p. 335-346 12 p. (Lecture Notes in Computer Science; vol. 8237).

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

  87. Publications content icon
    Published

    Automata-Theoretic Semantics of Idealized Algol with Passive Expressions

    Uday Reddy, 4 Nov 2013, p. 325-348. 24 p.

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

  88. Publications content icon
    Published

    Continuity of gödel's system T definable functionals via effectful forcing

    Martin Escardo, 4 Nov 2013, In: Electronic Notes in Theoretical Computer Science. 298, p. 119-141 23 p.

    Research output: Contribution to journalArticlepeer-review

  89. Publications content icon
    Published

    Non-uniform sampling strategies for digital control

    Roger Dixon, 1 Dec 2013, In: International Journal of Systems Science. 44, 12, p. 2234-2254 21 p.

    Research output: Contribution to journalArticlepeer-review

  90. 2014
  91. Publications content icon
    Published

    3D articulated registration of the mouse hind limb for bone morphometric analysis in rheumatoid arthritis

    Amy Naylor, , Andrew Filer & Ela Claridge, 2014, Biomedical Image Registration: 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings. Ourselin, S. & Modat, M. (eds.). Springer, Vol. 8545. p. 41-50 (Lecture Notes in Computer Science ; vol. 8545).

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

  92. Publications content icon
    Published

    A graph theoretic approach for object shape representation in compositional hierarchies using a hybrid generative-descriptive model

    Mete Ozay, Ales Leonardis & Jeremy Wyatt, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 3 ed. Springer, Vol. 8691 LNCS. p. 566-581 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8691 , no. 3).

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

  93. Publications content icon
    Published

    Abstract datatypes for real numbers in type theory

    Martin Escardo & , 2014, Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer, Vol. 8560 LNCS. p. 208-223 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).

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

  94. Publications content icon
    Published

    Acknowledging discourse function for sentiment analysis

    Phillip Smith & Mark Lee, 2014, Computational Linguistics and Intelligent Text Processing : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II. Gelbukh, A. (ed.). Springer, Vol. 8404 LNCS. p. 45-52 8 p. (Lecture Notes in Computer Science ; vol. 8404).

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

  95. Publications content icon
    Published

    An immune-inspired algorithm for the set cover problem

    Jon Rowe & Christine Zarges, 2014, Parallel Problem Solving from Nature: PPSN XIII - 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Bartz-Beielstein, T., Branke, J., Filipič, B. & Smith, J. (eds.). Springer, Vol. 8672. p. 243-251 9 p. (Lecture Notes in Computer Science; vol. 8672).

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

  96. Publications content icon
    Published

    Bayes optimality of human perception, action and learning: behavioural and neural evidence

    Ulrik Beierholm, 2014, Brain-Inspired Computing: Lecture Notes in Computer Science. Springer, Vol. 8603. p. 117-129 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8603).

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

  97. Publications content icon
    Published

    Bounded linear types in a resource semiring

    Dan Ghica & , 2014, Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Springer, Vol. 8410. p. 331-350 20 p. (Lecture Notes in Computer Science ; vol. 8410).

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

  98. Publications content icon
    Published

    Combining systems for mathematical creativity (invited talk)

    Volker Sorge, 2014, Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings. Aranda-Corral, G. A., Cal;met, J. & Martin-Mateos, F. J. (eds.). Springer, Vol. 8884. p. 7-8 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8884).

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

  99. Publications content icon
    Published

    Concentrated hitting times of randomized search heuristics with variable drift

    Per Kristian Lehre & , 2014, Algorithms and Computation - 25th International Symposium, ISAAC 2014, Proceedings. Ahn, H-K. & Shin, C-S. (eds.). Springer Verlag, p. 686-697 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8889).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  100. Publications content icon
    Published

    Cooperative coevolution with route distance grouping for large-scale capacitated arc routing problems

    Xin Yao, 2014, In: IEEE Transactions on Evolutionary Computation. 18, 3, p. 435-449 15 p., 6595573.

    Research output: Contribution to journalArticlepeer-review

  101. Publications content icon
    Published
  102. Publications content icon
    Published

    Extended episodic experience in social mediating technology: Our Legacy

    Alan Dix, 2014, Social Computing and Social Media: 6th International Conference, SCSM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings. Meiselwitz, G. (ed.). Springer, Vol. 8531 LNCS. p. 452-461 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8531 LNCS).

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

  103. Publications content icon
    Published

    High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation: 4th International Workshop, PMBS 2013 Denver, CO, USA, November 18, 2013 Revised Selected Papers

    Stephen Jarvis, & , 2014, High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation - 4th International Workshop, PMBS 2013, Revised Selected Papers. Jarvis, S. A., Wright, S. A. & Hammond, S. D. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8551).

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

  104. Publications content icon
    Published

    Improving efficiency of heuristics for the large scale traveling thief problem

    Xin Yao, 2014, Simulated Evolution and Learning : 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings. Springer, Vol. 8886. p. 631-643 13 p. (Lecture Notes in Computer Science; vol. 8886).

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

  105. Publications content icon
    Published

    LeakWatch: Estimating information leakage from java programs

    Tom Chothia, & , 2014, Computer Security - ESORICS 2014 : 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part II. Kutyłowski, M. & Vaidya, J. (eds.). PART 2 ed. Springer, Vol. 8713 LNCS. p. 219-236 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8713 LNCS, no. PART 2).

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

  106. Publications content icon
    Published

    Less is more: Temporal fault predictive performance over multiple hadoop releases

    Leandro Minku, & , 2014, Proceedings of the 6th Symposium on Search-Based Software Engineering (SSBSE), Lecture Notes in Computer Science. Fortaleza, Brazil: Springer Verlag, Vol. 8636. p. 240-246 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8636 LNCS).

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

  107. Publications content icon
    Published

    Level-based analysis of genetic algorithms and other search processes

    Per Kristian Lehre, 2014, Parallel Problem Solving from Nature – PPSN XIII: 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Springer, p. 912-921 10 p. (Lecture Notes in Computer Science; vol. 8672).

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

  108. Publications content icon
    Published

    Local optima and weight distribution in the number partitioning problem

    Jon Rowe, 2014, Parallel Problem Solving from Nature – PPSN XIII : 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Bartz-Beielstein, T., Branke, J., Filipic, B. & Smith, J. (eds.). Springer, Vol. 8672. p. 862-871 10 p. (Lecture Notes in Computer Science ; vol. 8672).

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

  109. Publications content icon
    Published

    Multivariate cauchy EDA optimisation

    Ata Kaban, 2014, Intelligent Data Engineering and Automated Learning : IDEAL 2014 15th International Conference, Salamanca, Spain, September 10-12, 2014. Proceedings. Corchado, E., Lozano, J. A., Quintián, H. & Yin, H. (eds.). Springer, Vol. 8669 LNCS. p. 449-456 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8669 LNCS).

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

  110. Publications content icon
    Published

    On the runtime analysis of fitness sharing mechanisms

    Christine Zarges, 2014, Parallel Problem Solving from Nature – PPSN XIII: 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Bartz-Beielstein, T., Branke, J., Filipič, B. & Smith, JI. (eds.). Springer, Vol. 8672. p. 932-941 10 p. (Lecture Notes in Computer Science; vol. 8672).

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

  111. Publications content icon
    Published

    Phase transition and landscape properties of the number partitioning problem

    Jon Rowe, 2014, Evolutionary Computation in Combinatorial Optimisation : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers. Blum, C. & Ochoa, G. (eds.). Springer, Vol. 8600. p. 206-217 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8600).

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

  112. Publications content icon
    Published

    Probabilistic model checking of labelled markov processes via finite approximate bisimulations

    David Parker, 2014, Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer, Vol. 8464 LNCS. p. 40-58 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8464 LNCS).

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

  113. Publications content icon
    Published

    Requirements-driven social adaptation: Expert survey

    Rami Bahsoon, & , 2014, Requirements Engineering: Foundation for Software Quality: 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings. Salinesi, C. & Van de Weerd, I. (eds.). Springer, Vol. 8396 LNCS. p. 72-87 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8396 LNCS).

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

  114. Publications content icon
    Published

    Role of occlusion in non-coulombic slip of the finger pad

    Brygida Dzidek, Mike Adams, Zhibing Zhang, , & , 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8618. p. 109-116 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8618).

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

  115. Publications content icon
    Published

    Systematic elaboration of compliance requirements using compliance debt and portfolio theory

    Rami Bahsoon, 2014, Requirements Engineering: Foundation for Software Quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings. Salinesi, C. & van de Weerd, I. (eds.). Springer, Vol. 8396 LNCS. p. 152-167 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8396 LNCS).

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

  116. Publications content icon
    Published

    The performance effects of interaction frequency in parallel cooperative coevolution

    Xin Yao, 2014, Simulated Evolution and Learning: 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings. Dick, G., Browne, W. N., Whigham, P., Zhang, M., Bui, L. T., Ishibuchi, H., Jin, Y., Li, X., Shi, Y., Songh, P., Tan, K. C. & Tang, K. (eds.). Springer, Vol. 8886. p. 82-93 12 p. (Lecture Notes in Computer Science; vol. 8886).

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

  117. Publications content icon
    Published

    Towards an architecture for knowledge representation and reasoning in robotics

    Jeremy Wyatt, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8755. p. 400-410 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8755).

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

  118. Publications content icon
    Published

    Understanding randomised search heuristics lessons from the evolution of theory: A case study

    Christine Zarges, 2014, Proceedings of the 20th International Conference on Soft Computing (MENDEL 2014) . Radek, M. (ed.). Brno University of Technology, p. 293-298 6 p.

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

  119. Publications content icon
    Published

    Verification of markov decision processes using learning algorithms

    David Parker & , 2014, Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Cassez, F. & Raskin, J-F. (eds.). Springer, Vol. 8837. p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8837).

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

  120. Publications content icon
    Published

    Decompositions of complete uniform hypergraphs into Hamilton Berge cycles

    Daniela Kuhn & Deryk Osthus, 1 Jan 2014, In: Journal of Combinatorial Theory, Series A. 126, 1, p. 128-135 8 p.

    Research output: Contribution to journalArticlepeer-review

  121. Publications content icon
    Published

    A proof-theoretic analysis of the classical propositional matrix method

    Eike Ritter & , 1 Feb 2014, In: Journal of Logic and Computation. 24, 1, p. 283-301 19 p.

    Research output: Contribution to journalArticlepeer-review

  122. Publications content icon
    Published

    Frequency fitness assignment

    Xin Yao, 27 Mar 2014, In: IEEE Transactions on Evolutionary Computation. 18, 2, p. 226-243 18 p., 6476662.

    Research output: Contribution to journalArticlepeer-review

  123. Publications content icon
    Published
  124. Publications content icon
    Published

    Limits of a conjecture on a leakage-resilient cryptosystem

    David Galindo Chacon & , 1 Apr 2014, In: Information Processing Letters. 114, 4, p. 192-196 5 p.

    Research output: Contribution to journalArticlepeer-review

  125. Publications content icon
    Published

    Scalable service-oriented replication with flexible consistency guarantee in the cloud

    Tao Chen, Rami Bahsoon & , 20 Apr 2014, In: Information Sciences. 264, p. 349-370 22 p.

    Research output: Contribution to journalArticlepeer-review

  126. Publications content icon
    Published

    Diversity-driven selection of multiple crossover operators for the capacitated arc routing problem

    Xin Yao, 23 Apr 2014, Evolutionary Computation in Combinatorial Optimisation : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers. Blum, C. & Ochoa, G. (eds.). Springer, Vol. 8600. p. 97-108 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8600).

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

  127. Publications content icon
    Published

    President's greeting

    Xin Yao, May 2014, In: IEEE Computational Intelligence Magazine. 9, 2, p. 4 1 p., 6786399.

    Research output: Contribution to journalArticle

  128. Publications content icon
    Published

    Fractional and integer matchings in uniform hypergraphs

    Daniela Kuhn, Deryk Osthus & , 1 May 2014, In: European Journal of Combinatorics. 38, p. 83-96 14 p.

    Research output: Contribution to journalArticlepeer-review

  129. Publications content icon
    Published

    Cooperative co-evolution with differential grouping for large scale optimization

    Xin Yao, Jun 2014, In: IEEE Transactions on Evolutionary Computation. 18, 3, p. 378-393 16 p., 6595612.

    Research output: Contribution to journalArticlepeer-review

  130. Publications content icon
    Published

    Sweet dreams and nightmares: Security in the internet of things

    David Oswald & , 30 Jun 2014, Information Security Theory and Practice. Securing the Internet of Things: 8th IFIP WG 11.2 International Workshop, WISTP 2014, Heraklion, Crete, Greece, June 30 – July 2, 2014. Proceedings. Naccache, D. & Sauveron, D. (eds.). Springer, Vol. 8501 LNCS. p. 1-9 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8501 LNCS).

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

  131. Publications content icon
    Published

    Performance analysis of randomised search heuristics operating with a fixed budget

    Christine Zarges, 14 Aug 2014, In: Theoretical Computer Science. 545, C, p. 39-58 20 p.

    Research output: Contribution to journalArticlepeer-review

  132. Publications content icon
    Published

    When reverse-engineering meets side-channel analysis - Digital lockpicking in practice

    David Oswald, , , & , 14 Aug 2014, Selected Areas in Cryptography - SAC 2013: 20th International Conference, Burnaby, BC, Canada, August 14-16, 2013, Revised Selected Papers. Lange, T., Lauter, K. & Lisoněk, P. (eds.). Springer, Vol. 8282 LNCS. p. 571-588 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8282 LNCS).

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

  133. Publications content icon
    Published

    A test problem for visual investigation of high-dimensional multi-objective search

    Miqing Li, & , 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 2140-2147 6900306

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

  134. Publications content icon
    Published

    An improved two archive algorithm for many-objective optimization

    Xin Yao, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 2869-2876 8 p. 6900491

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

  135. Publications content icon
    Published

    Evolving exact integer algorithms with Genetic Programming

    Xin Yao, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 1816-1823 8 p. 6900292

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

  136. Publications content icon
    Published

    Heuristic optimization for software project management with impacts of team efficiency

    Xin Yao, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 3016-3023 8 p. 6900527

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

  137. Publications content icon
    Published

    Model representation and cooperative coevolution for finite-state machine evolution

    Xin Yao, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 2700-2707 8 p. 6900622

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

  138. Publications content icon
    Published

    Protein folding estimation using Paired-Bacteria Optimizer

    Shan He & , 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 2027-2032 6 p. 6900467

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

  139. Publications content icon
    Published

    Runtime analysis of selection hyper-heuristics with classical learning mechanisms

    Per Kristian Lehre, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 2515-2523 9 p. 6900602. (IEEE Congress on Evolutionary Computation (CEC); vol. 2014).

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

  140. Publications content icon
    Published

    Variable neighborhood decomposition for Large Scale Capacitated Arc Routing Problem

    Xin Yao, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 1313-1320 8 p. 6900305

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

  141. Publications content icon
    Published

    What are dynamic optimization problems?

    Xin Yao, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 1550-1557 8 p. 6900316

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

  142. Publications content icon
    Published

    Unbiased black-box complexity of parallel search

    Per Kristian Lehre & , 24 Sep 2014, Parallel Problem Solving from Nature – PPSN XIII: 13th International Conference Ljubljana, Slovenia, September 13-17, 2014 Proceedings. Bartz-Beielstein, T., Branke, J., Filipic, B. & Smith, J. (eds.). 1 ed. Springer, p. 892-901 10 p. (Lecture Notes in Computer Science ; vol. 8672).

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

  143. Publications content icon
    Published

    Cryptographic algorithms on the GA144 asynchronous multi-core processor: implementation and side-channel analysis

    David Oswald, Oct 2014, In: Journal of Signal Processing Systems. 77, 1-2, p. 151-167 17 p.

    Research output: Contribution to journalArticlepeer-review

  144. Publications content icon
    Published

    Reevaluating immune-inspired hypermutations using the fixed budget perspective

    Christine Zarges, 1 Oct 2014, In: IEEE Transactions on Evolutionary Computation. 18, 5, p. 674-688 15 p., 6879426.

    Research output: Contribution to journalArticlepeer-review

  145. Publications content icon
    Published

    Towards unified secure on- and off-line analytics at scale

    Stephen Jarvis, Dec 2014, In: Parallel Computing. 40, 10, p. 738-753 16 p.

    Research output: Contribution to journalArticlepeer-review

  146. Publications content icon
    Published

    A new memetic algorithm with fitness approximation for the defect-tolerant logic mapping in crossbar-based nanoarchitectures

    Xin Yao, 1 Dec 2014, In: IEEE Transactions on Evolutionary Computation. 18, 6, p. 846-859 14 p., 6655961.

    Research output: Contribution to journalArticlepeer-review

  147. Publications content icon
    Published

    Reusing genetic programming for ensemble selection in classification of unbalanced data

    Xin Yao, 1 Dec 2014, In: IEEE Transactions on Evolutionary Computation. 18, 6, p. 893-908 16 p., 6677603.

    Research output: Contribution to journalArticlepeer-review

  148. Publications content icon
    Published

    A Tight Algorithm for Strongly Connected Steiner Subgraph on Two Terminals with Demands (Extended Abstract)

    Rajesh Chitnis, , , , & , 3 Dec 2014, Parameterized and Exact Computation : 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers. Cygan, M. & Heggernes, P. (eds.). Springer Verlag, p. 159-171 (Lecture Notes in Computer Science ; vol. 8894).

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

  149. Publications content icon
    Published

    Stable matching-based selection in evolutionary multiobjective optimization

    Miqing Li & , 31 Dec 2014, In: IEEE Transactions on Evolutionary Computation. 18, 6, p. 909-923 15 p., 6678563.

    Research output: Contribution to journalArticlepeer-review

  150. 2015
  151. Publications content icon
    Published

    A logical approach for behavioural composition of scenario-based models

    Behzad Bordbar & , 2015, Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Editor, M., Conchon, S. & Zaidi, F. (eds.). Springer, Vol. 9407. p. 252-269 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9407).

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

  152. Publications content icon
    Published

    Automated detection of galaxy groups through probabilistic hough transform

    Peter Tino, , Trevor Ponman & , 2015, Neural Information Processing : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III. Arik, S., Huang, T., Lai, W. K. & Lui, Q. (eds.). Springer, Vol. 9491. p. 323-331 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9491).

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

  153. Publications content icon
    Published

    Automatically calculating quantitative integrity measures for imperative programs

    Tom Chothia, Chris Novakovic & , 2015, Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. Garcia-Alfaro, J., Herrera-Joancomartí, J. & Lupu, E. (eds.). Springer, Vol. 8872. p. 250-265 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8872).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  154. Publications content icon
    Published

    Categorisation of 3D objects in range images using compositional hierarchies of parts based on MDL and entropy selection criteria

    Krzysztof Walas & Ales Leonardis, 2015, Image Analysis: 19th Scandinavian Conference, SCIA 2015, Copenhagen, Denmark, June 15-17, 2015. Proceedings. Paulsen, R. R. & Pedersen, K. S. (eds.). Springer, Vol. 9127. p. 289-301 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9127).

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

  155. Publications content icon
    Published

    Design and usability evaluation of adaptive e-learning systems based on learner knowledge and learning style

    Robert Hendley, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, Vol. 9297. p. 584-591 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9297).

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

  156. Publications content icon
    Published

    High performance computing systems: Performance modeling, benchmarking, and simulation: 5th international workshop, PMBS 2014 New Orleans, LA, USA, november 16, 2014 revised selected papers

    Stephen Jarvis, & , 2015, High Performance Computing Systems: Performance Modeling, Benchmarking, and Simulation - 5th International Workshop, PMBS 2014, Revised Selected Papers. Jarvis, S. A., Wright, S. A. & Hammond, S. D. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8966).

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

  157. Publications content icon
    Published

    Improving the performance of the Germinal center artificial immune system using ɛ-dominance: a multi-objective knapsack problem case study

    Christine Zarges & Jon Rowe, 2015, Evolutionary Computation in Combinatorial Optimization: 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings. Ochoa, G. & Chicano, F. (eds.). Springer, Vol. 9026. p. 114-125 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9026).

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

  158. Publications content icon
    Published

    Intelligent computer mathematics: International conference, CICM 2015 Washington, DC, USA, july 13–17, 2015 proceedings

    Manfred Kerber (ed.), (ed.), (ed.), (ed.) & Volker Sorge (ed.), 2015, Springer. 359 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9150)

    Research output: Book/ReportBook

  159. Publications content icon
    Published

    Large scale indefinite kernel fisher discriminant

    Frank-Michael Schleif, & Peter Tino, 2015, Similarity-Based Pattern Recognition : Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015. Proceedings. Feragen, A., Pelillo, M. & Loog, M. (eds.). Springer, Vol. 9370. p. 160-170 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9370).

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

  160. Publications content icon
    Published

    Local majority dynamics on preferential attachment graphs

    Nikolaos Fountoulakis, 2015, Algorithms and Models for the Web Graph - 12th International Workshop, WAW 2015, Proceedings. Gleich, D. F., Litvak, N. & Komjáthy, J. (eds.). Springer Verlag, p. 95-106 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9479).

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

  161. Publications content icon
    Published

    Moving through MOOCS: Pedagogy, learning design and Patterns of Engagement

    Russell Beale, Alison Cooper, , , & , 2015, Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings. Conole, G., Klobučar, T., Rensing, C., Konert, J. & Lavoué, É. (eds.). Springer, Vol. 9307. p. 70-84 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9307).

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

  162. Publications content icon
    Published

    Preface

    Stephen Jarvis, & , 2015, High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation: 5th International Workshop, PMBS 2014 New Orleans, LA, USA, November 16, 2014 Revised Selected Papers. Jarvis, S. A., Wright, S. A. & Hammond, S. D. (eds.). 1 ed. Springer, Cham, p. V-VII 3 p. (Lecture Notes in Computer Science; vol. 8966).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  163. Publications content icon
    Published

    The visual object tracking VOT2014 challenge results

    Ales Leonardis & 37 others, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , & , 2015, Computer Vision - ECCV 2014 Workshops : Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II. Agapito, L., Bronstein, M. M. & Rother, C. (eds.). Springer, Vol. 8926. p. 191-217 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8926).

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

  164. Publications content icon
    Published

    Preface

    Martin Escardo & , Jan 2015, In: Journal of Logical and Algebraic Methods in Programming. 84, 1, p. 107 1 p.

    Research output: Contribution to journalEditorialpeer-review

  165. Publications content icon
    Published

    Learning analytics for the academic: An action perspective

    Alan Dix & , 1 Jan 2015, In: Journal of Universal Computer Science. 21, 1, p. 48-65 18 p.

    Research output: Contribution to journalArticlepeer-review

  166. Publications content icon
    Published

    New methods for the condition monitoring of level crossings

    1 Jan 2015, In: International Journal of Systems Science. 46, 5, p. 878-884 7 p.

    Research output: Contribution to journalArticlepeer-review

  167. Publications content icon
    Published
  168. Publications content icon
    Published

    A new semantic model for domain-ontology learning

    John Barnden, 4 Mar 2015, Human Centred Computing: First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers. Zu, Q., Hu, B., Gu, N. & Seng, S. (eds.). Springer, Vol. 8944. p. 140-155 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8944).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  189. 2016
  190. 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

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

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

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

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

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

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

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

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

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

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

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

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

  203. 2017
  204. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  221. 2018
  222. 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

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

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

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

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

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

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

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

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

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

  232. Publications content icon
    Published
  233. 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

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

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

  236. 2019
  237. 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

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

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

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

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

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

  243. Publications content icon
    Published
  244. 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

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

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

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

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

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

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

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

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

  253. 2020
  254. 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

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

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

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

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

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

  260. Publications content icon
    Published
  261. 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

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

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

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

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

  266. 2021
  267. 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

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

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

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

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

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

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

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