Jakob Grue Simonsen

2019

Contextual compositionality detection with external knowledge bases and word embeddings

Wang, D., Li, Q., Lima, L. C., Simonsen, J. G. & Lioma, C., 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

1 Citation (Scopus)

29 Downloads (Pure)

More Intensional Versions of Rice’s Theorem

Moyen, J. Y. & Simonsen, J. G., 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

Neural check-worthiness ranking with weak supervision: Finding sentences for fact-checking

Hansen, C., Hansen, C., Alstrup, S., Simonsen, J. G. & Lioma, C., 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, p. 994-1000 7 p.

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

8 Citations (Scopus)

37 Downloads (Pure)

Neural speed reading with structural-jump-LSTM

Hansen, C., Hansen, C., Alstrup, S., Simonsen, J. G. & Lioma, C., 2019.

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

6 Citations (Scopus)

Neural weakly supervised fact check-worthiness detection with contrastive sampling-based ranking loss

Hansen, C., Hansen, C., Simonsen, J. G. & Lioma, C., 2019, In: CEUR Workshop Proceedings. 2380, 8 p.

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

2 Citations (Scopus)

2018

Chains, antichains, and complements in infinite partition lattices

Avery, J. E., Moyen, J-Y., Ruzicka, P. & Simonsen, J. G., 1 Jun 2018, In: Algebra Universalis. 79, 37, 21 p., 37.

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

1 Citation (Scopus)

The Copenhagen Team Participation in the Check-Worthiness Task of the Competition of Automatic Identification and Verification of Claims in Political Debates of the CLEF-2018 CheckThat! Lab

Hansen, C., Hansen, C., Simonsen, J. G. & Lioma, C., 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (eds.). 10 ed. CEUR-WS.org, 8 p. 81. (CEUR Workshop Proceedings, Vol. 2125).

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

4 Citations (Scopus)

79 Downloads (Pure)

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, J. G., Larsen, B. & Lioma, C., 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

2 Citations (Scopus)

65 Downloads (Pure)

2017

Complexity hierarchies and higher-order cons-free term rewriting

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

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

10 Downloads (Pure)

Computability in the lattice of equivalence relations

Moyen, J-Y. & Simonsen, J. G., 18 Apr 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

1 Citation (Scopus)

55 Downloads (Pure)

Computing continuous-time Markov chains as transformers of unbounded observables

Danos, V., Heindel, T., Garnier, I. & Simonsen, J. G., 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

2 Citations (Scopus)

Evaluation measures for relevance and credibility in ranked lists

Lioma, C., Simonsen, J. G. & 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

8 Citations (Scopus)

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

Kop, C. L. M. & Simonsen, J. G., 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

3 Citations (Scopus)

User Experience

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

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

1 Citation (Scopus)

2016

Adaptive distributional extensions to DFR ranking

Petersen, C., Simonsen, J. G., Järvelin, K. & Lioma, C., 24 Oct 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

4 Citations (Scopus)

Brief announcement: labeling schemes for power-law graphs

Petersen, C., Rotbart, N. G., Simonsen, J. G. & Wulff-Nilsen, C., 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

Complexity hierarchies and higher-order cons-free rewriting

Kop, C. L. M. & Simonsen, J. G., 1 Jun 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

2 Citations (Scopus)

13 Downloads (Pure)

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

Lioma, C., Larsen, B., Petersen, C. & Simonsen, J. G., 2016. 6 p.

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

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

Lioma, C., Tarissan, F., Simonsen, J. G., Petersen, C. & Larsen, B., 12 Sept 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

2 Citations (Scopus)

Near optimal adjacency labeling schemes for power-law graphs

Petersen, C., Rotbart, N. G., Simonsen, J. G. & Wulff-Nilsen, C., 1 Aug 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

3 Citations (Scopus)

40 Downloads (Pure)

Power law distributions in information retrieval

Petersen, C., Simonsen, J. G. & Lioma, C., Feb 2016, In: A C M Transactions on Information Systems. 34, 2, 37 p., 8.

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

22 Citations (Scopus)

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

Rasmussen, M. K., Troiano, G. M., Petersen, M. G., Simonsen, J. G. & Hornbæk, K., 7 May 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

22 Citations (Scopus)

Some remarks on real numbers induced by first-order spectra

Jakobsen, S. & Simonsen, J. G., 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

2015

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

Simonsen, J. G., 1 Feb 2015, In: ACM Transactions on Computational Logic. 16, 2, 9 p., 10.

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

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

Sordoni, A., Bengio, Y., Vahabi, H., Lioma, C., Simonsen, J. G. & Nie, J-Y., 17 Oct 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

