1. 2018
  2. Published

    Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover. / Schlichtkrull, Anders; Blanchette, Jasmin; Traytel, Dmitriy; Waldmann, Uwe.

    Automated Reasoning. Vol. 10900 Springer, 2018. p. 89-107.

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

  3. Published

    In-place sparse suffix sorting. / Prezza, Nicola.

    Proceedings of 29th Annual ACM-SIAM Symposium on Discrete Algorithms. 2018. p. 1496-1508.

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

  4. Published

    Interactive Semantic Alignment Model: Social Influence and Local Transmission Bottleneck. / Kalocinski, Dariusz; Mostowski, Marcin; Gierasimczuk, Nina.

    In: Journal of Logic, Language and Information, Vol. 27, No. 3, 2018, p. 225-253.

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

  5. Published

    Leading the Teacher Team - Balancing Between Formal and Informal Power in Program Leadership. / Högfeldt, Anna-Karin; Malmi, Lauri; Kinnunen, Päivi; Jerbrant, Anna; Strömberg, Emma; Berglund, Anders; Villadsen, Jørgen.

    In: Tertiary Education and Management, Vol. 24, No. 1, 2018, p. 49-65.

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

  6. Accepted/In press

    Lower bounds on the run time of the Univariate Marginal Distribution Algorithm on OneMax. / Krejca, Martin S.; Witt, Carsten.

    In: Theoretical Computer Science, 2018.

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

  7. Published

    Many-valued hybrid logic. / Hansen, Jens Ulrik; Bolander, Thomas; Braüner, Torben.

    In: Journal of Logic and Computation, Vol. 28, No. 5, 2018, p. 883-908.

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

  8. Published

    Medium step sizes are harmful for the compact genetic algorithm. / Lengler, Johannes; Sudholt, Dirk; Witt, Carsten.

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

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

  9. Published

    Modelling the Social Practices of an Emergency Room to Ensure Staff and Patient Wellbeing. / Mercuur, Rijk; Larsen, John Bruntse; Dignum, Virginia.

    BNAIC 2018 Preproceedings. 2018. p. 133-147.

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

  10. Published

    Multi-Agent Programming Contest 2016 – The Python-DTU Team. / Villadsen, Jørgen; From, Andreas Halkjær; Jacobi, Salvador ; Larsen, Nikolaj Nøkkentved .

    In: International Journal of Agent-Oriented Software Engineering, Vol. 6, No. 1, 2018, p. 86-100.

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

  11. Published

    Natural Deduction and the Isabelle Proof Assistant. / Villadsen, Jørgen; From, Andreas Halkjær; Schlichtkrull, Anders.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 267, 2018, p. 140-155.

    Research output: Research - peer-reviewJournal article – 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