Jakob Grue Simonsen
Institutleder
- 2013
- Udgivet
An experimental investigation of the normality of irrational algebraic numbers
Nielsen, J. S. B. & Simonsen, Jakob Grue, 2013, I: Mathematics of Computation. 82, s. 1837-1858 22 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Comparative study of search engine result visualisation: ranked lists versus graphs
Petersen, C., Lioma, Christina & Simonsen, Jakob Grue, 2013, Proceedings of the 3rd European Workshop on Human-Computer Interaction and Information Retrieval co-located with the 36th international ACM SIGIR conference on Research and development in information retrieval (SIGIR 2013). Wilson, M. L., T. R-R., Larsen, B., Hansen, P. & Norling, K. (red.). s. 27-30 4 s. (CEUR Workshop Proceedings, Bind 1033).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2012
- Udgivet
Term rewriting systems as topological dynamical systems
Andersen, S. B. & Simonsen, Jakob Grue, 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Tiwari, A. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 53-68 16 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Computational models with no linear speedup
Ben-Amram, A. M., Christensen, N. H. & Simonsen, Jakob Grue, 2012, I: Chicago Journal of Theoretical Computer Science. 2012, 24 s., 07.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Programs=data=first-class citizens in a computational world
Jones, N. & Simonsen, Jakob Grue, 2012, I: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 370, 1971, s. 3305-3318 14 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 459-464 6 s. (Lecture notes in computer science, Bind 7410).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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 s.Publikation: Bog/antologi/afhandling/rapport › Doktordisputats › Forskning
- 2011
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
- 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- Udgivet
Beta-shifts, their languages and computability
Simonsen, Jakob Grue, 2011, I: Theory of Computing Systems. 48, 2, s. 297-318Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2010
- 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
- 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
- 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
- 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
- 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
- 2009
- 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
- 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
- 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
ID: 12543
Flest downloads
-
4103
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2506
downloads
Classifying VAT Legislation for Automation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2076
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Publikation: Konferencebidrag › Paper › Forskning
Udgivet