Jakob Grue Simonsen

Jakob Grue Simonsen

Head of Department

Member of:

    ORCID: 0000-0002-3488-9392

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

      Evaluation measures for relevance and credibility in ranked lists

      Lioma, Christina, Simonsen, Jakob Grue & Larsen, B., 2017, Proceedings of the 2017 ACM SIGIR International Conference on Theory of Information Retrieval. Association for Computing Machinery, p. 91-98 8 p.

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

    2. Published

      Non-compositional term dependence for information retrieval

      Lioma, Christina, Simonsen, Jakob Grue, Larsen, B. & Hansen, N. D., 2015, SIGIR '15: Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 595-604 10 p.

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

    3. Published

      Deep learning relevance: creating relevant information (as opposed to retrieving it)

      Lioma, Christina, Larsen, B., Petersen, C. & Simonsen, Jakob Grue, 2016. 6 p.

      Research output: Contribution to conference › Paper › Research › peer-review

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

    5. Published

      The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming

      Kop, C. L. M. & Simonsen, Jakob Grue, 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Yang, H. (ed.). Springer, p. 668-695 28 p. (Lecture notes in computer science, Vol. 10201).

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

    6. Published

      Complexity hierarchies and higher-order cons-free term rewriting

      Kop, C. L. M. & Simonsen, Jakob Grue, 7 Aug 2017, In: Logical Methods in Computer Science. 13, 3, 29 p., 8.

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

    7. Published

      Complexity hierarchies and higher-order cons-free rewriting

      Kop, C. L. M. & Simonsen, Jakob Grue, 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 p. 23. (Leibniz International Proceedings in Informatics, Vol. 52).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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, 2011, In: Information and Computation. 209, 6, p. 893-926 34 p.

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

    10. Published

      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. (eds.). Springer, p. 459-464 6 p. (Lecture notes in computer science, Vol. 7410).

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

    11. Published

      Infinitary Combinatory Reduction Systems: Confluence

      Ketema, J. & Simonsen, Jakob Grue, 2009, In: Logical Methods in Computer Science. 5, 4:3, p. 1-29 29 p.

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

    12. Published

      Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus

      Ketema, J. & Simonsen, Jakob Grue, 2013, In: A C M Transactions on Computational Logic. 14, 4, 28 p., 31.

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

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

    14. Published

      Computing with Infinite Terms and Infinite Reductions

      Ketema, J. & Simonsen, Jakob Grue, 2019, In: Fundamenta Informaticae. 170, 4, p. 339-365 27 p.

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

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

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

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

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

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

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

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

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

    23. Published

      Compositional Contract Specification for REA

      Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

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

    24. Published

      Compositional Specification of Commercial Contracts (Technical. report)

      Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 p.

      Research output: Book/Report › Report

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

    Previous 1 2 3 4 5 Next

    ID: 12543