Department of Computer Science

  1. Published

    Constructing light spanners deterministically in near-linear time

    Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 2019, 27th Annual European Symposium on Algorithms, ESA 2019. Bender, M. A., Svensson, O. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 4. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 144).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  2. Published

    Direct Routing on Trees

    Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1998, Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms. p. 342-349 8 p. (9th ACM-SIAM Symposium on Discrete Algorithms (SODA)).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. Published

    Word encoding tree connectivity works

    Alstrup, Stephen, Secher, J. P. & Thorup, Mikkel, 2000, Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. p. 498-499 2 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  4. Published

    Minimizing diameters of dynamic trees

    Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1997, Automata, Languages and Programming. Springer Science+Business Media, p. 270-280 11 p. (Lecture notes in computer science, Vol. 1256).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  5. Published

    Optimal induced universal graphs and adjacency labeling for trees

    Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., Sep 2017, In: Journal of the ACM. 64, 4, 22 p., 27.

    Research output: Contribution to journalJournal articleResearchpeer-review

  6. Published

    Optimal induced universal graphs and adjacency labeling for trees

    Alstrup, Stephen, Dahlgaard, S. & Knudsen, M. B. T., 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 1311-1326 16 p. (Symposium on Foundations of Computer Science. Annual Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  7. Published

    Simpler, faster and shorter labels for distances in graphs

    Alstrup, Stephen, Gavoille, C., Halvorsen, E. B. & Petersen, H., 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 338-350 13 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  8. Published

    Learning How to Simplify From Explicit Labeling of Complex-Simplified Text Pairs

    Alva-Manchego, F., Bingel, J., Paetzold, G. H., Scarton, C. & Specia, L., 2017, Proceedings of the The 8th International Joint Conference on Natural Language Processing. Asian Federation of Natural Language Processing, p. 295–305

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  9. Published

    Quantification and visualization of variation in anatomical trees

    Amenta, N., Datar, M., Dirksen, A., de Bruijne, Marleen, Feragen, A., Ge, X., Pedersen, J., Howard, M., Owen, M., Petersen, Jens, Shi, J. & Xu, Q., 2015, Research in shape modeling. Leonard, K. & Tari, S. (eds.). Springer, p. 57-79 23 p. (Association for Women in Mathematics Series, Vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  10. Published

    Compositional specification of commercial contracts

    Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, In: International Journal on Software Tools for Technology Transfer. p. 485 - 516 31 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

Previous 1...3 4 5 6 7 8 9 10 ...170 Next