Department of Computer Science

Read more
51 - 60 out of 1,697Page size: 10
Sort by: Title
  1. Published

    A comparison of well-quasi orders on trees

    Mogensen, Torben Ægidius, 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 30-40 11 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

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

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

  3. Published

    A concurrent data collection environment for wasteful communication satellite system

    Skovsgaard, T., Sørensen, P. D., Dickson, L. J., Quarrie, L. O. B. & Vinter, B., 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 189-197 9 p. (Concurrent Systems Engineering Series, Vol. 70).

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

  4. Published

    A confluent rewriting system having no computable, one-step, normalizing strategy

    Simonsen, Jakob Grue, 2015, In: ACM Transactions on Computational Logic. 16, 2, 9 p., 10.

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

  5. Published

    A context-dependent and disordered ubiquitin-binding motif

    Dreier, Jesper Elmsted, Prestel, Andreas, Martins, J. M., Brøndum, S. S., Nielsen, Olaf, Garbers, Anna Engstrøm, Suga, H., Boomsma, Wouter, Rogers, Joseph Matthew, Hartmann-Petersen, Rasmus & Kragelund, Birthe Brandt, 2022, In: Cellular and molecular life sciences : CMLS. 79, 9, 21 p., 484.

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

  6. Published

    A direct approach to control-flow sensitive region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Decalrative Programming (PPDP). Montreal, Canada: Association for Computing Machinery, p. 175-186

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

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

  8. 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 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 financial benchmark for GPGPU compilation

    Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 16 p.

    Research output: Book/Report › Report › Research

Previous 12 3 4 5 6 7 8 9 ...170 Next