1. 2018
  2. Published

    Students' Proof Assistant (SPA). / Schlichtkrull, Anders; Villadsen, Jørgen; From, Andreas Halkjær .

    2018. Paper presented at International Workshop on Theorem proving components for Educational software , Oxford , United Kingdom.

    Research output: Contribution to conferencePaper – Annual report year: 2018Researchpeer-review

  3. Published

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

    2018. Paper presented at Isabelle Workshop 2018, Oxford, United Kingdom.

    Research output: Contribution to conferencePaper – Annual report year: 2018Researchpeer-review

  4. Published

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

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

    Research output: Contribution to conferencePaper – Annual report year: 2018Researchpeer-review

  5. 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. Society for Industrial and Applied Mathematics, 2018. p. 441-456.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2018Researchpeer-review

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

    Research output: Contribution to journalJournal article – Annual report year: 2018Researchpeer-review

  7. Published

    The Impact of Parametrization on Randomized Search Heuristics. / Gießen, Christian.

    DTU Compute, 2018. 156 p.

    Research output: Book/ReportPh.D. thesis – Annual report year: 2018Research

  8. Published

    Theory of estimation-of-distribution algorithms. / Witt, Carsten.

    Proceedings of the Genetic and Evolutionary Computation Conference Companion. Association for Computing Machinery, 2018. p. 1170-1197.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2018Researchpeer-review

  9. Published

    Three Categories of Context-Aware Systems. / Shishkov, Boris; 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.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2018Researchpeer-review

  10. 2017
  11. 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.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2017Researchpeer-review

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

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2017Researchpeer-review

Previous 1...3 4 5 6 7 8 9 10 ...34 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