1. 2016
  2. Published

    Aspects of the Tutte polynomial. / Ok, Seongmin; Thomassen, Carsten (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 110 p. (DTU Compute PHD-2015; No. 384).

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

  3. Published

    A zero-free interval for chromatic polynomials of graphs with 3-leaf spanning trees. / Perrett, Thomas.

    In: Discrete Mathematics, Vol. 339, No. 11, 2016, p. 2706-2714.

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

  4. Published

    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. / Bolander, Thomas; Engesser, Thorsten ; Mattmüller, Robert ; Nebel, Bernhard.

    Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16): The 26th International Conference on Automated Planning and Scheduling, ICAPS 2016 - London. ed. / Antonín Komenda; Guy Shani. 2016. p. 42-49.

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

  5. Published

    Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. / Andersen, Mikkel Birkegaard; Bolander, Thomas; van Ditmarsch, Hans; Jensen, Martin Holm.

    In: Synthese, Vol. 194, No. 7, 2016, p. 2447-2487.

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

  6. Published

    Bookmarks in Grammar-Compressed Strings. / Cording, Patrick Hagge; Gawrychowski, Pawel; Weimann, Oren.

    Proceedings of the 23rd International Symposium on String Processing and Information Retrieval (SPIRE 2016). ed. / Shunsuke Inenaga; Kunihiko Sadakane; Tetsuya Sakai. Springer, 2016. p. 153-159 (Lecture Notes in Computer Science, Vol. 9954).

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

  7. Published

    Boxed Permutation Pattern Matching. / Amit, Mika ; Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li; Vildhøj, Hjalte Wedel.

    Proceedings of the 27th Annual Symposium on Combinatorial Pattern Matching (CPM 2016). 2016. p. 1-11 20 (Leibniz International Proceedings in Informatics).

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

  8. Published

    Capacitated Vehicle Routing with Nonuniform Speeds. / Gørtz, Inge Li; Molinaro, Marco; Nagarajan, Viswanath; Ravi, R.

    In: Mathematics of Operations Research, Vol. 41, No. 1, 2016, p. 318-331.

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

  9. Published

    Capacitated Vehicle Routing with Non-Uniform Speeds. / Gørtz, Inge Li; Molinaro, Marco; Nagarajan, Viswanath; Ravi, R.

    In: Mathematics of Operations Research, Vol. 41, No. 1, 2016.

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

  10. Published

    Chromatic roots and minor-closed families of graphs. / Perrett, Thomas.

    In: S I A M Journal on Discrete Mathematics, Vol. 30, No. 3, 2016, p. 1883-1897.

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

  11. Published

    Code Generation for a Simple First-Order Prover. / Villadsen, Jørgen; Schlichtkrull, Anders; Halkjær From, Andreas .

    Proceedings of the Isabelle Workshop 2016. 2016.

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

Previous 12 3 4 5 6 7 8 9 ...26 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