Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:

    ORCID: 0000-0002-3488-9392

    Udgivelsesår:
    Alle
    91 - 100 ud af 123Pr. side: 10
    Sortering: Udgivelsesår
    1. 2011
    2. Udgivet

      The exact hardness of deciding derivational and runtime complexity

      Schnabl, A. & Simonsen, Jakob Grue, 2011, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Bezem, M. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 481-495 15 s. (Leibniz International Proceedings in Informatics, Bind 12).

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

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

    4. 2010
    5. Udgivet

      Higher-order (non-)modularity

      Appel, C., van Oostrom, V. & Simonsen, Jakob Grue, 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Lynch, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 17-32 16 s. (Leibniz International Proceedings in Informatics, Bind 6).

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

    6. Udgivet

      Programming in biomolecular computation

      Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2010, I: Electronical Notes in Theoretical Computer Science. 268, s. 97-114 18 s.

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

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

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

    9. Udgivet

      Weak convergence and uniform normalization in infinitary rewriting

      Simonsen, Jakob Grue, 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications,. Lynch, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 311-324 14 s. (Leibniz International Proceedings in Informatics (LIPIcs), Bind 6).

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

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

    12. Udgivet

      POETS: Process-oriented Enterprise Transaction Systems

      Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, I: Journal of Logic and Algebraic Programming. 78, 5, s. 381-401 21 s.

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

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

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

    ID: 12543