Jakob Grue Simonsen
Jakob Grue Simonsen
Department of Computer Science, University of Copenhagen (DIKU)
Verified email at diku.dk
TitleCited byYear
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
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
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
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
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
Infinitary Combinatory Reduction Systems
J Ketema, JG Simonsen
Information and Computation, 2011
Lost in translation: authorship attribution using frame semantics
S Hedegaard, JG Simonsen
Power law distributions in information retrieval
C Petersen, JG Simonsen, C Lioma
ACM Transactions on Information Systems (TOIS) 34 (2), 8, 2016
On the computability of the topological entropy of subshifts
JG Simonsen
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
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
Using sequence alignment and voting to improve optical music recognition from multiple recognizers
EPBKL Juncher, BSMJG Simonsen
Infinitary Combinatory Reduction Systems: Confluence
JG Simonsen, J Ketema
Logical Methods in Computer Science 5, 2009
Levels of undecidability in rewriting
J Endrullis, H Geuvers, JG Simonsen, H Zantema
Information and Computation 209 (2), 227-245, 2011
On confluence and residuals in Cauchy convergent transfinite rewriting
JG Simonsen
Information Processing Letters 91 (3), 141-146, 2004
Higher-order (non-) modularity
C Appel, V Oostrom, J Grue Simonsen
Logic Group Preprint Series 284, 1-26, 2010
Infinitary combinatory reduction systems: Normalising reduction strategies
J Ketema, JG Simonsen
arXiv preprint arXiv:0912.4947, 2009
The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity)
JG Simonsen
International Conference on Rewriting Techniques and Applications, 335-349, 2009
Non-compositional term dependence for information retrieval
C Lioma, JG Simonsen, B Larsen, ND Hansen
Proceedings of the 38th International ACM SIGIR Conference on Research and …, 2015
POETS: Process-oriented event-driven transaction systems
F Henglein, KF Larsen, JG Simonsen, C Stefansen
Journal of Logic and Algebraic Programming 78 (5), 381-401, 2009
The system can't perform the operation now. Try again later.
Articles 1–20