1. 2017
  2. Published

    A Framework for Organization-Aware Agents. / Jensen, Andreas Schmidt; Dignum, Virginia; Villadsen, Jørgen.

    In: Autonomous Agents and Multi-Agent Systems, Vol. 31, No. 3, 2017, p. 387–422.

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

  3. Published

    Amalgams and χ-Boundedness. / Penev, Irena.

    In: Journal of Graph Theory, Vol. 84, No. 1, 2017, p. 57–92.

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

  4. E-pub ahead of print

    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, 2017.

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

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

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

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

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

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

  11. Published

    On a directed variation of the 1-2-3 and 1-2 Conjectures. / Barme, Emma; Bensmail, Julien; Przybyło, Jakub ; Wozniak, Mariusz .

    In: Discrete Applied Mathematics, Vol. 217, No. Part 2, 2017, p. 123-131.

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

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