Jakob Grue Simonsen
Head of Department
- 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 › Communication
- 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
- Published
Computational biology: a programming perspective
Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, Formal modeling: actors, open systems, biological systems. Agha, G., Danvy, O. & Meseguer, J. (eds.). Springer, p. 403-433 31 p. (Lecture notes in computer science, Vol. 7000).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Computational models with no linear speedup
Ben-Amram, A. M., Christensen, N. H. & Simonsen, Jakob Grue, 2012, In: Chicago Journal of Theoretical Computer Science. 2012, 24 p., 07.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Computing continuous-time Markov chains as transformers of unbounded observables
Danos, V., Heindel, T., Garnier, I. & Simonsen, Jakob Grue, 2017, Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 338-354 17 p. (Lecture notes in computer science, Vol. 10203).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- 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-79Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Content-aware Neural Hashing for Cold-start Recommendation
Hansen, C., Hansan, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2020, SIGIR 2020 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 971-980 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- Published
Contextually propagated term weights for document representation
Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 18 Jul 2019, SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 897-900 (SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- 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 TechnologiesResearch output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Diagnostics-Guided Explanation Generation
Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, In: Proceedings of the International Joint Conference on Artificial Intelligence. 36, 10, p. 10445-10453.Research output: Contribution to journal › Conference article › Research
- Published
Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria
Dargaj, J. & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Economics and Computation. 10, 1, p. 1-39 3.Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- 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
- 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
- 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
- Published
Extracting usability and user experience information from online user reviews
Hedegaard, S. & Simonsen, Jakob Grue, 2013, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '13. Association for Computing Machinery, p. 2089-2098 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Fact Check-Worthiness Detection with Contrastive Ranking
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2020, Experimental IR Meets Multilinguality, Multimodality, and Interaction - 11th International Conference of the CLEF Association, CLEF 2020, Proceedings. Arampatzis, A., Kanoulas, E., Tsikrika, T., Vrochidis, S., Joho, H., Lioma, C., Eickhoff, C., Névéol, A., Névéol, A., Cappellato, L. & Ferro, N. (eds.). Springer, p. 124-130 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12260 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Fact Checking with Insufficient Evidence
Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, In: Transactions of the Association for Computational Linguistics. 10, p. 746-763Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Factuality Checking in News Headlines with Eye Tracking
Hansen, C., Hansen, C., Simonsen, Jakob Grue, Larsen, B., Alstrup, Stephen & Lioma, Christina, 2020, SIGIR 2020 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 2013-2016 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Faithfulness Tests for Natural Language Explanations
Atanasova, Pepa Kostadinova, Camburu, O. M., Lioma, Christina, Lukasiewicz, T., Simonsen, Jakob Grue & Augenstein, Isabelle, 2023, Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers). Association for Computational Linguistics (ACL), p. 283-294 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Generating Fact Checking Explanations
Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2020, : Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, p. 7352-7364Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Higher-order (non-)modularity
Appel, C., van Oostrom, V. & 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. 17-32 16 p. (Leibniz International Proceedings in Informatics, Vol. 6).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 12543
Most downloads
-
4106
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2508
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published -
2080
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Research output: Contribution to conference › Paper › Research
Published