Browse Publications

  1. 2020
  2. Publications content icon
    E-pub ahead of print

    From QBFs to MALL and back via focussing

    Anupam Das, 22 May 2020, In : Journal of Automated Reasoning. 25 p.

    Research output: Contribution to journalArticle

  3. Publications content icon
    Published
  4. 2019
  5. 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 journalArticle

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

  8. Publications content icon
    Published

    From signatures to monads in UniMath

    Benedikt Ahrens, 15 Aug 2019, In : Journal of Automated Reasoning. 63, 2, p. 285-318 34 p.

    Research output: Contribution to journalArticle

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

  10. Publications content icon
    Published
  11. 2018
  12. 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 journalArticle

  13. Publications content icon
    Published

    Ontology-based validation and identification of regulatory phenotypes

    Georgios Gkoutos, 1 Sep 2018, In : Bioinformatics. 34, 17, p. i857-i865

    Research output: Contribution to journalArticle

  14. Publications content icon
    Published

    Across-subjects classification of stimulus modality from human MEG high frequency activity

    Simon Hanslmayr, 12 Mar 2018, In : PLoS Computational Biology. 14, 3, e1005938.

    Research output: Contribution to journalArticle

  15. 2017
  16. 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 journalArticle

  17. Publications content icon
    Published

    Improved runtime bounds for the univariate marginal distribution algorithm via anti-concentration

    Per Kristian Lehre & Hai Nguyen, 1 Jul 2017, GECCO '17 Proceedings of the Genetic and Evolutionary Computation Conference. Association for Computing Machinery , p. 1383-1390 8 p.

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

  18. 2016
  19. Publications content icon
    Published

    Escaping local optima with diversity mechanisms and crossover

    Per Kristian Lehre, 20 Jul 2016, GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Association for Computing Machinery , p. 645-652 8 p.

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

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

  21. Publications content icon
    Published

    A numerical study of crosswind effects on the slipstream of a freight train

    Dominic Flynn, Hassan Hemida, 9 Apr 2016, Proceedings of the third international conference on railway technology: research, development and maintenance. Pombo, J. (ed.). Civil-Comp Press

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

  22. Publications content icon
    Published

    Aerodynamics of trains in tunnels

    Hassan Hemida, 9 Apr 2016, Proceedings of the third international conference on railway technology: research, development and maintenance. Pombo, J. (ed.). Civil-Comp Press, 39

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

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

  24. Publications content icon
    Published
  25. 2015
  26. Publications content icon
    Published

    Current balancing of cascaded H-bridge converters for PV systems with partial shading

    Pietro Tricoli, 2 Nov 2015, In : COMPEL. 34, 6, p. 1879-1895 17 p.

    Research output: Contribution to journalArticle

  27. Publications content icon
    Published

    Performance-based prognosis scheme for industrial gas turbines

    Elias Tsoutsanis, 8 Sep 2015, 2015 IEEE Conference on Prognostics and Health Management: Enhancing Safety, Efficiency, Availability, and Effectiveness of Systems Through PHAf Technology and Application, PHM 2015. Institute of Electrical and Electronics Engineers (IEEE), 7245018

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

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

  29. Publications content icon
    Published

    A performance comparison indicator for Pareto front approximations in many-objective optimization

    Miqing Li, 11 Jul 2015, GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference. Silva, S. (ed.). Association for Computing Machinery , p. 703-710

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

  30. Publications content icon
    Published

    Populations can be essential in dynamic optimisation

    Per Kristian Lehre, 11 Jul 2015, GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference. Association for Computing Machinery , p. 1407-1414 8 p.

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

  31. Publications content icon
    Published

    Simplified runtime analysis of estimation of distribution algorithms

    Per Kristian Lehre, 11 Jul 2015, GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference. Association for Computing Machinery , p. 513-518 6 p.

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

  32. Publications content icon
    Published

    Graph-based approaches for over-sampling in the context of ordinal regression

    Xin Yao, 1 May 2015, In : IEEE Transactions on Knowledge and Data Engineering. 27, 5, p. 1233-1245 13 p., 6940273.

    Research output: Contribution to journalArticle

  33. Publications content icon
    Published
  34. 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 journalArticle

  35. Publications content icon
    Published

    Black-box complexity of parallel search with distributed populations

    Per Kristian Lehre, 17 Jan 2015, FOGA 2015 - Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII. Association for Computing Machinery , p. 3-15 13 p.

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

  36. Publications content icon
    Published

    Efficient optimisation of noisy fitness functions with population-based evolutionary algorithms

    Per Kristian Lehre, 17 Jan 2015, FOGA 2015 - Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII. Association for Computing Machinery , p. 62-68 7 p.

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

  37. Publications content icon
    Published

    Multi-colony ant algorithms for the dynamic travelling salesman problem

    Xin Yao, 12 Jan 2015, 2014 IEEE Symposium on Computational Intelligence in Dynamic and Uncertain Environments (CIDUE), Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 9-16 8 p. 7007861

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

  38. Publications content icon
    Published

    Quantum behaved particle swarm optimization for data clustering with multiple objectives

    Ata Kaban, 12 Jan 2015, 6th International Conference on Soft Computing and Pattern Recognition, SoCPaR 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 215-220 6 p. 7008008

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

  39. Publications content icon
    Published
  40. Publications content icon
    Published
  41. Publications content icon
    Published
  42. 2014
  43. 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 journalArticle

  44. Publications content icon
    Published
  45. 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 journalArticle

  46. Publications content icon
    Published

    Finite Intervals in the Lattice of Topologies

    Chris Good, Nov 2014, In : Order. 31, 3, p. 325-335 11 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

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

  57. Publications content icon
    Published

    Artificial immune systems for optimisation

    Christine Zarges, 12 Jul 2014, GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference. Association for Computing Machinery , p. 749-764 16 p.

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

Previous 1 2 Next