Jakob Grue Simonsen

Jakob Grue Simonsen

Head of Department

Member of:

    ORCID: 0000-0002-3488-9392

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

      An implicit characterization of the polynomial-time decidable sets by cons-free rewriting

      de Carvalho, D. B. & Simonsen, Jakob Grue, 2014, Rewriting and typed lambda calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer Science+Business Media, p. 179-193 15 p. (Lecture notes in computer science, Vol. 8560).

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

    2. Published

      Complex-valued Neural Network-based Quantum Language Models

      Zhang, P., Hui, W., Wang, B., Zhao, D., Song, D., Lioma, Christina & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Information Systems. 40, 4, 31 p., 84.

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

    3. Published

      The Copenhagen team participation in the factuality task of the competition of automatic identification and verification of claims in political debates of the CLEF-2018 Fact Checking Lab

      Wang, D., Simonsen, Jakob Grue, Larsen, B. & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (eds.). 10 ed. CEUR-WS.org, 10 p. 98. (CEUR Workshop Proceedings, Vol. 2125).

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

    4. Published

      Multi-head Self-attention with Role-Guided Masks

      Wang, D., Hansen, C., Lima, L. C., Hansen, C., Maistro, Maria, Simonsen, Jakob Grue & Lioma, Christina, 2021, Advances in Information Retrieval - 43rd European Conference on IR Research, ECIR 2021, Proceedings, Part II. Hiemstra, D., Moens, M-F., Mothe, J., Perego, R., Potthast, M. & Sebastiani, F. (eds.). Springer, p. 432-439 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12657 LNCS).

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

    5. Published

      Contextual compositionality detection with external knowledge bases and word embeddings

      Wang, D., Li, Q., Lima, L. C., Simonsen, Jakob Grue & Lioma, Christina, 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, p. 317-323 7 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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

      ENCODING WORD ORDER IN COMPLEX EMBEDDINGS

      Wang, B., Zhao, D., Lioma, Christina, Li, Q., Peng, Z. & Simonsen, Jakob Grue, 2020, p. 1-15.

      Research output: Contribution to conference › Paper › Research

    8. Published

      Classifying VAT Legislation for Automation

      Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.

      Research output: Contribution to conference › Paper › Research

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

    10. Published

      A hierarchical recurrent encoder-decoder for generative context-aware query suggestion

      Sordoni, A., Bengio, Y., Vahabi, H., Lioma, Christina, Simonsen, Jakob Grue & Nie, J., 2015, CIKM '15 Proceedings of the 24th ACM International on Conference on Information and Knowledge Management. Association for Computing Machinery, p. 553-562 10 p.

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

    11. Published

      Beta-shifts, their languages and computability

      Simonsen, Jakob Grue, 2011, In: Theory of Computing Systems. 48, 2, p. 297-318

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

    12. Published

      On Computable Approximation of Infinite Objects

      Simonsen, Jakob Grue, 2005, 145 p.

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

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

    14. Published

      The expressive power of one variable used once: The chomsky hierarchy and first-order monadic constructor rewriting

      Simonsen, Jakob Grue, 2021, 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021. Kobayashi, N. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 195).

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

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

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

    17. Published

      A confluent rewriting system having no computable, one-step, normalizing strategy

      Simonsen, Jakob Grue, 2015, In: ACM Transactions on Computational Logic. 16, 2, 9 p., 10.

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

    18. Published

      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. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 311-324 14 p. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 6).

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

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

    20. Published

      User Experience

      Simonsen, Jakob Grue, 21 Jun 2017, The Wiley Handbook of Human Computer Interaction Set. Wiley-Blackwell, Vol. 1. p. 191-206

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

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

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

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

    24. Published

      Specker Sequences Revisited

      Simonsen, Jakob Grue, 2005, In: Mathematical Logic Quarterly. 51(5), p. 532-540

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

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

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

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

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

    29. Published

      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. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 481-495 15 p. (Leibniz International Proceedings in Informatics, Vol. 12).

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

    30. Published

      Within-Network Classification in Temporal Graphs

      Ryther, C. & Simonsen, Jakob Grue, 2018, Proceedings, 2018 IEEE International Conference on Data Mining Workshops (ICDMW). IEEE, p. 229-236

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

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

    32. Published

      Entropy and graph based modelling of document coherence using discourse entities: an application to information retrieval

      Petersen, C., Lioma, Christina, Simonsen, Jakob Grue & Larsen, B., 2015, Proceedings of the 2015 International Conference on The Theory of Information Retrieval. Association for Computing Machinery, p. 191-200 10 p.

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

    33. Published

      Adaptive distributional extensions to DFR ranking

      Petersen, C., Simonsen, Jakob Grue, Järvelin, K. & Lioma, Christina, 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2005-2008 4 p.

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

    34. Published

      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. (eds.). p. 27-30 4 p. (CEUR Workshop Proceedings, Vol. 1033).

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

    35. Published

      Near-optimal adjacency labeling scheme for power-law graphs

      Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2015, In: arXiv.org: Computer science. arXiv:1502.03971, 18 p.

      Research output: Contribution to journal › Journal article › Research

    36. Published

      Near optimal adjacency labeling schemes for power-law graphs

      Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 p. 133. (Leibniz International Proceedings in Informatics, Vol. 55).

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

    37. Published

      Brief announcement: labeling schemes for power-law graphs

      Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 39-41 3 p.

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

    38. Published

      The impact of using combinatorial optimisation for static caching of posting lists

      Petersen, C., Simonsen, Jakob Grue & Lioma, Christina, 2015, Information retrieval technology: 11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015. Proceedings. Zuccon, G., Geva, S., Joho, H., Scholer, F., Sun, A. & Zhang, P. (eds.). Springer, p. 420-425 6 p. (Lecture notes in computer science, Vol. 9460).

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

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

    40. Published

      Tutorial on Modeling VAT Rules Using OWL-DL

      Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2007.

      Research output: Contribution to conference › Paper › Research

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

    42. Published

      An experimental investigation of the normality of irrational algebraic numbers

      Nielsen, J. S. B. & Simonsen, Jakob Grue, 2013, In: Mathematics of Computation. 82, p. 1837-1858 22 p.

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

    43. Published

      Computability in the lattice of equivalence relations

      Moyen, J. & Simonsen, Jakob Grue, 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (eds.). Open Publishing Association, p. 38-46 9 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 248).

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

    44. Published

      Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations

      Moyen, J. Y. & Simonsen, Jakob Grue, 2021, Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Proceedings. De Mol, L., Weiermann, A., Manea, F. & Fernández-Duque, D. (eds.). Springer, p. 363-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12813 LNCS).

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

    45. Published

      More Intensional Versions of Rice’s Theorem

      Moyen, J. Y. & Simonsen, Jakob Grue, 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Martin, B., Paulusma, D., Primiero, G. & Manea, F. (eds.). Springer, p. 217-229 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11558 LNCS).

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

    46. Published

      Designing with Awareness: Building an Agenda for Worker and Patient Well-being

      Milbak, Tina Westergaard, Simonsen, Jakob Grue, Hansen, M. B. & Møller, Naja Holten, 2023, Proceedings of 21st European Conference on Computer-Supported Cooperative Work. European Society for Socially Embedded Technologies

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

    47. Published

      An exploration of the relation between expectations and user experience

      Michalco, J., Simonsen, Jakob Grue & Hornbæk, Kasper, 2015, In: International Journal of Human-Computer Interaction. 31, 9, p. 603-617 15 p.

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

    48. Published

      The fixed point property and a technique to harness double fixed point combinators

      Manzonetto, G., Polonsky, A., Saurin, A. & Simonsen, Jakob Grue, 2019, In: Journal of Logic and Computation. 29, 5, p. 831-880

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

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

    50. Published

      Exploiting the bipartite structure of entity grids for document coherence and retrieval

      Lioma, Christina, Tarissan, F., Simonsen, Jakob Grue, Petersen, C. & Larsen, B., 2016, Proceedings of the 2016 ACM International Conference on the Theory of Information Retrieval. Association for Computing Machinery, p. 11-20 10 p.

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

    Previous 1 2 3 Next

    ID: 12543