Browse Publications

  1. 2020
  2. Publications content icon
    Published

    A Bayesian non-parametric mixed-effects model of microbial growth curves

    Peter Lund, 26 Oct 2020, In: PLoS Computational Biology. 16, 10, p. e1008366 e1008366.

    Research output: Contribution to journalArticlepeer-review

  3. Publications content icon
    Published

    From QBFs to MALL and back via focussing

    Anupam Das, Oct 2020, In: Journal of Automated Reasoning. 64, 7, p. 1221-1245 25 p.

    Research output: Contribution to journalArticlepeer-review

  4. Publications content icon
    E-pub ahead of print

    Endogenous Queue Number Determination in G/M/s Systems

    Vasco Alves, 17 Apr 2020, In: 4OR.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

  12. Publications content icon
    Published

    Whole genomes define concordance of matched primary, xenograft, and organoid models of pancreas cancer

    Deena M A Gendoo, 10 Jan 2019, In: PLoS Computational Biology. 15, 1, e1006596.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 5 6 7 8 Next