Jakob Grue Simonsen

Jakob Grue Simonsen

Head of Department

Member of:

    ORCID: 0000-0002-3488-9392

    Publication year:
    All
    91 - 100 out of 123Page size: 10
    1. 2011
    2. Published

      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. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 481-495 15 p. (Leibniz International Proceedings in Informatics, Vol. 12).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    3. Published

      Beta-shifts, their languages and computability

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    4. 2010
    5. Published

      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. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 17-32 16 p. (Leibniz International Proceedings in Informatics, Vol. 6).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    6. Published

      Programming in biomolecular computation

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

      Research output: Contribution to journal › Conference article › Research › peer-review

    7. Published

      Infinitary combinatory reduction systems: normalising reduction strategies

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    8. Published

      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. (eds.). Springer, p. 272-287 (Lecture notes in computer science, Vol. 6009).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    9. Published

      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. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 311-324 14 p. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 6).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    10. 2009
    11. Published

      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, p. 47-52 6 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    12. Published

      POETS: Process-oriented Enterprise Transaction Systems

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    13. Published

      Infinitary Combinatory Reduction Systems: Confluence

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    Previous 1...6 7 8 9 10 11 12 13 Next

    ID: 12543