Jakob Grue Simonsen

Jakob Grue Simonsen

Head of Department

Member of:


    1. 2011
    2. Published

      Levels of undecidability in rewriting

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

      Research output: Contribution to journalJournal articleResearchpeer-review

    3. Published

      Lost in translation: authorship attribution using frame semantics

      Hedegaard, S. & Simonsen, Jakob Grue, 2011, Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies: short papers. Association for Computational Linguistics, Vol. 2. p. 65-70 6 p.

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    4. Published

      Programming in biomolecular computation: programs, self-interpretation and visualisation

      Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, In: Scientific Annals of Computer Science. 21, 1, p. 73-106 34 p.

      Research output: Contribution to journalJournal articleResearchpeer-review

    5. 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 proceedingArticle in proceedingsResearchpeer-review

    6. Published

      Using sequence alignment and voting to improve optical music recognition from multiple recognizers

      Bugge, E. P., Juncher, K. L., Mathiesen, B. S. & Simonsen, Jakob Grue, 2011, Proceedings of the 12th International Society for Music Information Retrieval Conference. Klapuri, A. & Leider, C. (eds.). University of Miami, p. 405-410 6 p.

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    7. Published

      Lost in translation: Authorship attribution using frame semantics

      Hedegaard, S. & Simonsen, Jakob Grue, 1 Dec 2011, ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. p. 65-70 6 p. (ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Vol. 2).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    8. 2012
    9. Published

      Characterizing languages by normalization and termination in string rewriting

      Ketema, J. & Simonsen, Jakob Grue, 2012, Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Yen, H-C. & Ibarra, O. H. (eds.). Springer, p. 459-464 6 p. (Lecture notes in computer science, Vol. 7410).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    10. Published

      Computational models with no linear speedup

      Ben-Amram, A. M., Christensen, N. H. & Simonsen, Jakob Grue, 2012, In: Chicago Journal of Theoretical Computer Science. 2012, 24 p., 07.

      Research output: Contribution to journalJournal articleResearchpeer-review

    11. Published

      Programs=data=first-class citizens in a computational world

      Jones, N. & Simonsen, Jakob Grue, 2012, In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 370, 1971, p. 3305-3318 14 p.

      Research output: Contribution to journalJournal articleResearchpeer-review

    12. Published

      Rewriting the Finite and the Infinite: Disputats for the Degree of Doctor Scientiarum at the University of Copenhagen

      Simonsen, Jakob Grue, 2012, Københavns Universitet. 294 p.

      Research output: Book/ReportDoctoral thesisResearch

    Previous 1 2 3 4 5 6 7 8 ...12 Next

    ID: 12543