Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:

    ORCID: 0000-0002-3488-9392

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

      Implicit Representation of Relations

      Glončák, V., Munkstrup, J. E. E. & Simonsen, Jakob Grue, 2023, I: Theory of Computing Systems. 67, 6, s. 1156-1196

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

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

    3. Udgivet

      Infinitary Combinatory Reduction Systems

      Ketema, J. & Simonsen, Jakob Grue, 2005, Proceedings of the 30th International Conference on Rewriting Techniques and Applications. 3467 udg. s. 438-452

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

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

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

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

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

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

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

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

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

    ID: 12543