On the Modularity of Confluence in Infinitary Term Rewriting. - Jakob Grue Simonsen (RTA, 2004)

On confluence and residuals in Cauchy convergent transfinite rewriting. - Jakob Grue Simonsen (Inf. Process. Lett., 2004)

On Confluence of Infinitary Combinatory Reduction Systems. - Jeroen Ketema; Jakob Grue Simonsen (LPAR, 2005)

On Beta-Shifts Having Arithmetical Languages. - Jakob Grue Simonsen (MFCS, 2005)

Specker sequences revisited. - Jakob Grue Simonsen (Math. Log. Q., 2005)

On the Computability of the Topological Entropy of Subshifts. - Jakob Grue Simonsen (Discret. Math. Theor. Comput. Sci., 2006)

On modularity in infinitary term rewriting. - Jakob Grue Simonsen (Inf. Comput., 2006)

On local non-compactness in recursive mathematics. - Jakob Grue Simonsen (Math. Log. Q., 2006)

Compositional specification of commercial contracts. - Jesper Andersen; Ebbe Elsborg; Fritz Henglein; Jakob Grue Simonsen; Christian Stefansen (Int. J. Softw. Tools Technol. Transf., 2006)

The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity). - Jakob Grue Simonsen (RTA, 2009)

LAIR: A Language for Automated Semantics-Aware Text Sanitization Based on Frame Semantics. - Steffen Hedegaard; Søren Houen; Jakob Grue Simonsen (ICSC, 2009)

Infinitary Combinatory Reduction Systems: Confluence - Jeroen Ketema; Jakob Grue Simonsen (Log. Methods Comput. Sci., 2009)

POETS: Process-oriented event-driven transaction systems. - Fritz Henglein; Ken Friis Larsen; Jakob Grue Simonsen; Christian Stefansen (J. Log. Algebraic Methods Program., 2009)

On the computational complexity of the languages of general symbolic dynamical systems and beta-shifts. - Jakob Grue Simonsen (Theor. Comput. Sci., 2009)

Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and lambda-Calculus. - Jeroen Ketema; Jakob Grue Simonsen (FLOPS, 2010)

Higher-Order (Non-)Modularity . - Claus Appel; Vincent van Oostrom; Jakob Grue Simonsen (RTA, 2010)

Weak Convergence and Uniform Normalization in Infinitary Rewriting. - Jakob Grue Simonsen (RTA, 2010)

Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies - Jeroen Ketema; Jakob Grue Simonsen (Log. Methods Comput. Sci., 2010)

Programming in Biomolecular Computation. - Lars Hartmann; Neil D. Jones; Jakob Grue Simonsen (CS2Bio, 2010)

Lost in Translation: Authorship Attribution using Frame Semantics. - Steffen Hedegaard; Jakob Grue Simonsen (ACL (2), 2011)

