Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:


    1. 2017
    2. Udgivet

      Computability in the lattice of equivalence relations

      Moyen, J. & Simonsen, Jakob Grue, 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (red.). Open Publishing Association, s. 38-46 9 s. (Electronic Proceedings in Theoretical Computer Science, Bind 248).

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

    3. Udgivet

      User Experience

      Simonsen, Jakob Grue, 21 jun. 2017, The Wiley Handbook of Human Computer Interaction Set. Wiley-Blackwell, Bind 1. s. 191-206

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

    4. 2016
    5. Udgivet

      Some remarks on real numbers induced by first-order spectra

      Jakobsen, S. & Simonsen, Jakob Grue, 2016, I: Notre Dame Journal of Formal Logic. 57, 3, s. 355-368 14 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    6. Udgivet

      Complexity hierarchies and higher-order cons-free rewriting

      Kop, C. L. M. & Simonsen, Jakob Grue, 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 s. 23. (Leibniz International Proceedings in Informatics, Bind 52).

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

    7. Udgivet

      Deep learning relevance: creating relevant information (as opposed to retrieving it)

      Lioma, Christina, Larsen, B., Petersen, C. & Simonsen, Jakob Grue, 2016. 6 s.

      Publikation: KonferencebidragPaperForskningfagfællebedømt

    8. Udgivet

      Exploiting the bipartite structure of entity grids for document coherence and retrieval

      Lioma, Christina, Tarissan, F., Simonsen, Jakob Grue, Petersen, C. & Larsen, B., 2016, Proceedings of the 2016 ACM International Conference on the Theory of Information Retrieval. Association for Computing Machinery, s. 11-20 10 s.

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

    9. Udgivet

      Adaptive distributional extensions to DFR ranking

      Petersen, C., Simonsen, Jakob Grue, Järvelin, K. & Lioma, Christina, 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 2005-2008 4 s.

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

    10. Udgivet

      Brief announcement: labeling schemes for power-law graphs

      Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, s. 39-41 3 s.

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

    11. Udgivet

      Near optimal adjacency labeling schemes for power-law graphs

      Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 s. 133. (Leibniz International Proceedings in Informatics, Bind 55).

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

    12. Udgivet

      Power law distributions in information retrieval

      Petersen, C., Simonsen, Jakob Grue & Lioma, Christina, 2016, I: A C M Transactions on Information Systems. 34, 2, 37 s., 8.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    13. Udgivet

      Sketching shape-changing interfaces: exploring vocabulary, metaphors use, and affordances

      Rasmussen, M. K., Troiano, G. M., Petersen, M. G., Simonsen, Jakob Grue & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 2740-2751 12 s.

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

    14. 2015
    15. Udgivet

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

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    16. Udgivet

      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. (red.). Springer, s. 185-202 18 s. (Lecture notes in computer science, Bind 9298).

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

    17. Udgivet

      Non-compositional term dependence for information retrieval

      Lioma, Christina, Simonsen, Jakob Grue, Larsen, B. & Hansen, N. D., 2015, SIGIR '15: Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 595-604 10 s.

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

    18. Udgivet

      An exploration of the relation between expectations and user experience

      Michalco, J., Simonsen, Jakob Grue & Hornbæk, Kasper, 2015, I: International Journal of Human-Computer Interaction. 31, 9, s. 603-617 15 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    19. Udgivet

      Entropy and graph based modelling of document coherence using discourse entities: an application to information retrieval

      Petersen, C., Lioma, Christina, Simonsen, Jakob Grue & Larsen, B., 2015, Proceedings of the 2015 International Conference on The Theory of Information Retrieval. Association for Computing Machinery, s. 191-200 10 s.

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

    20. Udgivet

      Near-optimal adjacency labeling scheme for power-law graphs

      Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2015, I: arXiv.org: Computer science. arXiv:1502.03971, 18 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

    21. Udgivet

      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. (red.). Springer, s. 420-425 6 s. (Lecture notes in computer science, Bind 9460).

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

    22. Udgivet

      A confluent rewriting system having no computable, one-step, normalizing strategy

      Simonsen, Jakob Grue, 2015, I: ACM Transactions on Computational Logic. 16, 2, 9 s., 10.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    23. Udgivet

      A hierarchical recurrent encoder-decoder for generative context-aware query suggestion

      Sordoni, A., Bengio, Y., Vahabi, H., Lioma, Christina, Simonsen, Jakob Grue & Nie, J., 2015, CIKM '15 Proceedings of the 24th ACM International on Conference on Information and Knowledge Management. Association for Computing Machinery, s. 553-562 10 s.

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

    24. 2014
    25. 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

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

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

    28. 2013
    29. Udgivet

      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, s. 2089-2098 10 s.

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

    30. Udgivet

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

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    ID: 12543