1. 2017
  2. Published

    A Natural Logic for Natural-language Knowledge Bases. / Andreasen, Troels; Bulskov, Henrik; Jensen, Per Anker; Nilsson, Jørgen Fischer.

    Partiality and Underspecification in Information, Languages, and Knowledge. ed. / Henning Christiansen; M. Dolores Jiménez López; Roussanka Loukanova; Larry Moss. Cambridge Scholars Press, 2017. p. 1-26 (Partiality and Underspecification in Information, Languages, and Knowledge).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2017

  3. Published

    A proof of the Barát-Thomassen conjecture. / Bensmail, Julien; Harutyunyan, Ararat; Le, Tien Nam; Merker, Martin; Thomassé, Stéphan.

    In: Journal of Combinatorial Theory. Series B, Vol. 124, 2017, p. 39-55.

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

  4. Published

    A Runtime Analysis of Parallel Evolutionary Algorithms in Dynamic Optimization. / Lissovoi, Andrei; Witt, Carsten.

    In: Algorithmica, Vol. 78, No. 2, 2017, p. 641–659.

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

  5. Published

    Certified Soundness of Simplest Known Formulation of First-Order Logic. / Larsen, John Bruntse.

    Proceedings of the ESSLLI 2017 Student Session. 2017. p. 25-36.

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

  6. Published

    Characterizing width two for variants of treewidth. / Bodlaender, Hans L.; Kratsch, Stefan; Kreuzen, Vincent J.C.; Kwon, O-joung; Ok, Seongmin.

    In: Discrete Applied Mathematics, Vol. 216, No. 1, 2017, p. 29–46.

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

  7. Published

    Chords in longest cycles. / Thomassen, Carsten.

    In: Journal of Combinatorial Theory. Series B, 2017.

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

  8. Published

    Chromatic number via Turán number. / Alishahi, Meysam; Hajiabolhassan, Hossein.

    In: Discrete Mathematics, Vol. 340, No. 10, 2017, p. 2366-2377.

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

  9. Submitted

    Compressed and Practical Data Structures for Strings. / Christiansen, Anders Roy; Bille, Philip (Main supervisor); Gørtz, Inge Li (Supervisor).

    DTU Compute, 2017. 147 p. (DTU Compute PHD-2017, Vol. 464).

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

  10. Published

    Compressed Subsequence Matching and Packed Tree Coloring. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.

    In: Algorithmica, Vol. 77, No. 2, 2017, p. 336–348.

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

  11. Published

    Cooperative epistemic multi-agent planning for implicit coordination. / Engesser, Thorsten ; Bolander, Thomas; Mattmüller, Robert; Nebel, Bernhard.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 243, 2017, p. 75-90.

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

Previous 1 2 3 4 5 6 7 8 ...28 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