1. 2018
  2. Published

    Domino convergence: Why one should hill-climb on linear functions. / Witt, Carsten.

    Proceedings of the 2018 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, 2018. p. 1539-1546.

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

  3. Published

    Drawing Trees. / From, Andreas Halkjær; 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

    Dynamic bridge-finding in õ(log2 n) amortized time. / Holm, Jacob; Rotenberg, Eva; Thorup, Mikkel.

    Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, 2018. p. 35-52.

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

  5. Published

    Dynamic Relative Compression, Dynamic Partial Sums, and Substring Concatenation. / Bille, Philip; Christiansen, Anders Roy; Cording, Patrick Hagge; Gørtz, Inge Li; Skjoldjensen, Frederik Rye; Vildhøj, Hjalte Wedel; Vind, Søren.

    In: Algorithmica, Vol. 80, No. 11, 2018, p. 3207-3224.

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

  6. Published

    Engineering a Multi-Agent System in Jason and CArtAgO. / Villadsen, Jørgen; Fleckenstein, Oliver ; Hatteland, Helge; Larsen, John Bruntse.

    In: Annals of Mathematics and Artificial Intelligence, Vol. 84, No. 1-2, 2018, p. 57–74.

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

  7. Published

    Fast fencing. / Abrahamsen, Mikkel; Adamaszek, Anna; Bringmann, Karl; Cohen-Addad, Vincent; Mehr, Mehran; Rotenberg, Eva; Roytman, Alan; Thorup, Mikkel.

    Proceedings of 50th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery, 2018. p. 1319-1332.

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

  8. Published

    Finger Search in Grammar-Compressed Strings. / Bille, Philip; Christiansen, Anders Roy; Cording, Patrick Hagge; Gørtz, Inge Li.

    In: Theory of Computing Systems, Vol. 62, No. 8, 2018, p. 1715-1735.

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

  9. Published

    Formalization of Bachmair and Ganzinger's Ordered Resolution Prover. / Schlichtkrull, Anders; Blanchette, Jasmin Christian; Traytel, Dmitriy; Waldmann, Uwe.

    In: Archive of Formal Proofs, 2018, p. 1-117.

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

  10. Published

    Formalization of First-Order Syntactic Unification. / Brandt, Kasper Fabæch; Schlichtkrull, Anders; Villadsen, Jørgen.

    32nd International Workshop on Unification (UNIF 2018) — Informal Proceedings . 2018. P9.

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

  11. Published

    Formalization of Logic in the Isabelle Proof Assistant. / Schlichtkrull, Anders.

    DTU Compute, 2018. 168 p.

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

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