Department of Computer Science

  1. 2024
  2. Published

    Partial Evaluation of Reversible Flowchart Programs

    Normann, Louis Marott & Glück, Robert, 2024, PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Keller, G. & Wang, M. (eds.). Association for Computing Machinery, p. 119-133 15 p.

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

  3. Published

    Situational Awareness Data Extraction from Cooperative Virtual Reality Maritime Training Simulations

    Larsen, Thomas Edward, Larsen, P. & Bjorn, Pernille, 2024, Proceedings of 22nd European Conference on Computer-Supported Cooperative Work. European Society for Socially Embedded Technologies, p. 1-28

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

  4. E-pub ahead of print

    Students’ dynamic communication while transforming mathematical representations in a dynamic geometry environment

    Bach, Cecilie Carlsen, Bergqvist, E. & Jankvist, U. T., 2024, (E-pub ahead of print) In: ZDM - Zentralblatt für Didaktik der Mathematik. 15 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

    Towards Clean Reversible Lossless Compression

    Lyngby, Therese, Nylandsted, R. R., Glück, Robert & Yokoyama, T., 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer, p. 94-102 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).

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

  6. 2023
  7. Published
  8. Published

    A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff

    Dargaj, J. & Simonsen, Jakob Grue, 2023, In: Journal of Economic Theory. 213, 24 p., 105713.

    Research output: Contribution to journalJournal articleResearchpeer-review

  9. Published

    Best-of-Both-Worlds Learning in Bandits with Delayed Feedback

    Masoudian, S., 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 166 p.

    Research output: Book/ReportPh.D. thesisResearch

  10. Published

    Constructing Concise Convex Covers via Clique Covers

    Abrahamsen, Mikkel, Meyling, William Bille & Nusser, André Fritz, 2023, 39th International Symposium on Computational Geometry, SoCG 2023. Chambers, E. W. & Gudmundsson, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-9 66. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 258).

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

  11. Published
  12. Published

    Deep learning and computer vision techniques for microcirculation analysis: A review

    Helmy, M., Truong, T. T., Jul, Eric & Ferreira, P., 2023, In: Patterns. 4, 1, 100641.

    Research output: Contribution to journalReviewResearchpeer-review

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