Jakob Grue Simonsen
Head of Department
- 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 proceeding › Article in proceedings › Research › peer-review
- 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
- 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 journal › Journal article › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- Published
Infinitary Combinatory Reduction Systems
Ketema, J. & Simonsen, Jakob Grue, 2011, In: Information and Computation. 209, 6, p. 893-926 34 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
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. (eds.). Springer, p. 403-433 31 p. (Lecture notes in computer science, Vol. 7000).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Beta-shifts, their languages and computability
Simonsen, Jakob Grue, 2011, In: Theory of Computing Systems. 48, 2, p. 297-318Research output: Contribution to journal › Journal article › Research › peer-review
- Published
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. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 61-70 10 p. (Leibniz International Proceedings in Informatics, Vol. 10).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 12543
Most downloads
-
4111
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2510
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published -
2086
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Research output: Contribution to conference › Paper › Research
Published