Department of Computer Science

  1. 2018
  2. Published

    Driving Structural Transitions in Molecular Simulations Using the Nonequilibrium Candidate Monte Carlo

    Kurut, A., Fonseca, R. & Boomsma, Wouter, 25 Jan 2018, In: Journal of Physical Chemistry Part B: Condensed Matter, Materials, Surfaces, Interfaces & Biophysical. 122, 3, p. 1195-1204

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. Published

    Hierarchical Clustering: Objective Functions and Algorithms

    Cohen-addad, V., Kanade, V., Mallmann-trenn, F. & Mathieu, C., 2 Jan 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 378-397

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

  4. Published

    Sparse incomplete LU-decomposition for wave farm designs under realistic conditions

    Arbonès, D. R., Sergiienko, N. Y., Ding, B., Krause, Oswin, Igel, Christian & Wagner, M., 1 Jan 2018, Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, 2018, Proceedings. Springer, p. 512-524 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11101 LNCS).

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

  5. Published

    Stateful load balancing for parallel stream processing

    Guo, Q. & Zhou, Yongluan, 1 Jan 2018, Euro-Par 2017: Parallel Processing Workshops. Heras, D. B., Bougé, L., Mencagli, G., Jeannot, E., Sakellariou, R., Badia, R. M., Barbosa, J. G., Ricci, L., Scott, S. L., Lankes, S. & Weidendorfer, J. (eds.). Springer, p. 80-93 14 p. (Lecture notes in computer science, Vol. 10659).

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

  6. Published

    Graph Processing on GPUs: A Survey

    Shi, X., Zheng, Z., Zhou, Yongluan, Jin, H., He, L., Liu, B. & Hua, Q., Jan 2018, In: A C M Computing Surveys. 50, 6, 35 p., 81.

    Research output: Contribution to journalReviewResearchpeer-review

  7. Published

    A Near-Linear Approximation Scheme for Multicuts of Embedded Graphs with a Fixed Number of Terminals

    Cohen-addad, V., De Verdière, É. C. & De Mesmay, A., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 1439-1458

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

  8. Published

    A categorical foundation for structured reversible flowchart languages

    Glück, Robert & Kaarsgaard, R., 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 155-171

    Research output: Contribution to journalJournal articleResearchpeer-review

  9. Published

    A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

    Glück, Robert & Kaarsgaard, R., 2018, In: Logical Methods in Computer Science. 14, 3, 38 p., 16.

    Research output: Contribution to journalJournal articleResearchpeer-review

  10. Published

    A fast approximation scheme for low-dimensional k-means

    Cohen-Addad, V., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 430-440

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

  11. Published

    ARRIVAL: Next stop in CLS

    Gärtner, B., Hansen, T. D., Hubácek, P., Král, K., Mosaad, H. & Slívová, V., 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Chatzigiannakis, I., Kaklamanis, C., Marx, D. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 60. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 107).

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