1. 2018
  2. Published

    Natural Deduction Assistant (NaDeA). / Villadsen, Jørgen; From, Andreas Halkjær ; Schlichtkrull, Anders.

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

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

  3. Published

    Online bipartite matching with amortized O(log2 n) replacements. / Bernstein, Aaron; Holm, Jacob; Rotenberg, Eva.

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

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

  4. Published

    On neighbour sum-distinguishing {0,1}-weightings of bipartite graphs. / Lyngsie, Kasper Szabo.

    In: Discrete Mathematics and Theoretical Computer Science (Online Edition), Vol. 20, No. 1, 21, 2018.

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

  5. Published

    On the Approximation Ratio of Lempel-Ziv Parsing. / Gagie, Travis; Navarro, Gonzalo; Prezza, Nicola.

    Latin 2018: Theoretical Informatics. Vol. 10807 Springer, 2018. p. 490-503.

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

  6. Published

    Optimal Mutation Rates for the (1+ λ) EA on OneMax Through Asymptotically Tight Drift Analysis. / Gießen, Christian; Witt, Carsten.

    In: Algorithmica, Vol. 80, No. 5, 2018, p. 1710-1731.

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

  7. Published

    Optimal-time text indexing in BWT-runs bounded space. / Gagie, Travis; Navarro, Gonzalo; Prezza, Nicola.

    Proceedings of the Annual Acm-siam Symposium on Discrete Algorithms . Vol. 133646 2018. p. 1459-1477.

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

  8. Published

    Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL. / Jensen, Alexander Birch; Larsen, John Bruntse; Schlichtkrull, Anders; Villadsen, Jørgen.

    In: AI Communications, Vol. 31, No. 3, 2018, p. 281-299.

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

  9. Published

    Proving in the Isabelle Proof Assistant that the Set of Real Numbers is not Countable. / Villadsen, Jørgen.

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

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

  10. Published

    Querying Social Practices in Hospital Context. / Larsen, John Bruntse; Dignum, Virginia; Villadsen, Jørgen; Dignum, Frank.

    Proceedings of the 10th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART. SCITEPRESS Digital Library, 2018. p. 405-412.

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

  11. Published

    Runtime analysis for self-adaptive mutation rates. / Doerr, Benjamin; Witt, Carsten; Yang, Jing.

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

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

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