Jakob Grue Simonsen
Head of Department
- 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
User Experience
Simonsen, Jakob Grue, 21 Jun 2017, The Wiley Handbook of Human Computer Interaction Set. Wiley-Blackwell, Vol. 1. p. 191-206Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
On Modularity in Infinitary Rewriting
Simonsen, Jakob Grue, 2006, In: Information and Computation. 204(6), p. 957-988Research output: Contribution to journal › Journal article › Research › peer-review
- 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/Report › Doctoral thesis › Research
- Published
On Beta-Shifts Having Arithmetical Languages
Simonsen, Jakob Grue, 2005, : Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science. 3618 ed. Springer, p. 757-768Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- Published
Specker Sequences Revisited
Simonsen, Jakob Grue, 2005, In: Mathematical Logic Quarterly. 51(5), p. 532-540Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The Pi-0-2-Completeness of most of the Properties of Rewriting You Care About (and Productivity)
Simonsen, Jakob Grue, 2009, Rewriting Techniques and Applications: 20th International Conference, RTA 2009. Springer, Vol. 5595. p. 335-349 15 p. (Lecture notes in computer science, Vol. 5595).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On the Computational Complexity of the Languages of General Symbolic Dynamical Systems and Beta-Shifts
Simonsen, Jakob Grue, 2009, In: Theoretical Computer Science. 410, 47-49, p. 4878-4891 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
On the modularity of confluence in infinitary term rewriting
Simonsen, Jakob Grue, 1 Dec 2004, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3091, p. 185-199 15 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
On the Modularity og Confluence in Infinitary Term Rewiting
Simonsen, Jakob Grue, 2004, Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004). Berlin: Springer, p. 185-199Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
ID: 12543
Most downloads
-
4106
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2507
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published -
2079
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Research output: Contribution to conference › Paper › Research
Published