Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:


    1. 2014
    2. Udgivet

      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. (red.). Springer Science+Business Media, s. 179-193 15 s. (Lecture notes in computer science, Bind 8560).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    3. Udgivet

      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, s. 3523-3532 10 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    4. Udgivet

      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, s. 157-166 10 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    ID: 12543