Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:

    ORCID: 0000-0002-3488-9392

    Udgivelsesår:
    Alle
    51 - 60 ud af 118Pr. side: 10
    Sortering: Titel
    1. Udgivet

      Infinitary Combinatory Reduction Systems

      Ketema, J. & Simonsen, Jakob Grue, 2011, I: Information and Computation. 209, 6, s. 893-926 34 s.

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

    2. Udgivet

      Infinitary Combinatory Reduction Systems: Confluence

      Ketema, J. & Simonsen, Jakob Grue, 2009, I: Logical Methods in Computer Science. 5, 4:3, s. 1-29 29 s.

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

    3. Udgivet

      Infinitary combinatory reduction systems: normalising reduction strategies

      Ketema, J. & Simonsen, Jakob Grue, 2010, I: Logical Methods in Computer Science. 6, 1, 35 s., 7.

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

    4. Udgivet

      Interpretive Overhead and Optimal Specialisation. Or: Life without the Pending List (Workshop Version)

      Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2008. 11 s.

      Publikation: Konferencebidrag › Paper › Forskning

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

    6. Udgivet

      LAIR: A Language for Automated Semantics-Aware Text Sanitization based on Frame Semantics

      Hedegaard, S., Houen, S. & Simonsen, Jakob Grue, 2009, Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009). IEEE Computer Society Press, s. 47-52 6 s.

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

    7. Udgivet

      Least upper bounds on the size of Church-Rosser diagrams in term rewriting and λ-calculus

      Ketema, J. & Simonsen, Jakob Grue, 2010, Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Blume, M., Kobayashi, N. & Vidal, G. (red.). Springer, s. 272-287 (Lecture notes in computer science, Bind 6009).

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

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

    9. Udgivet

      Levels of undecidability in rewriting

      Endrullis, J., Geuvers, H., Simonsen, Jakob Grue & Zantema, H., 2011, I: Information and Computation. 209, 2, s. 227-245 19 s.

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

    10. Udgivet

      Liouville Numbers and the Computational Complexity of Changing Bases

      Jakobsen, S. K. & Simonsen, Jakob Grue, 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (red.). Springer VS, s. 50-62 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12098 LNCS).

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

    Forrige 12 3 4 5 6 7 8 9 ...12 Næste

    ID: 12543