Jakob Grue Simonsen

Jakob Grue Simonsen

Head of Department

Member of:

    ORCID: 0000-0002-3488-9392

    Publication year:
    All
    76 - 100 out of 123Page size: 25
    Sort by: Title
    1. 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-768

      Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

    2. Published

      On Computable Approximation of Infinite Objects

      Simonsen, Jakob Grue, 2005, 145 p.

      Research output: Book/Report › Ph.D. thesis › Research

    3. Published

      On Confluence of Infinitary Combinatory Reduction Systems

      Ketema, J. & Simonsen, Jakob Grue, 2005, Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05). 3835 ed. Berlin: Springer, p. 199-214

      Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

    4. Published

      On Local Non-Compactness in Recursive Mathematics

      Simonsen, Jakob Grue, 2006, In: Mathematical Logic Quarterly. 52/4, p. 323-330

      Research output: Contribution to journal › Journal article › Research › peer-review

    5. Published

      On Modularity in Infinitary Rewriting

      Simonsen, Jakob Grue, 2006, In: Information and Computation. 204(6), p. 957-988

      Research output: Contribution to journal › Journal article › Research › peer-review

    6. Published

      On Position Embeddings in BERT

      Wang, B., Shan, L., Lioma, Christina, Jiang, X., Yang, H., Liu, Q. & Simonsen, Jakob Grue, 2021, p. 1-21.

      Research output: Contribution to conference › Paper › Research

    7. Published

      On confluence and residuals in Cauchy convergent transfinite rewriting

      Simonsen, Jakob Grue, 16 Aug 2004, In: Information Processing Letters. 91, 3, p. 141-146 6 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    8. Published

      On modularity in infinitary term rewriting

      Simonsen, Jakob Grue, 1 Jan 2006, In: Information and Computation. 204, 6, p. 957-988 32 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    9. Published

      On the Complexity of Conversion Between Classic Real Number Representations

      Kristiansen, L. & Simonsen, Jakob Grue, 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (eds.). Springer VS, p. 75-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12098 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    10. Published

      On the Computability of the Topological Entropy of Subshifts

      Simonsen, Jakob Grue, 2006, In: Discrete Mathematics and Theoretical Computer Science. 8, p. 83-96

      Research output: Contribution to journal › Journal article › Research › peer-review

    11. 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

    12. 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-199

      Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

    13. 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

    14. Published

      POETS: Process-oriented Enterprise Transaction Systems

      Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, In: Journal of Logic and Algebraic Programming. 78, 5, p. 381-401 21 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    15. Published

      Power law distributions in information retrieval

      Petersen, C., Simonsen, Jakob Grue & Lioma, Christina, 2016, In: A C M Transactions on Information Systems. 34, 2, 37 p., 8.

      Research output: Contribution to journal › Journal article › Research › peer-review

    16. Published

      Principled Multi-Aspect Evaluation Measures of Rankings

      Maistro, Maria, Lima, L. C., Simonsen, Jakob Grue & Lioma, Christina, 2021, CIKM 2021 - Proceedings of the 30th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, Inc, p. 1232-1242

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    17. Published

      Privacy Lost in Online Education: Analysis of Web Tracking Evolution

      Su, Z., Helles, Rasmus, Al-Laith, Ali Mohammed Ali, Veilahti, A. V. P., Saxena, A. & Simonsen, Jakob Grue, 2023, Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21–23, 2023, Proceedings. Yang, X., Suhartanto, H., Wang, G., Wang, B., Jiang, J., Li, B., Zhu, H. & Cui, N. (eds.). Cham: Springer, Cham, Vol. 2. p. 440-455 15 p. (Lecture Notes in Computer Science).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    18. Published

      Programming in biomolecular computation

      Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2010, In: Electronical Notes in Theoretical Computer Science. 268, p. 97-114 18 p.

      Research output: Contribution to journal › Conference article › Research › peer-review

    19. 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

    20. 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 journal › Journal article › Research › peer-review

    21. Published

      Projected hamming dissimilarity for bit-level importance coding in collaborative filtering

      Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2021, The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021. Association for Computing Machinery, Inc, p. 261-269

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    22. Published

      Read/write factorizable programs

      Bhaskar, S. & Simonsen, Jakob Grue, 8 Jun 2023, In: Journal of Functional Programming. 33, 4, p. 1-50 e5.

      Research output: Contribution to journal › Journal article › Research › peer-review

    23. Published

      Requirements for Logical Models for Value-Added Tax Legislation

      Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008. 5 p.

      Research output: Contribution to conference › Paper › Research

    24. 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

    25. Published

      Sketching shape-changing interfaces: exploring vocabulary, metaphors use, and affordances

      Rasmussen, M. K., Troiano, G. M., Petersen, M. G., Simonsen, Jakob Grue & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2740-2751 12 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Previous 1 2 3 4 5 Next

    ID: 12543