Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:

    ORCID: 0000-0002-3488-9392

    Udgivelsesår:
    Alle
    111 - 120 ud af 123Pr. side: 10
    Sortering: Titel
    1. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    2. Udgivet

      Beta-shifts, their languages and computability

      Simonsen, Jakob Grue, 2011, I: Theory of Computing Systems. 48, 2, s. 297-318

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    3. Udgivet

      Anagopos: a reduction graph visualizer for term rewriting and lambda calculus

      Grathwohl, N. B. B., Ketema, J., Pallesen, J. D. & Simonsen, Jakob Grue, 2011, 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Schmidt-Schauß, M. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 61-70 10 s. (Leibniz International Proceedings in Informatics, Bind 10).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    4. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    5. 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    6. Udgivet

      An experimental investigation of the normality of irrational algebraic numbers

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    7. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    8. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    9. 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    10. Udgivet

      A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff

      Dargaj, J. & Simonsen, Jakob Grue, 2023, I: Journal of Economic Theory. 213, 24 s., 105713.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    Forrige 1...8 9 10 11 12 13 Næste

    ID: 12543