Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:


    1. Udgivet

      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. (red.). University of Miami, s. 405-410 6 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    2. 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 tidsskriftTidsskriftartikelfagfællebedømt

    3. Udgivet

      Anagopos: a reduction graph visualizer for term rewriting and lambda calculus

      Grathwohl, N. B. B., Ketema, J., Pallesen, J. D. & Simonsen, Jakob Grue, 2011, 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Schmidt-Schauß, M. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 61-70 10 s. (Leibniz International Proceedings in Informatics, Bind 10).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    4. Udgivet

      Computational biology: a programming perspective

      Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, Formal modeling: actors, open systems, biological systems. Agha, G., Danvy, O. & Meseguer, J. (red.). Springer, s. 403-433 31 s. (Lecture notes in computer science, Bind 7000).

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

    5. Udgivet

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

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    6. Udgivet

      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, Bind 2. s. 65-70 6 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    7. Udgivet

      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. s. 65-70 6 s. (ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Bind 2).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    8. 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 tidsskriftTidsskriftartikelfagfællebedømt

    9. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    10. Udgivet

      Beta-shifts, their languages and computability

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    ID: 12543