Jakob Grue Simonsen
Jakob Grue Simonsen
Department of Computer Science, University of Copenhagen (DIKU)
Verified email at diku.dk - Homepage
Title
Cited by
Cited by
Year
A hierarchical recurrent encoder-decoder for generative context-aware query suggestion
A Sordoni, Y Bengio, H Vahabi, C Lioma, J Grue Simonsen, JY Nie
Proceedings of the 24th ACM International on Conference on Information and …, 2015
4002015
Extracting usability and user experience information from online user reviews
S Hedegaard, JG Simonsen
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems …, 2013
1072013
Is once enough? On the extent and content of replications in human-computer interaction
K Hornbæk, SS Sander, JA Bargas-Avila, J Grue Simonsen
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems …, 2014
642014
Towards a standard testbed for optical music recognition: Definitions, metrics, and page images
D Byrd, JG Simonsen
Journal of New Music Research 44 (3), 169-195, 2015
602015
Compositional specification of commercial contracts
J Andersen, E Elsborg, F Henglein, JG Simonsen, C Stefansen
International Journal on Software Tools for Technology Transfer 8 (6), 485-516, 2006
502006
Infinitary Combinatory Reduction Systems
J Ketema, JG Simonsen
Information and Computation, 2011
40*2011
MultiFC: A real-world multi-domain dataset for evidence-based fact checking of claims
I Augenstein, C Lioma, D Wang, LC Lima, C Hansen, C Hansen, ...
arXiv preprint arXiv:1909.03242, 2019
372019
Power law distributions in information retrieval
C Petersen, JG Simonsen, C Lioma
ACM Transactions on Information Systems (TOIS) 34 (2), 1-37, 2016
372016
Lost in translation: authorship attribution using frame semantics
S Hedegaard, JG Simonsen
362011
An exploration of the relation between expectations and user experience
J Michalco, JG Simonsen, K Hornbæk
International Journal of Human-Computer Interaction 31 (9), 603-617, 2015
342015
Infinitary Combinatory Reduction Systems: Confluence
JG Simonsen, J Ketema
Logical Methods in Computer Science 5, 2009
30*2009
Sketching Shape-changing Interfaces: Exploring Vocabulary, Metaphors Use, and Affordances.
MK Rasmussen, GM Troiano, MG Petersen, JG Simonsen, K Hornbæk
CHI, 2740-2751, 2016
272016
On the computability of the topological entropy of subshifts
JG Simonsen
Discrete mathematics and Theoretical computer science 8, 83--95, 2006
272006
Generating fact checking explanations
P Atanasova, JG Simonsen, C Lioma, I Augenstein
arXiv preprint arXiv:2004.05773, 2020
262020
Neural check-worthiness ranking with weak supervision: Finding sentences for fact-checking
C Hansen, C Hansen, S Alstrup, J Grue Simonsen, C Lioma
Companion Proceedings of the 2019 World Wide Web Conference, 994-1000, 2019
242019
Using sequence alignment and voting to improve optical music recognition from multiple recognizers
EPBKL Juncher, BSMJG Simonsen
222011
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 …
C Hansen, C Hansen, JG Simonsen, C Lioma
CLEF (Working Notes), 2018
212018
Levels of undecidability in rewriting
J Endrullis, H Geuvers, JG Simonsen, H Zantema
Information and Computation 209 (2), 227-245, 2011
212011
Higher-order (non-) modularity
C Appel, V Oostrom, J Grue Simonsen
Logic Group Preprint Series 284, 1-26, 2010
212010
Neural Weakly Supervised Fact Check-Worthiness Detection with Contrastive Sampling-Based Ranking Loss.
C Hansen, C Hansen, JG Simonsen, C Lioma
CLEF (Working Notes), 2019
202019
The system can't perform the operation now. Try again later.
Articles 1–20