1. 2018
  2. Accepted/In press

    Formalization of the Resolution Calculus for First-Order Logic. / Schlichtkrull, Anders.

    In: Journal of Automated Reasoning, 20.01.2018, p. 1-30.

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

  3. Published

    A Dynamic Logic for Learning Theory. / Baltag, Alexandru; Gierasimczuk, Nina; Özgün, Aybüke; Vargas Sandoval, Ana Lucia; Smets, Sonja.

    Dynamic Logic. New Trends and Applications. : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. ed. / Alexandre Madeira; Mario Benevides. Vol. 10669 Springer, 2018. p. 35-54 (Lecture Notes in Computer Science).

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

  4. Published

    A hamiltonian cycle in the square of a 2-connected graph in linear time. / Alstrup, Stephen; Georgakopoulos, Agelos; Rotenberg, Eva; Thomassen, Carsten.

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

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

  5. 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. SIAM - Society for Industrial and Applied Mathematics, 2018. p. 35-52 (Proceedings of the Twenty-ninth Annual Acm-siam Symposium).

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

  6. Published

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

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

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

  7. 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 (Proceedings of the Twenty-ninth Annual Acm-siam Symposium).

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

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

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

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

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