Department of Computer Science

Read more
1 - 50 out of 1,699Page size: 50
Sort by: Title
  1. Published

    "It’s about Business not Politics”: software development between Palestinians and Israelis

    Boulus-Rødje, N., Bjorn, Pernille & Ghazawneh, A., 2015, ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway. Springer, p. 43-61 19 p.

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

  2. Published

    "Iyngby" - A modeler's matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage

    Hansen, L. K., Nielsen, F. Å., Toft, P., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, Nina Tranekær, Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 1999, In: NeuroImage. 9, 6 PART II

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

  3. Published

    (Automated) software modularization using community detection

    Hansen, K. M. & Manikas, K., 2015, Software architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7–11, 2015, Proceedings. Weyns, D., Mirandola, R. & Crnkovic, I. (eds.). Springer, p. 95-102 8 p. (Lecture notes in computer science, Vol. 9278).

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

  4. Published

    2016 POPL impressions

    Henglein, Fritz, 2016, In: SIGLOG News. 3, 2, p. 79-81 3 p.

    Research output: Contribution to journal › Comment/debate › Research

  5. Published

    3D analysis of synaptic vesicle density and distribution after acute foot-shock stress by using serial section transmission electron microscopy

    Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R., Wegener, G., Popoli, M. & Sporring, Jon, 2017, In: Journal of Microscopy. 265, 1, p. 101–110 10 p.

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

  6. Published

    3D estimation of synaptic vesicle distributions in serial section transmission electron microscopy

    Khanmohammadi, M., Darkner, Sune, Nava, N., Nyengaard, J. R., Wegener, G., Popoli, M. & Sporring, Jon, 2017, In: Journal of Microscopy. 265, 1, p. 101–110 1 p.

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

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

  8. Published

    mQoL: experiences of the 'mobile communications and computing for quality of life' living lab

    Wac, Katarzyna, Gustarini, M., Marchanoff, J., Fanourakis, M., Tsiourti, C., Ciman, M., Hausmann, J. & Pinar, G., 2015, 2015 17th International Conference on E-health Networking, Application Services (HealthCom). IEEE, p. 177-181 5 p.

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

  9. Published

    A Branch-and-Cut Algorithm for the Elementary Shortest Path Problem with a Capacity Constraint

    Jepsen, M. K., Petersen, B. & Spoorendonk, S., 2008, Copenhagen: Department of Computer Science, University of Copenhagen. 15 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 08-01).

    Research output: Book/Report › Report › Research

  10. Published

    A Note on the Flow Extended 0-1 Knapsack Cover Inequalities for the Elementary Shortest Path Problem with a Capacity Constraint

    Jepsen, M. K. & Spoorendonk, S., 2008, København: Department of Computer Science, University of Copenhagen. 7 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 08/02).

    Research output: Book/Report › Report › Research

  11. Published

    Bayes estimation of shape model with application to vertebrae boundaries

    Crimi, A., Ghosh, A., Sporring, Jon & Nielsen, Mads, 2009, Medical Imaging 2009: Image Processing (Proceedings Volume). Vol. 7259. 8 p.

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

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

  13. Published

    Essays on C++ concepts

    Katajainen, J., 2008, 14 p.

    Research output: Working paper › Research

  14. Published

    Making operations on standard-library containers strongly exception safe

    Katajainen, J., 2007, Proceedings of the 3rd DIKU-IST Joint Workshop on Foundations of Software. Vol. 07. p. 158-169

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

  15. Published

    Mini-project: Safe standard-library containers

    Katajainen, J., 2008, 2 ed., 6 p.

    Research output: Working paper › Research

  16. Published

    Priority-queue framework: Programs

    Katajainen, J., 2009, 7 ed., København, 122 p.

    Research output: Working paper › Research

  17. Published

    Proceedings of the 9th Scandinavian Workshop on Algorithm Theory: Lecture Notes in Computer Science 3111

    Katajainen, J. & Hagerup, T., 2004, Springer-Verlag. 506 p.

    Research output: Book/Report › Anthology › Research › peer-review

  18. Published

    Project proposal: Associative containers with strong guarantees. CPH STL Report 2007-4

    Katajainen, J., 2007, 39 p.

    Research output: Working paper › Research

  19. Published

    Project proposal: A meldable, iterator-valid priority queue. CPH STL Report 2005-1

    Katajainen, J., 2005, 37 p.

    Research output: Working paper › Research

  20. Published

    Research proposal: Generic programming-algorithms and tools: CPH STL Report 2005-5

    Katajainen, J., 2005, 9 p.

    Research output: Working paper › Research

  21. Published

    Stronger guarantees for standard-library containers

    Katajainen, J., 2007, Algorithm Engineering. Vol. 25. p. 31-35

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

  22. Published

    A CMA-ES with multiplicative covariance matrix updates

    Krause, Oswin & Glasmachers, T., 2015, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. Association for Computing Machinery, p. 281-288 8 p.

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

  23. Published

    A Comparative Field Study of Four Crane Control Interfaces

    Bergström, Joanna, Rämänen, J., Suomalainen, T., Oulasvirta, A. & Kujala, T., 2009, European Conference on Cognitive Ergonomics: Designing Beyond the Product --- Understanding Activity and User Experience in Ubiquitous Environments. VTT, Finland, Finland: VTT Technical Research Centre of Finland, p. 33:1-33:4

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

  24. 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, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, p. 69-70 2 p. 3399520

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

  25. Published

    A Cross-Cultural Study of How Usability Professionals Experience the Usability of Everyday Systems

    Jiang, Y., Sun, X., Li, H., Yammiyavar, P., Kumar, J., Hertzum, M., Hornbæk, Kasper, Shi, Q. & Clemmensen, T., 2009, IEA2009: Proceedings of the 17th World Congress on Ergonomics . International Ergonomics Association, 7 p. IOP1040

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

  26. Published

    A Denotational Account of Untyped Normalization by Evaluation

    Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (ed.). Springer, p. 167-181 (Lecture notes in computer science; No. 2987).

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

  27. Published

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Henglein, Fritz, Larsen, C. K. & Murawska, A., 2020. 18 p.

    Research output: Contribution to conference › Paper › Research › peer-review

  28. Published

    A Graphical User-Interface and an Image Processing Toolkit for Perl

    Karasik, D., Berezin, A., Belman, V. & Sporring, Jon, 2005, In: Software -- Practice and Experience. 35, p. 467-490

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

  29. Published

    A MuDDy Experience-ML Bindings to a BDD Library

    Larsen, Ken Friis, 2009, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009. Taha, W. M. (ed.). Springer, Vol. 5658. p. 45-57 12 p. (Lecture notes in computer science, Vol. 5658).

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

  30. Published

    A Multi-Scale Singularity Bounding Volume Hierarchy

    Somchaipeng, K., Erleben, Kenny & Sporring, Jon, 2005, Proceedings of WSCG. <Forlag uden navn>, p. 179-186

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

  31. Published

    A Multi-Scale Singularity Bounding Volume Hierarchy

    Somchaipeng, K., Erleben, Kenny & Sporring, Jon, 2004, 08 ed. Department of Computer Science, University of Copenhagen: Datalogisk Institut.

    Research output: Book/Report › Report › Research

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

  33. Published

    A New Paradigm for General Architecture Routing

    Paluszewski, M., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the 14th ACM Great Lakes Symposium on VLSI. New York, NY, USA: Association for Computing Machinery, p. 202-207

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

  34. Published

    A Novel PLS2-Based Algorithm for Imputing Missing Values in Foodomics/Metabolomics Studies with multiple response variables

    Tashk, Ashkan, Engelsen, Søren Balling, Khakimov, Bekzod, Steenstrup Pedersen, Kim, Sørensen, Klavs Martin & Engstrøm, Ole-Christian Galbo, 2023.

    Research output: Contribution to conference › Poster › Research › peer-review

  35. Published

    A Projected Non-linear Conjugate Gradient Method for Interactive Inverse Kinematics.

    Engell-Nørregård, M. & Erleben, Kenny, 2009, Proceedings MATHMOD 09 Vienna, ARGESIM Report no. 35. Troch, I. & Breitenecker, F. (eds.).

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

  36. Published

    A SVD Based Image Complexity Measure

    Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2009, VISAPP 2009: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS. Vol. 2. p. 34-39 6 p.

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

  37. Published

    A Semantic Model of Binding Times for Safe Partial Evaluation

    Henglein, Fritz & Sands, D., 1995, Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. Springer

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

  38. Published

    A Simple Plane Patcher Algorithm

    Erleben, Kenny & Henriksen, Knud, 2006, 06/09 ed. Department of Computer Science, University of Copenhagen.

    Research output: Book/Report › Report › Research

  39. Published

    A Study of the Evaluator Effect in Usability Testing

    Hornbæk, Kasper & Frøkjær, Erik, 2008, In: Human-Computer Interaction. 23, 3, p. 251-277 27 p.

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

  40. Published

    A Uniform Publish-Subscribe Infrastructure for Communication in Wireless Mobile Environments

    Brønsted, J. R., Hansen, K. M. & Thorup, R., 2006, 6th International Conference on ITS Telecommunications (ITST2006). p. 1145-1150 6 p.

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

  41. Published

    A World Wide Web-based HCI-library Designed for Interaction Studies

    Perstrup, K., Frøkjær, Erik, Konstantinovitz, M., Konstantinovitz, T., Sørensen, F. S. & Varming, J., 1997, Proceedings of the third ERCIM workshop on User Interfaces for All. Villers-les-Nancy, Frankrig: INRIA Lorraine, p. 137-142

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

  42. Published

    A batch Algorithm for Implicit Non-Rigid Shape and Motion Recovery

    Bartoli, A. & Olsen, Søren Ingvor, 2007, Dynamical Vision: ICCV 2005 and ECCV 2006 workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, . Revised papers 2006. Vidal, R., Heyden, A. & Ma, Y. (eds.). Springer, p. 257-269 8 p. (Lecture notes in computer science; No. 4358).

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

  43. Published

    A batch algorithm for estimating trajectories of point targets using expectation maximization

    Rahmathullah, A., Selvan, Raghav & Svensson, L., 2016, In: IEEE Transactions on Signal Processing. 64, 18, p. 4792-4804 13 p.

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

  44. Published

    A bound for the convergence rate of parallel tempering for sampling restricted Boltzmann machines

    Fischer, A. & Igel, Christian, 2015, In: Theoretical Computer Science. 598, p. 102-117 16 p.

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

  45. Published

    A camera-based sensor system for precise seam tracking and closed-loop weld pool control in arc welding

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., 2011.

    Research output: Contribution to conference › Paper › Research › peer-review

  46. Published

    A catalogue of weak-heap programs

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2012, Department of Computer Science, University of Copenhagen. 36 p. (CPH STL Report; No. 2012-2).

    Research output: Book/Report › Report › Research

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

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

  49. Published

    A chainlike relative coordinate system for few-particle problems

    Avery, James Emil & Avery, J. S., 2017, In: Journal of Mathematical Chemistry. 55, 2, p. 584-597 14 p.

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

  50. Published

    A classical propositional logic for reasoning about reversible logic circuits

    Axelsen, H. B., Glück, Robert & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).

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

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