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

Previous 1 2 3 4 5 6 7 8 Next