Department of Computer Science

Read more
61 - 70 out of 1,676Page size: 10
Sort by: 1st author
  1. 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

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

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

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

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

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

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

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

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

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

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