Department of Computer Science

  1. 2013
  2. Published

    Classification in Medical Imaging: Features, Metrics and Insights into Classifiers

    Chen, C., 2013, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.

    Research output: Book/ReportPh.D. thesisResearch

  3. Published

    Cleaning up: garbage-free reversible circuits by design languages

    Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2013, 2012 International Symposium on Electronic System Design (ISED). IEEE, p. 6-10 5 p.

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

  4. Published

    Comparative study of search engine result visualisation: ranked lists versus graphs

    Petersen, C., Lioma, Christina & Simonsen, Jakob Grue, 2013, Proceedings of the 3rd European Workshop on Human-Computer Interaction and Information Retrieval co-located with the 36th international ACM SIGIR conference on Research and development in information retrieval (SIGIR 2013). Wilson, M. L., T. R-R., Larsen, B., Hansen, P. & Norling, K. (eds.). p. 27-30 4 p. (CEUR Workshop Proceedings, Vol. 1033).

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

  5. Published

    Comparing modalities and feedback for peripheral interaction

    Hausen, D., Wagner, C., Boring, S. & Butz, A., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1263-1268 6 p.

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

  6. Published

    Computational complexity for uniform orientation Steiner tree problems

    Brazil, M. & Zachariasen, M., 2013, Proceedings of the Thirty-Sixth Australasian Computer Science Conference. Thomas, B. (ed.). Australian Computer Society, Vol. 135. p. 107-113 7 p.

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

  7. Published

    Conceptual frameworks for constructing iterators for compound data structures - Electronic appendix I: component-iterator and rank-iterator classes

    Katajainen, J. & Maniotis, A. M., 2013, Department of Computer Science, University of Copenhagen. 47 p. (CPH STL Report; No. 2012-3).

    Research output: Book/ReportReportResearch

  8. Published

    Convergence in infinitary term graph rewriting systems is simple (extended abstract)

    Bahr, P., 2013, Proceedings of the 7th International Workshop on Computing with Terms and Graphs: Rome, 23th March 2013. Echahed, R. & Plump, D. (eds.). Open Publishing Association, p. 17-28 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 110).

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

  9. Published

    Copilot: monitoring embedded systems

    Pike, L., Wegmann, N., Niller, S. & Goodloe, A., 2013, In: Innovations in Systems and Software Engineering. 9, 4, p. 235-255 21 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  10. Published

    Cube propagation for focal brain atrophy estimation

    Pai, A. S. U., Sørensen, L., Darkner, Sune, Mysling, P., Jørgensen, D. R., Dam, E. B., Lillholm, Martin, Oh, J., Chen, G., Suhy, J., Sporring, Jon & Nielsen, Mads, 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging. IEEE, p. 402-405 4 p.

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

  11. Published

    Danger to public health: medical devices, toxicity, virus and fraud

    Kierkegaard, S. & Kierkegaard, P., 2013, In: Computer Law & Security Review. 29, 1, p. 13-27 15 p.

    Research output: Contribution to journalJournal articleResearchpeer-review