Jakob Grue Simonsen

Jakob Grue Simonsen

Head of Department

Member of:

    ORCID: 0000-0002-3488-9392

    Publication year:
    All
    51 - 60 out of 123Page size: 10
    Sort by: 1st author
    1. Published

      Compositional Specification of Commercial Contracts

      Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, p. 8

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

    2. Published

      Can Workplace Tracking Ever Empower? Collective Sensemaking for the Responsible Use of Sensor Data at Work

      Møller, Naja Holten, Neff, G., Simonsen, Jakob Grue, Villumsen, J. C. & Bjorn, Pernille, Jul 2021, In: Proceedings of the ACM on Human-Computer Interaction. 5, GROUP, 21 p., 219.

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

    3. Published

      Is once enough? on the extent and content of replications in human-computer interaction

      Hornbæk, Kasper, Sander, S. S., Bargas-Avila, J. A. & Simonsen, Jakob Grue, 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3523-3532 10 p.

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

    4. Published

      Some remarks on real numbers induced by first-order spectra

      Jakobsen, S. & Simonsen, Jakob Grue, 2016, In: Notre Dame Journal of Formal Logic. 57, 3, p. 355-368 14 p.

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

    5. Published

      Liouville Numbers and the Computational Complexity of Changing Bases

      Jakobsen, S. K. & 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. 50-62 (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

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

    7. Published

      Cons-free programs and complexity classes between LOGSPACE and PTIME

      Jones, N. D., Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2020, In: Electronic Proceedings in Theoretical Computer Science. 320, p. 65-79

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

    8. Published

      Infinitary combinatory reduction systems: normalising reduction strategies

      Ketema, J. & Simonsen, Jakob Grue, 2010, In: Logical Methods in Computer Science. 6, 1, 35 p., 7.

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

    9. Published

      Infinitary Combinatory Reduction Systems

      Ketema, J. & Simonsen, Jakob Grue, 2005, Proceedings of the 30th International Conference on Rewriting Techniques and Applications. 3467 ed. p. 438-452

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

    10. Published

      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. (eds.). Springer, p. 272-287 (Lecture notes in computer science, Vol. 6009).

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

    Previous 12 3 4 5 6 7 8 9 ...13 Next

    ID: 12543