1. 2018
  2. Published

    Substitutionless First-Order Logic: A Formal Soundness Proof. / Halkjær From, Andreas ; Larsen, John Bruntse; Schlichtkrull, Anders; Villadsen, Jørgen.

    Proceedings of the Isabelle Workshop 2018. 2018.

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

  3. Published

    Teaching First-Order Logic with the Natural Deduction Assistant (NaDeA). / Halkjær From, Andreas ; Hatteland, Helge; Villadsen, Jørgen.

    2018. Paper presented at Tenth Scandinavian Logic Symposium, Gothenburg, Sweden.

    Publication: Research - peer-reviewPaper – Annual report year: 2018

  4. Published

    The bane of low-dimensionality clustering. / Cohen-Addad, Vincent; de Mesmay, Arnaud; Rotenberg, Eva; Roytman, Alan.

    Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM - Society for Industrial and Applied Mathematics, 2018. p. 441-456 (Proceedings of the Twenty-ninth Annual Acm-siam Symposium).

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

  5. Published

    The flow index and strongly connected orientations. / Li, Jiaao; Thomassen, Carsten; Wu, Yezhou; Zhang, Cun-Quan.

    In: European Journal of Combinatorics, Vol. 70, 2018, p. 164-177.

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

  6. Published

    The Impact of Parametrization on Randomized Search Heuristics. / Gießen, Christian; Witt, Carsten (Main supervisor).

    DTU Compute, 2018. 156 p. (DTU Compute PHD-2017, Vol. 460).

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

  7. Published

    Three Categories of Context-Aware Systems. / Shishkov, Boris; Larsen, John; Larsen, John Bruntse; Warnier, Martijn; Janssen, Marijn.

    Business Modeling and Software Design: 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings. ed. / Boris Shishkov. Springer, 2018. p. 185-202 (Lecture Notes in Business Information Processing, Vol. 319).

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

  8. 2017
  9. E-pub ahead of print
  10. Published

    Contracting a planar graph efficiently. / Holm, Jacob; Italiano, Giuseppe F.; Karczmarz, Adam; Łacki, Jakub; Rotenberg, Eva; Sankowski, Piotr.

    25th European Symposium on Algorithms, ESA 2017. Vol. 87 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017. 50.

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

  11. Published

    Best laid plans of lions and men. / Abrahamsen, Mikkel; Holm, Jacob; Rotenberg, Eva; Wulff-Nilsen, Christian.

    33rd International Symposium on Computational Geometry, SoCG 2017. Vol. 77 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017. p. 61-616.

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

  12. Published

    Fingerprints in compressed strings. / Bille, Philip; Gørtz, Inge Li; Cording, Patrick Hagge; Sach, Benjamin; Vildhøj, Hjalte Wedel; Vind, Søren.

    In: Journal of Computer and System Sciences, Vol. 86, 01.06.2017, p. 171-180.

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

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