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

Previous 1 2 3 4 Next