Jakob Grue Simonsen

Jakob Grue Simonsen

Head of Department

Member of:

    ORCID: 0000-0002-3488-9392

    Publication year:
    All
    71 - 80 out of 123Page size: 10
    1. 2014
    2. Published

      An implicit characterization of the polynomial-time decidable sets by cons-free rewriting

      de Carvalho, D. B. & Simonsen, Jakob Grue, 2014, Rewriting and typed lambda calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer Science+Business Media, p. 179-193 15 p. (Lecture notes in computer science, Vol. 8560).

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

    3. Published

      Is once enough? on the extent and content of replications in human-computer interaction

      Hornbæk, Kasper, Sander, S. S., Bargas-Avila, J. A. & Simonsen, Jakob Grue, 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3523-3532 10 p.

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

    4. Published

      Mining until it hurts: automatic extraction of usability issues from online reviews compared to traditional usability evaluation

      Hedegaard, S. & Simonsen, Jakob Grue, 2014, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, p. 157-166 10 p.

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

    5. 2013
    6. Published

      An experimental investigation of the normality of irrational algebraic numbers

      Nielsen, J. S. B. & Simonsen, Jakob Grue, 2013, In: Mathematics of Computation. 82, p. 1837-1858 22 p.

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

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

    8. Published

      Extracting usability and user experience information from online user reviews

      Hedegaard, S. & Simonsen, Jakob Grue, 2013, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '13. Association for Computing Machinery, p. 2089-2098 10 p.

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

    9. Published

      Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus

      Ketema, J. & Simonsen, Jakob Grue, 2013, In: A C M Transactions on Computational Logic. 14, 4, 28 p., 31.

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

    10. 2012
    11. Published

      Characterizing languages by normalization and termination in string rewriting

      Ketema, J. & Simonsen, Jakob Grue, 2012, Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Yen, H-C. & Ibarra, O. H. (eds.). Springer, p. 459-464 6 p. (Lecture notes in computer science, Vol. 7410).

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

    12. Published

      Computational models with no linear speedup

      Ben-Amram, A. M., Christensen, N. H. & Simonsen, Jakob Grue, 2012, In: Chicago Journal of Theoretical Computer Science. 2012, 24 p., 07.

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

    13. Published

      Programs=data=first-class citizens in a computational world

      Jones, N. & Simonsen, Jakob Grue, 2012, In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 370, 1971, p. 3305-3318 14 p.

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

    Previous 1...4 5 6 7 8 9 10 11 ...13 Next

    ID: 12543