Department of Computer Science

  1. 2015
  2. Published

    Supercompilation for datatypes

    Mogensen, Torben Ægidius, 2015, Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 232-247 16 p. (Lecture notes in computer science, Vol. 8974).

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

  3. Published

    Template-Guided Ionic Self-Assembled Molecular Materials and Thin Films with Nanoscopic Order

    Santella, M., Amini, F., Andreasen, K. B., Aswad, D. S., Ausar, H., Austin, L. M., Bora, I., Boye, I. M. I., Brinkenfeldt, N. K., Boe, M. F., Cakmak, E., Catovic, A., Christensen, J. M., Dalgaard, J. H., Danielsen, H. M. D., El Bouyahyaoui, A. H., El Dib, S. E. H., El Khaiyat, B., Farooq, I., Fjellerup, F. K. & 43 others, Frederiksen, G. W., Frederiksen, Henriette Reventlow S, Gleerup, D., Gold, M., Gruber, M. F., Gylling, M., Heidari, V., Herzberg, M., Holgaard, U. L. D., Hundahl, A. C., Hviid, R., Hohling, J. S., Abd Issa, F. Z., Jakobsen, N. R., Jakobsen, R. K., Jensen, B. L., Jensen, P. W. K., Juelsholt, M., Liao, Z., Le, C. L., Mayanja, I. F., Moustafa, H., Moller, C. B. B., Nielsen, C. L., Nielsen, M. R. J. E. H., Nielsen, S. S. -., Olsen, M. J., Paludan, B. D., Prestholm, I., Qoqaj, I., Riel, C. B., Rostgaard, T. V., Saleh, N., Schultz, H. M., Standland, M., Svenningsen, J. S., Sorensen, R. T., Visby, J., Wolff-Sneedorff, E. L., Zachariassen, M. H., Ziari, E. A., Sorensen, H. O. & Sørensen, Thomas Just, 2015, In: ChemNanoMat. 1, 4, p. 253-258 6 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. Published

    The affordances of broken affordances

    Grünbaum, M. G. & Simonsen, Jakob Grue, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, p. 185-202 18 p. (Lecture notes in computer science, Vol. 9298).

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

  5. Published

    The impact of using combinatorial optimisation for static caching of posting lists

    Petersen, C., Simonsen, Jakob Grue & Lioma, Christina, 2015, Information retrieval technology: 11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015. Proceedings. Zuccon, G., Geva, S., Joho, H., Scholer, F., Sun, A. & Zhang, P. (eds.). Springer, p. 420-425 6 p. (Lecture notes in computer science, Vol. 9460).

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

  6. Published

    The multiple intersecting sites of design in CSCW research

    Bjorn, Pernille & Boulus-Rødje, N., 2015, In: Computer Supported Cooperative Work. 24, 4, p. 319-351 33 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. Published

    Thematic series on software engineering from a social network perspective

    Gerosa, M. A., Redmiles, D., Bjorn, Pernille & Sama, A., 2015, In: Journal of Internet Services and Applications. 6, 5 p., 23.

    Research output: Contribution to journalEditorialResearchpeer-review

  8. Published

    Towards a domain-specific language for reversible assembly sequences

    Schultz, U. P., Laursen, J. S., Ellekilde, L. & Axelsen, H. B., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 111-126 16 p. (Lecture notes in computer science, Vol. 9138).

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

  9. Published

    Towards a standard testbed for optical music recognition: definitions, metrics, and page images

    Byrd, D. & Simonsen, Jakob Grue, 2015, In: Journal of New Music Research. 44, 3, p. 169-195 27 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  10. Published

    Towards a typification of software ecosystems

    Knodel, J. & Manikas, K., 2015, Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings. Fernandes, J. M., Machado, R. J. & Wnuk, K. (eds.). Springer, p. 60-65 6 p. (Lecture Notes in Business Information Processing, Vol. 210).

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

  11. Published

    Towards identifying programming expertise with the use of physiological measures

    Kontogiorgos, D. & Manikas, K., 2015, Eye movements in programming: models to data: proceedings of the third international workshop. University of Eastern Finland, p. 10-11 2 p.

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