Computational Biology: A Programming Perspective. - Lars Hartmann; Neil D. Jones; Jakob Grue Simonsen; Søren Bjerregaard Vrist (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

The Exact Hardness of Deciding Derivational and Runtime Complexity. - Andreas Schnabl; Jakob Grue Simonsen (CSL, 2011)

Using Sequence Alignment and Voting to Improve Optical Music Recognition from Multiple Recognizers. - Esben Paul Bugge; Kim Lundsteen Juncher; Brian Søborg Mathiasen; Jakob Grue Simonsen (ISMIR, 2011)

Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. - Niels Bjørn Bugge Grathwohl; Jeroen Ketema; Jens Duelund Pallesen; Jakob Grue Simonsen (RTA, 2011)

Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation. - Lars Hartmann; Neil D. Jones; Jakob Grue Simonsen; Søren Bjerregaard Vrist (Sci. Ann. Comput. Sci., 2011)

Levels of undecidability in rewriting. - Jörg Endrullis; Herman Geuvers; Jakob Grue Simonsen; Hans Zantema (Inf. Comput., 2011)

Infinitary Combinatory Reduction Systems. - Jeroen Ketema; Jakob Grue Simonsen (Inf. Comput., 2011)

Beta-Shifts, Their Languages, and Computability. - Jakob Grue Simonsen (Theory Comput. Syst., 2011)

Characterizing Languages by Normalization and Termination in String Rewriting - (Extended Abstract). - Jeroen Ketema; Jakob Grue Simonsen (Developments in Language Theory, 2012)

Term Rewriting Systems as Topological Dynamical Systems. - Soren Bjerg Andersen; Jakob Grue Simonsen (RTA, 2012)

Computational Models with No Linear Speedup. - Amir M. Ben-Amram; Niels H. Christensen; Jakob Grue Simonsen (Chic. J. Theor. Comput. Sci., 2012)

Extracting usability and user experience information from online user reviews. - Steffen Hedegaard; Jakob Grue Simonsen (CHI, 2013)

Comparative Study of Search Engine Result Visualisation: Ranked Lists Versus Graphs. - Casper Petersen; Christina Lioma; Jakob Grue Simonsen (EuroHCIR, 2013)

An experimental investigation of the normality of irrational algebraic numbers. - Johan Sejr Brinch Nielsen; Jakob Grue Simonsen (Math. Comput., 2013)

Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus. - Jeroen Ketema; Jakob Grue Simonsen (ACM Trans. Comput. Log., 2013)

Is once enough?: on the extent and content of replications in human-computer interaction. - Kasper Hornbæk; Søren S. Sander; Javier Andrés Bargas-Avila; Jakob Grue Simonsen (CHI, 2014)

Mining until it hurts: automatic extraction of usability issues from online reviews compared to traditional usability evaluation. - Steffen Hedegaard; Jakob Grue Simonsen (NordiCHI, 2014)

An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting. - Daniel de Carvalho; Jakob Grue Simonsen (RTA-TLCA, 2014)

The Impact of Using Combinatorial Optimisation for Static Caching of Posting Lists. - Casper Petersen; Jakob Grue Simonsen; Christina Lioma (AIRS, 2015)

A Hierarchical Recurrent Encoder-Decoder for Generative Context-Aware Query Suggestion. - Alessandro Sordoni; Yoshua Bengio; Hossein Vahabi; Christina Lioma; Jakob Grue Simonsen; Jian-Yun Nie (CIKM, 2015)

Entropy and Graph Based Modelling of Document Coherence using Discourse Entities: An Application to IR. - Casper Petersen; Christina Lioma; Jakob Grue Simonsen; Birger Larsen (ICTIR, 2015)

The Affordances of Broken Affordances. - Martin Gielsgaard Grünbaum; Jakob Grue Simonsen (INTERACT (3), 2015)

Non-Compositional Term Dependence for Information Retrieval. - Christina Lioma; Jakob Grue Simonsen; Birger Larsen; Niels Dalum Hansen (SIGIR, 2015)

Entropy and Graph Based Modelling of Document Coherence using Discourse Entities: An Application. - Casper Petersen; Christina Lioma; Jakob Grue Simonsen; Birger Larsen (CoRR, 2015)

Near-optimal adjacency labeling scheme for power-law graphs. - Casper Petersen; Noy Rotbart; Jakob Grue Simonsen; Christian Wulff-Nilsen (CoRR, 2015)

An Exploration of the Relation Between Expectations and User Experience. - Jaroslav Michalco; Jakob Grue Simonsen; Kasper Hornbæk (Int. J. Hum. Comput. Interact., 2015)

A Confluent Rewriting System Having No Computable, One-Step, Normalizing Strategy. - Jakob Grue Simonsen (ACM Trans. Comput. Log., 2015)

Sketching Shape-changing Interfaces: Exploring Vocabulary, Metaphors Use, and Affordances. - Majken Kirkegaard Rasmussen; Giovanni Maria Troiano; Marianne Graves Petersen; Jakob Grue Simonsen; Kasper Hornbæk (CHI, 2016)

Adaptive Distributional Extensions to DFR Ranking. - Casper Petersen; Jakob Grue Simonsen; Kalervo Järvelin; Christina Lioma (CIKM, 2016)

Near Optimal Adjacency Labeling Schemes for Power-Law Graphs. - Casper Petersen; Noy Rotbart; Jakob Grue Simonsen; Christian Wulff-Nilsen (ICALP, 2016)

Exploiting the Bipartite Structure of Entity Grids for Document Coherence and Retrieval. - Christina Lioma; Fabien Tarissan; Jakob Grue Simonsen; Casper Petersen; Birger Larsen (ICTIR, 2016)

Brief Announcement: Labeling Schemes for Power-Law Graphs. - Casper Petersen; Noy Rotbart; Jakob Grue Simonsen; Christian Wulff-Nilsen (PODC, 2016)

Complexity Hierarchies and Higher-Order Cons-Free Rewriting. - Cynthia Kop; Jakob Grue Simonsen (FSCD, 2016)

Deep Learning Relevance: Creating Relevant Information (as Opposed to Retrieving it). - Christina Lioma; Birger Larsen; Casper Petersen; Jakob Grue Simonsen (CoRR, 2016)

Some Remarks on Real Numbers Induced by First-Order Spectra. - Sune Kristian Jakobsen; Jakob Grue Simonsen (Notre Dame J. Formal Log., 2016)

Power Law Distributions in Information Retrieval. - Casper Petersen; Jakob Grue Simonsen; Christina Lioma (ACM Trans. Inf. Syst., 2016)

The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming. - Cynthia Kop; Jakob Grue Simonsen (ESOP, 2017)

Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. - Vincent Danos; Tobias Heindel; Ilias Garnier; Jakob Grue Simonsen (FoSSaCS, 2017)

Evaluation Measures for Relevance and Credibility in Ranked Lists. - Christina Lioma; Jakob Grue Simonsen; Birger Larsen (ICTIR, 2017)

The Power of Non-Determinism in Higher-Order Implicit Complexity. - Cynthia Kop; Jakob Grue Simonsen (CoRR, 2017)

Computability in the Lattice of Equivalence Relations. - Jean-Yves Moyen; Jakob Grue Simonsen (DICE-FOPARA@ETAPS, 2017)

Higher-order Cons-free Interpreters. - Cynthia Kop; Jakob Grue Simonsen (CoRR, 2017)

Complexity Hierarchies and Higher-order Cons-free Term Rewriting. - Cynthia Kop; Jakob Grue Simonsen (Log. Methods Comput. Sci., 2017)

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. - Casper Hansen; Christian Hansen 004; Jakob Grue Simonsen; Christina Lioma (CLEF (Working Notes), 2018)

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. - Dongsheng Wang 005; Jakob Grue Simonsen; Birger Larsen; Christina Lioma (CLEF (Working Notes), 2018)

Within-Network Classification in Temporal Graphs. - Christopher Ryther; Jakob Grue Simonsen (ICDM Workshops, 2018)

More Intensional Versions of Rice's Theorem. - Jean-Yves Moyen; Jakob Grue Simonsen (CiE, 2019)

Neural Weakly Supervised Fact Check-Worthiness Detection with Contrastive Sampling-Based Ranking Loss. - Casper Hansen; Christian Hansen 004; Jakob Grue Simonsen; Christina Lioma (CLEF (Working Notes), 2019)

MultiFC: A Real-World Multi-Domain Dataset for Evidence-Based Fact Checking of Claims. - Isabelle Augenstein; Christina Lioma; Dongsheng Wang 005; Lucas Chaves Lima; Casper Hansen; Christian Hansen 004; Jakob Grue Simonsen (EMNLP/IJCNLP (1), 2019)

Neural Speed Reading with Structural-Jump-LSTM. - Christian Hansen 004; Casper Hansen; Stephen Alstrup; Jakob Grue Simonsen; Christina Lioma (ICLR (Poster), 2019)

Contextually Propagated Term Weights for Document Representation. - Casper Hansen; Christian Hansen 004; Stephen Alstrup; Jakob Grue Simonsen; Christina Lioma (SIGIR, 2019)

Unsupervised Neural Generative Semantic Hashing. - Casper Hansen; Christian Hansen 004; Jakob Grue Simonsen; Stephen Alstrup; Christina Lioma (SIGIR, 2019)

Neural Check-Worthiness Ranking with Weak Supervision: Finding Sentences for Fact-Checking. - Casper Hansen; Christian Hansen 004; Stephen Alstrup; Jakob Grue Simonsen; Christina Lioma (WWW (Companion Volume), 2019)

Contextual Compositionality Detection with External Knowledge Bases and Word Embeddings. - Dongsheng Wang 005; Qiuchi Li; Lucas Chaves Lima; Jakob Grue Simonsen; Christina Lioma (WWW (Companion Volume), 2019)

Contextual Compositionality Detection with External Knowledge Bases andWord Embeddings. - Dongsheng Wang 005; Qiuchi Li; Lucas Chaves Lima; Jakob Grue Simonsen; Christina Lioma (CoRR, 2019)

Modelling Sequential Music Track Skips using a Multi-RNN Approach. - Christian Hansen 004; Casper Hansen; Stephen Alstrup; Jakob Grue Simonsen; Christina Lioma (CoRR, 2019)

Computing with Infinite Terms and Infinite Reductions. - Jeroen Ketema; Jakob Grue Simonsen (Fundam. Informaticae, 2019)

The fixed point property and a technique to harness double fixed point combinators. - Giulio Manzonetto; Andrew Polonsky; Alexis Saurin; Jakob Grue Simonsen (J. Log. Comput., 2019)

Generating Fact Checking Explanations. - Pepa Atanasova; Jakob Grue Simonsen; Christina Lioma; Isabelle Augenstein (ACL, 2020)

Liouville Numbers and the Computational Complexity of Changing Bases. - Sune Kristian Jakobsen; Jakob Grue Simonsen (CiE, 2020)

On the Complexity of Conversion Between Classic Real Number Representations. - Lars Kristiansen; Jakob Grue Simonsen (CiE, 2020)

Fact Check-Worthiness Detection with Contrastive Ranking. - Casper Hansen; Christian Hansen 004; Jakob Grue Simonsen; Christina Lioma (CLEF, 2020)

A Diagnostic Study of Explainability Techniques for Text Classification. - Pepa Atanasova; Jakob Grue Simonsen; Christina Lioma; Isabelle Augenstein (EMNLP (1), 2020)

Encoding word order in complex embeddings. - Benyou Wang; Donghao Zhao; Christina Lioma; Qiuchi Li; Peng Zhang 002; Jakob Grue Simonsen (ICLR, 2020)

Factuality Checking in News Headlines with Eye Tracking. - Christian Hansen 004; Casper Hansen; Jakob Grue Simonsen; Birger Larsen; Stephen Alstrup; Christina Lioma (SIGIR, 2020)

Content-aware Neural Hashing for Cold-start Recommendation. - Casper Hansen; Christian Hansen 004; Jakob Grue Simonsen; Stephen Alstrup; Christina Lioma (SIGIR, 2020)

Unsupervised Semantic Hashing with Pairwise Reconstruction. - Casper Hansen; Christian Hansen 004; Jakob Grue Simonsen; Stephen Alstrup; Christina Lioma (SIGIR, 2020)

An Embellished Account of Agafonov's Proof of Agafonov's Theorem. - Thomas Seiller; Jakob Grue Simonsen (CoRR, 2020)

Cons-free Programs and Complexity Classes between LOGSPACE and PTIME. - Neil D. Jones; Siddharth Bhaskar; Cynthia Kop; Jakob Grue Simonsen (VPT/HCVS@ETAPS, 2020)

Agafonov's Theorem for finite and infinite alphabets and probability distributions different from equidistribution. - Thomas Seiller; Jakob Grue Simonsen (CoRR, 2020)

Denmark's Participation in the Search Engine TREC COVID-19 Challenge: Lessons Learned about Searching for Precise Biomedical Scientific Information on COVID-19. - Lucas Chaves Lima; Casper Hansen; Christian Hansen 004; Dongsheng Wang 005; Maria Maistro; Birger Larsen; Jakob Grue Simonsen; Christina Lioma (CoRR, 2020)

Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations. - Jean-Yves Moyen; Jakob Grue Simonsen (CiE, 2021)

Principled Multi-Aspect Evaluation Measures of Rankings. - Maria Maistro; Lucas Chaves Lima; Jakob Grue Simonsen; Christina Lioma (CIKM, 2021)

Multi-head Self-attention with Role-Guided Masks. - Dongsheng Wang 005; Casper Hansen; Lucas Chaves Lima; Christian Hansen 004; Maria Maistro; Jakob Grue Simonsen; Christina Lioma (ECIR (2), 2021)

The Expressive Power of One Variable Used Once: The Chomsky Hierarchy and First-Order Monadic Constructor Rewriting. - Jakob Grue Simonsen (FSCD, 2021)

On Position Embeddings in BERT. - Benyou Wang; Lifeng Shang; Christina Lioma; Xin Jiang 002; Hao Yang 006; Qun Liu 001; Jakob Grue Simonsen (ICLR, 2021)

Projected Hamming Dissimilarity for Bit-Level Importance Coding in Collaborative Filtering. - Christian Hansen 004; Casper Hansen; Jakob Grue Simonsen; Christina Lioma (WWW, 2021)

Unsupervised Multi-Index Semantic Hashing. - Christian Hansen 004; Casper Hansen; Jakob Grue Simonsen; Stephen Alstrup; Christina Lioma (WWW, 2021)

Can Workplace Tracking Ever Empower? Collective Sensemaking for the Responsible Use of Sensor Data at Work. - Naja L. Holten Møller; Gina Neff; Jakob Grue Simonsen; Jonas Christoffer Villumsen; Pernille Bjørn (Proc. ACM Hum. Comput. Interact., 2021)

Diagnostics-Guided Explanation Generation. - Pepa Atanasova; Jakob Grue Simonsen; Christina Lioma; Isabelle Augenstein (AAAI, 2022)

Fact Checking with Insufficient Evidence. - Pepa Atanasova; Jakob Grue Simonsen; Christina Lioma; Isabelle Augenstein (Trans. Assoc. Comput. Linguistics, 2022)

Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria. - Jakub Dargaj; Jakob Grue Simonsen (ACM Trans. Economics and Comput., 2022)

Complex-valued Neural Network-based Quantum Language Models. - Peng Zhang 002; Wenjie Hui; Benyou Wang; Donghao Zhao; Dawei Song 001; Christina Lioma; Jakob Grue Simonsen (ACM Trans. Inf. Syst., 2022)

Faithfulness Tests for Natural Language Explanations. - Pepa Atanasova; Oana-Maria Camburu; Christina Lioma; Thomas Lukasiewicz; Jakob Grue Simonsen; Isabelle Augenstein (ACL (2), 2023)

Privacy Lost in Online Education: Analysis of Web Tracking Evolution. - Zhan Su 002; Rasmus Helles; Ali Al-Laith; Antti Veilahti; Akrati Saxena; Jakob Grue Simonsen (ADMA (2), 2023)

Comparing Trace Similarity Metrics Across Logs and Evaluation Measures. - Christoffer Olling Back; Jakob Grue Simonsen (CAiSE, 2023)

Designing with Awareness* Building an Agenda for Worker- and Patient Well-being. - Tina W. Milbak; Jakob Grue Simonsen; Marco B. Hansen; Naja L. Holten Møller (ECSCW, 2023)

On representations of real numbers and the computational complexity of converting between such representations. - Amir M. Ben-Amram; Lars Kristiansen; Jakob Grue Simonsen (CoRR, 2023)

Read/write factorizable programs. - Siddharth Bhaskar; Jakob Grue Simonsen (J. Funct. Program., 2023)

Subclasses of Ptime Interpreted by Programming Languages. - Siddharth Bhaskar; Cynthia Kop; Jakob Grue Simonsen (Theory Comput. Syst., 2023)

A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff. - Jakub Dargaj; Jakob Grue Simonsen (J. Econ. Theory, 2023)

Implicit Representation of Relations. - Vladan Gloncak; Jarl Emil Erla Munkstrup; Jakob Grue Simonsen (Theory Comput. Syst., 2023)

Discovering Order-Inducing Features in Event Knowledge Graphs. - Christoffer Olling Back; Jakob Grue Simonsen (CoopIS, 2024)

Agafonov's Theorem for Probabilistic Selectors. - Ulysse Léchine; Thomas Seiller; Jakob Grue Simonsen (MFCS, 2024)

Predicting Patient No-Shows: Situated Machine Learning with Imperfect Data. - Christopher H. Gyldenkærne; Jakob Grue Simonsen; Gustav From; Morten Hertzum (MIE, 2024)

Language Modeling Using Tensor Trains. - Zhan Su 002; Yuqin Zhou; Fengran Mo; Jakob Grue Simonsen (CoRR, 2024)

Mixture of Experts Using Tensor Products. - Zhan Su 002; Fengran Mo; Prayag Tiwari; Benyou Wang; Jian-Yun Nie; Jakob Grue Simonsen (CoRR, 2024)

Posets and Bounded Probabilities for Discovering Order-inducing Features in Event Knowledge Graphs. - Christoffer Olling Back; Jakob Grue Simonsen (CoRR, 2024)

Mixture of Latent Experts Using Tensor Products. - Zhan Su 002; Fengran Mo; Prayag Tiwari; Benyou Wang; Qiuchi Li; Jian-Yun Nie; Jakob Grue Simonsen (Trans. Mach. Learn. Res., 2024)