193 Citations (Scopus)

276 Downloads (Pure)

An exploration of the relation between expectations and user experience

Michalco, J., Simonsen, J. G. & Hornbæk, K., 2 Sept 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

20 Citations (Scopus)

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

Petersen, C., Lioma, C., Simonsen, J. G. & Larsen, B., 27 Sept 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

7 Citations (Scopus)

1 Downloads (Pure)

Near-optimal adjacency labeling scheme for power-law graphs

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

Research output: Contribution to journal › Journal article › Research

Non-compositional term dependence for information retrieval

Lioma, C., Simonsen, J. G., Larsen, B. & Hansen, N. D., 9 Aug 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

12 Citations (Scopus)

2 Downloads (Pure)

The affordances of broken affordances

Grünbaum, M. G. & Simonsen, J. G., 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, p. 185-202 18 p. (Lecture notes in computer science, Vol. 9298).

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

3 Citations (Scopus)

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

Petersen, C., Simonsen, J. G. & Lioma, C., 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

77 Downloads (Pure)

Towards a standard testbed for optical music recognition: definitions, metrics, and page images

Byrd, D. & Simonsen, J. G., 3 Jul 2015, In: Journal of New Music Research. 44, 3, p. 169-195 27 p.

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

30 Citations (Scopus)

2014

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

de Carvalho, D. B. & Simonsen, J. G., 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

4 Citations (Scopus)

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

Hornbæk, K., Sander, S. S., Bargas-Avila, J. A. & Simonsen, J. G., 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

48 Citations (Scopus)

Mining until it hurts: automatic extraction of usability issues from online reviews compared to traditional usability evaluation

Hedegaard, S. & Simonsen, J. G., 26 Oct 2014, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, p. 157-166 10 p.

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

6 Citations (Scopus)

2013

An experimental investigation of the normality of irrational algebraic numbers

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

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

1 Citation (Scopus)

Comparative study of search engine result visualisation: ranked lists versus graphs

Petersen, C., Lioma, C. & Simonsen, J. G., 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

4 Downloads (Pure)

Extracting usability and user experience information from online user reviews

Hedegaard, S. & Simonsen, J. G., 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

70 Citations (Scopus)

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

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

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

5 Citations (Scopus)

2012

Characterizing languages by normalization and termination in string rewriting

Ketema, J. & Simonsen, J. G., 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

Computational models with no linear speedup

Ben-Amram, A. M., Christensen, N. H. & Simonsen, J. G., 2012, In: Chicago Journal of Theoretical Computer Science. 2012, 24 p., 07.

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

48 Downloads (Pure)

Programs=data=first-class citizens in a computational world

Jones, N. & Simonsen, J. G., 28 Jul 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

1 Citation (Scopus)

Rewriting the Finite and the Infinite: Disputats for the Degree of Doctor Scientiarum at the University of Copenhagen

Simonsen, J. G., 2012, Københavns Universitet. 294 p.

Research output: Book/Report › Doctoral thesis

Term rewriting systems as topological dynamical systems

Andersen, S. B. & Simonsen, J. G., 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Tiwari, A. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 53-68 16 p.

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

1 Citation (Scopus)

6 Downloads (Pure)

2011

Anagopos: a reduction graph visualizer for term rewriting and lambda calculus

Grathwohl, N. B. B., Ketema, J., Pallesen, J. D. & Simonsen, J. G., 2011, 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Schmidt-Schauß, M. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 61-70 10 p. (Leibniz International Proceedings in Informatics, Vol. 10).

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

1 Citation (Scopus)

25 Downloads (Pure)

Beta-shifts, their languages and computability

Simonsen, J. G., Feb 2011, In: Theory of Computing Systems. 48, 2, p. 297-318

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

Computational biology: a programming perspective

Hartmann, L. R., Jones, N., Simonsen, J. G. & 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

2 Citations (Scopus)

Infinitary Combinatory Reduction Systems

Ketema, J. & Simonsen, J. G., Jun 2011, In: Information and Computation. 209, 6, p. 893-926 34 p.

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

14 Citations (Scopus)

Levels of undecidability in rewriting

Endrullis, J., Geuvers, H., Simonsen, J. G. & Zantema, H., Feb 2011, In: Information and Computation. 209, 2, p. 227-245 19 p.

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

13 Citations (Scopus)

Lost in translation: Authorship attribution using frame semantics

Hedegaard, S. & Simonsen, J. G., 1 Dec 2011, ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. p. 65-70 6 p. (ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Vol. 2).

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

19 Citations (Scopus)

Jakob Grue Simonsen

Research output

Search results