Jakob Grue Simonsen
Institutleder
- 2023
- Udgivet
Comparing Trace Similarity Metrics Across Logs and Evaluation Measures
Back, C.O. & Simonsen, Jakob Grue, 2023, Advanced Information Systems Engineering: 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings. Indulska, M., Reinhartz-Berger, I., Cetina, C. & Pastor, O. (red.). Springer, s. 226-242 17 s. (Lecture Notes in Computer Science, Bind 13901)).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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 TechnologiesPublikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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), s. 283-294 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Cham: Springer, Cham, Bind 2. s. 440-455 15 s. (Lecture Notes in Computer Science).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2022
- Udgivet
Diagnostics-Guided Explanation Generation
Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, I: Proceedings of the International Joint Conference on Artificial Intelligence. 36, 10, s. 10445-10453.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning
- 2021
- Udgivet
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. (red.). Springer, s. 432-439 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12657 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
On Position Embeddings in BERT
Wang, B., Shan, L., Lioma, Christina, Jiang, X., Yang, H., Liu, Q. & Simonsen, Jakob Grue, 2021, s. 1-21.Publikation: Konferencebidrag › Paper › Forskning
- Udgivet
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, s. 1232-1242Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Projected hamming dissimilarity for bit-level importance coding in collaborative filtering
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2021, The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021. Association for Computing Machinery, Inc, s. 261-269Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 363-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12813 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 195).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Unsupervised multi-index semantic hashing
Hansen, C., Hansen, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2021, The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021. Association for Computing Machinery, Inc, s. 2879-2889 (The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2020
- Udgivet
A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff
Dargaj, J. & Simonsen, Jakob Grue, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, s. 69-70 2 s. 3399520Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
A Diagnostic Study of Explainability Techniques for Text Classification
Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2020, Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP). Association for Computational Linguistics, s. 3256-3274Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Cons-free programs and complexity classes between LOGSPACE and PTIME
Jones, N. D., Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2020, I: Electronic Proceedings in Theoretical Computer Science. 320, s. 65-79Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- Udgivet
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, s. 971-980 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
ENCODING WORD ORDER IN COMPLEX EMBEDDINGS
Wang, B., Zhao, D., Lioma, Christina, Li, Q., Peng, Z. & Simonsen, Jakob Grue, 2020, s. 1-15.Publikation: Konferencebidrag › Paper › Forskning
- Udgivet
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. (red.). Springer, s. 124-130 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12260 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 2013-2016 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 7352-7364Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer VS, s. 50-62 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12098 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer VS, s. 75-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12098 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Unsupervised Semantic Hashing with Pairwise Reconstruction
Hansen, C., Hansen, 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, s. 2009-2012 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2019
- Udgivet
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, s. 897-900 (SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 317-323 7 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Modelling Sequential Music Track Skips using a Multi-RNN Approach
Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019, WSDM '19: Proceedings of the Twelfth ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 217-229 13 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11558 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
MultiFC: A Real-World Multi-Domain Dataset for Evidence-Based Fact Checking of Claims
Augenstein, Isabelle, Lioma, Christina, Wang, D., Chaves Lima, L., Hansen, C., Hansen, C. & Simonsen, Jakob Grue, 2019, Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP). Association for Computational Linguistics, s. 4684-4697Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Neural check-worthiness ranking with weak supervision: Finding sentences for fact-checking
Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, s. 994-1000 7 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Neural speed reading with structural-jump-LSTM
Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019.Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
- Udgivet
Neural weakly supervised fact check-worthiness detection with contrastive sampling-based ranking loss
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2019, I: CEUR Workshop Proceedings. 2380, 8 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- Udgivet
Unsupervised neural generative semantic hashing
Hansen, C., Hansen, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2019, SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 735-744 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2018
- Udgivet
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, Jakob Grue & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (red.). 10 udg. CEUR-WS.org, 8 s. 81. (CEUR Workshop Proceedings, Bind 2125).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). 10 udg. CEUR-WS.org, 10 s. 98. (CEUR Workshop Proceedings, Bind 2125).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Within-Network Classification in Temporal Graphs
Ryther, C. & Simonsen, Jakob Grue, 2018, Proceedings, 2018 IEEE International Conference on Data Mining Workshops (ICDMW). IEEE, s. 229-236Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2017
- Udgivet
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. (red.). Open Publishing Association, s. 38-46 9 s. (Electronic Proceedings in Theoretical Computer Science, Bind 248).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 338-354 17 s. (Lecture notes in computer science, Bind 10203).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 91-98 8 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 668-695 28 s. (Lecture notes in computer science, Bind 10201).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2016
- Udgivet
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, s. 2005-2008 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 39-41 3 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 s. 23. (Leibniz International Proceedings in Informatics, Bind 52).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Deep learning relevance: creating relevant information (as opposed to retrieving it)
Lioma, Christina, Larsen, B., Petersen, C. & Simonsen, Jakob Grue, 2016. 6 s.Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
- Udgivet
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, s. 11-20 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 s. 133. (Leibniz International Proceedings in Informatics, Bind 55).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 2740-2751 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2015
- Udgivet
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, s. 553-562 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 191-200 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 595-604 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
The affordances of broken affordances
Grünbaum, M. G. & Simonsen, Jakob Grue, 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. (red.). Springer, s. 185-202 18 s. (Lecture notes in computer science, Bind 9298).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 420-425 6 s. (Lecture notes in computer science, Bind 9460).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2014
- Udgivet
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. (red.). Springer Science+Business Media, s. 179-193 15 s. (Lecture notes in computer science, Bind 8560).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 3523-3532 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Mining until it hurts: automatic extraction of usability issues from online reviews compared to traditional usability evaluation
Hedegaard, S. & Simonsen, Jakob Grue, 2014, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, s. 157-166 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2013
- Udgivet
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. (red.). s. 27-30 4 s. (CEUR Workshop Proceedings, Bind 1033).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 2089-2098 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2012
- Udgivet
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. (red.). Springer, s. 459-464 6 s. (Lecture notes in computer science, Bind 7410).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Term rewriting systems as topological dynamical systems
Andersen, S. B. & Simonsen, Jakob Grue, 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Tiwari, A. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 53-68 16 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2011
- Udgivet
Lost in translation: Authorship attribution using frame semantics
Hedegaard, S. & Simonsen, Jakob Grue, 1 dec. 2011, ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. s. 65-70 6 s. (ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Bind 2).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Anagopos: a reduction graph visualizer for term rewriting and lambda calculus
Grathwohl, N. B. B., Ketema, J., Pallesen, J. D. & Simonsen, Jakob Grue, 2011, 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Schmidt-Schauß, M. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 61-70 10 s. (Leibniz International Proceedings in Informatics, Bind 10).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Lost in translation: authorship attribution using frame semantics
Hedegaard, S. & Simonsen, Jakob Grue, 2011, Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies: short papers. Association for Computational Linguistics, Bind 2. s. 65-70 6 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 481-495 15 s. (Leibniz International Proceedings in Informatics, Bind 12).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Using sequence alignment and voting to improve optical music recognition from multiple recognizers
Bugge, E. P., Juncher, K. L., Mathiesen, B. S. & Simonsen, Jakob Grue, 2011, Proceedings of the 12th International Society for Music Information Retrieval Conference. Klapuri, A. & Leider, C. (red.). University of Miami, s. 405-410 6 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2010
- Udgivet
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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 17-32 16 s. (Leibniz International Proceedings in Informatics, Bind 6).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 272-287 (Lecture notes in computer science, Bind 6009).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Programming in biomolecular computation
Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2010, I: Electronical Notes in Theoretical Computer Science. 268, s. 97-114 18 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- Udgivet
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. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 311-324 14 s. (Leibniz International Proceedings in Informatics (LIPIcs), Bind 6).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2009
- Udgivet
LAIR: A Language for Automated Semantics-Aware Text Sanitization based on Frame Semantics
Hedegaard, S., Houen, S. & Simonsen, Jakob Grue, 2009, Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009). IEEE Computer Society Press, s. 47-52 6 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, Bind 5595. s. 335-349 15 s. (Lecture notes in computer science, Bind 5595).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2008
- Udgivet
Classifying VAT Legislation for Automation
Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.Publikation: Konferencebidrag › Paper › Forskning
- Udgivet
Interpretive Overhead and Optimal Specialisation. Or: Life without the Pending List (Workshop Version)
Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2008. 11 s.Publikation: Konferencebidrag › Paper › Forskning
- Udgivet
Requirements for Logical Models for Value-Added Tax Legislation
Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008. 5 s.Publikation: Konferencebidrag › Paper › Forskning
- 2007
- Udgivet
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. (red.). Universitetet i Oslo, s. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
- Udgivet
Tutorial on Modeling VAT Rules Using OWL-DL
Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2007.Publikation: Konferencebidrag › Paper › Forskning
- 2004
- Udgivet
Compositional Specification of Commercial Contracts
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, s. 8Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 12543
Flest downloads
-
4105
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2506
downloads
Classifying VAT Legislation for Automation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2077
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Publikation: Konferencebidrag › Paper › Forskning
Udgivet