1. 2017
  2. Published

    Cycles through all finite vertex sets in infinite graphs. / Kundgen, Andre; Li, Binlong; Thomassen, Carsten.

    In: European Journal of Combinatorics, Vol. 65, 2017, p. 259–275.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  3. Published

    Density of Real Zeros of the Tutte Polynomial. / Ok, Seongmin; Perrett, Thomas.

    In: Electronic Notes in Discrete Mathematics, Vol. 61, 2017, p. 941-946.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  4. Published

    Deterministic indexing for packed strings. / Bille, Philip; Gørtz, Inge Li; Skjoldjensen, Frederik Rye.

    Proceedings of 28th Annual Symposium on Combinatorial Pattern Matching. Vol. 78 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. (Leibniz International Proceedings in Informatics).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  5. Published

    First-Order Logic According to Harrison. / Jensen, Alexander Birch; Schlichtkrull, Anders; Villadsen, Jørgen.

    In: The Archive of Formal Proofs , 2017, p. 1-66.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  6. Published

    Graphs with No Induced Five-Vertex Path or Antipath. / Chudnovsky, Maria; Esperet, Louis; Lemoine, Laetitia; Maceli, Peter; Maffray, Frédéric; Penev, Irena.

    In: Journal of Graph Theory, Vol. 84, No. 3, 2017, p. 221–232.

    Publication: Research - peer-reviewJournal article – Annual report year: 2016

  7. Published

    Lempel-Ziv Compression in a Sliding Window. / Bille, Philip; Cording, Patrick Hagge; Fischer, Johannes; Gørtz, Inge Li.

    Proceedings of 28th Annual Symposium on Combinatorial Pattern Matching. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. p. 15 (Leibniz International Proceedings in Informatics, Vol. 78).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  8. Published

    Lower bounds on the run time of the univariate marginal distribution algorithm on OneMax. / Krejca, Martin S.; Witt, Carsten.

    14th ACM/SIGEVO Workshop on Foundations of Genetic Algorithms. 2017. p. 65-79 (Foga - Proc. Acm/sigevo Conf. Found. Genet. Algorithms).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  9. Submitted

    Matching and Compression of Strings with Automata and Word Packing. / Skjoldjensen, Frederik Rye; Bille, Philip (Main supervisor); Gørtz, Inge Li; Thomassen, Carsten.

    DTU Compute, 2017. 80 p. (DTU Compute PHD-2017, Vol. 446).

    Publication: ResearchPh.D. thesis – Annual report year: 2017

  10. E-pub ahead of print

    Motif trie: An efficient text index for pattern discovery with don't cares. / Grossi, Roberto; Menconi, Giulia; Pisanti, Nadia; Trani, Roberto; Vind, Søren Juhl.

    In: Theoretical Computer Science, 2017.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  11. Published

    NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. / Villadsen, Jørgen; Jensen, Alexander Birch; Schlichtkrull, Anders.

    In: IfCoLog Journal of Logics and their Applications, Vol. 4, No. 1, 2017, p. 55-82.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

Previous 1 2 3 4 5 6 7 8 ...23 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word