Department of Computer Science

Read more
51 - 75 out of 1,703Page size: 25
Sort by: 1st author
  1. Published

    Maintaining center and median in dynamic trees

    Alstrup, Stephen, Holm, Jacob & Thorup, Mikkel, 2000, Algorithm Theory-SWAT 2000. Springer Science+Business Media, Vol. 1851. p. 46-56 11 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  2. Published

    Constructing light spanners deterministically in near-linear time

    Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 12 Mar 2022, In: Theoretical Computer Science. 907, p. 82-112

    Research output: Contribution to journal › Journal article › Research › peer-review

  3. Published

    Finding cores of limited length

    Alstrup, Stephen, Lauridsen, P. W., Sommerlund, P. & Thorup, Mikkel, 1997, Proceedings of the 5th International Workshop on Algorithms and Data Structures (WADS). Springer, Vol. 1272. p. 45-54 11 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  4. Published

    Near-optimal labeling schemes for nearest common ancestors

    Alstrup, Stephen, Halvorsen, E. B. & Larsen, K. G., 2014, Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms . Chekuri, C. (ed.). Society for Industrial and Applied Mathematics, p. 972-982 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  5. Published

    Danish cross-disciplinary consortium with a focus on utilizing IT in schools: results and future directions

    Alstrup, Stephen, 2014. 1 p.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  6. Published

    Sublinear distance labeling

    Alstrup, Stephen, Dahlgaard, S., Knudsen, M. B. T. & Porat, E., 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 5. (Leibniz International Proceedings in Informatics, Vol. 57).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  7. Published

    Union-find with constant time deletions

    Alstrup, Stephen, Thorup, Mikkel, Gørtz, I. L., Rauhe, T. & Zwick, U., 2014, In: A C M Transactions on Algorithms. 11, 1, 28 p., 6.

    Research output: Contribution to journal › Journal article › Research › peer-review

  8. Published

    Adjacency labeling schemes and induced-universal graphs

    Alstrup, Stephen, Kaplan, H., Thorup, Mikkel & Zwick, U., 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC 2015, Portland, OR, USA, June 14-17, 2015: STOC '15. Association for Computing Machinery, p. 625-634 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  9. Published

    800.000 gode grunde til datalogi i skolen

    Alstrup, Stephen, Madsen, O. L. & Rootzen, H., 21 Apr 2016, In: Berlingske Tidende. p. 31 1 p.

    Research output: Contribution to journal › Contribution to newspaper - Comment/debate › Communication

  10. Published

    Distance labeling schemes for trees

    Alstrup, Stephen, Gørtz, I. L., Halvorsen, E. B. & Porat, E., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 132. (Leibniz International Proceedings in Informatics, Vol. 55).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  11. 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 proceeding › Article in proceedings › Research › peer-review

  12. 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 proceeding › Article in proceedings › Research › peer-review

  13. 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 proceeding › Article in proceedings › Research › peer-review

  14. 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 proceeding › Article in proceedings › Research › peer-review

  15. 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 journal › Journal article › Research › peer-review

  16. 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 proceeding › Article in proceedings › Research › peer-review

  17. 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 proceeding › Article in proceedings › Research › peer-review

  18. 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 proceeding › Article in proceedings › Research › peer-review

  19. 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 proceeding › Book chapter › Research › peer-review

  20. 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 journal › Journal article › Research › peer-review

  21. Published

    Domain-specific languages for enterprise systems

    Andersen, J., Bahr, P., Henglein, Fritz & Hvitved, T., 2014, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 73-95 23 p. (Lecture notes in computer science, Vol. 8802).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  22. Published

    A fast linear complementarity problem solver for fluid animation using high level algebra interfaces for GPU libraries

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, Dec 2017, In: Computers & Graphics. 69, p. 36-48 13 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  23. Published

    A fast Linear Complementarity Problem (LCP) solver for separating fluid-solid wall boundary Conditions

    Andersen, M., Abel, S. M. N. & Erleben, Kenny, 2017, Workshop on Virtual Reality Interaction and Physical Simulation. Jaillet, F. & Zara, F. (eds.). The Eurographics Association, p. 39-48 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  24. Published

    Opfølgning af børn født med medfødt toxoplasmose

    Andersen, Ove, Fledelius, H. C., Fuchs, Helle Josefine, Høgh, Birthe, Petersen, E. & Schmidt, D. R., 5 Nov 2001, In: Ugeskrift for Laeger. 163, 45, p. 6292

    Research output: Contribution to journal › Journal article › Research › peer-review

  25. Published

    Bringing content understanding into usability testing in complex application domains—a case study in eHealth

    Andersen, S. B., Rasmussen, C. K. & Frøkjær, Erik, 2017, Design, User Experience, and Usability: theory, methodology, and management: 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I. Springer, Vol. Part 1. p. 327-341 15 p. (Lecture notes in computer science, Vol. 10288).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Previous 1 2 3 4 5 6 7 8 ...69 Next