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
2382015
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
852013
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
452014
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
442006
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
402015
Infinitary Combinatory Reduction Systems
J Ketema, JG Simonsen
Information and Computation, 2011
38*2011
Lost in translation: authorship attribution using frame semantics
S Hedegaard, JG Simonsen
302011
Power law distributions in information retrieval
C Petersen, JG Simonsen, C Lioma
ACM Transactions on Information Systems (TOIS) 34 (2), 8, 2016
262016
On the computability of the topological entropy of subshifts
JG Simonsen
242006
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
232015
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
212016
Using sequence alignment and voting to improve optical music recognition from multiple recognizers
EPBKL Juncher, BSMJG Simonsen
202011
Infinitary Combinatory Reduction Systems: Confluence
JG Simonsen, J Ketema
Logical Methods in Computer Science 5, 2009
20*2009
Levels of undecidability in rewriting
J Endrullis, H Geuvers, JG Simonsen, H Zantema
Information and Computation 209 (2), 227-245, 2011
192011
On confluence and residuals in Cauchy convergent transfinite rewriting
JG Simonsen
Information Processing Letters 91 (3), 141-146, 2004
162004
Higher-order (non-) modularity
C Appel, V Oostrom, J Grue Simonsen
Logic Group Preprint Series 284, 1-26, 2010
152010
Infinitary combinatory reduction systems: Normalising reduction strategies
J Ketema, JG Simonsen
arXiv preprint arXiv:0912.4947, 2009
152009
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
152009
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
142015
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
112009
The system can't perform the operation now. Try again later.
Articles 1–20