Jakob Grue Simonsen

149 papers A* 18A 5B 9C 5Misc 5Journal 74Unranked 33

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	On Representations of irrational numbers and the Computational Complexity of Converting between such Representations. Bull. Symb. Log. Amir M. Ben-Amram, Lars Kristiansen, Jakob Grue Simonsen
2024	B	`conf`	Agafonov's Theorem for Probabilistic Selectors. MFCS Ulysse Léchine, Thomas Seiller, Jakob Grue Simonsen
2024	B	`conf`	Discovering Order-Inducing Features in Event Knowledge Graphs. CoopIS Christoffer Olling Back, Jakob Grue Simonsen
2024	J	`jnl`	Language Modeling Using Tensor Trains. CoRR Zhan Su, Yuqin Zhou, Fengran Mo, Jakob Grue Simonsen
2024	J	`jnl`	Mixture of Experts Using Tensor Products. CoRR Zhan Su, Fengran Mo, Prayag Tiwari, Benyou Wang, Jian-Yun Nie, Jakob Grue Simonsen
2024	J	`jnl`	Mixture of Latent Experts Using Tensor Products. Trans. Mach. Learn. Res. Zhan Su, Fengran Mo, Prayag Tiwari, Benyou Wang, Qiuchi Li, Jian-Yun Nie, Jakob Grue Simonsen
2024	J	`jnl`	Posets and Bounded Probabilities for Discovering Order-inducing Features in Event Knowledge Graphs. CoRR Christoffer Olling Back, Jakob Grue Simonsen
2024	—	`conf`	Predicting Patient No-Shows: Situated Machine Learning with Imperfect Data. MIE Christopher H. Gyldenkærne, Jakob Grue Simonsen, Gustav From, Morten Hertzum
2023	J	`jnl`	A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff. J. Econ. Theory Jakub Dargaj, Jakob Grue Simonsen
2023	A	`conf`	Comparing Trace Similarity Metrics Across Logs and Evaluation Measures. CAiSE Christoffer Olling Back, Jakob Grue Simonsen
2023	B	`conf`	Designing with Awareness* Building an Agenda for Worker- and Patient Well-being. ECSCW Tina W. Milbak, Jakob Grue Simonsen, Marco B. Hansen, Naja L. Holten Møller
2023	—	`conf`	Faithfulness Tests for Natural Language Explanations. ACL (2) Pepa Atanasova, Oana-Maria Camburu, Christina Lioma, Thomas Lukasiewicz, Jakob Grue Simonsen, Isabelle Augenstein
2023	J	`jnl`	Faithfulness Tests for Natural Language Explanations. CoRR Pepa Atanasova, Oana-Maria Camburu, Christina Lioma, Thomas Lukasiewicz, Jakob Grue Simonsen, Isabelle Augenstein
2023	J	`jnl`	Implicit Representation of Relations. Theory Comput. Syst. Vladan Gloncak, Jarl Emil Erla Munkstrup, Jakob Grue Simonsen
2023	J	`jnl`	On representations of real numbers and the computational complexity of converting between such representations. CoRR Amir M. Ben-Amram, Lars Kristiansen, Jakob Grue Simonsen
2023	—	`conf`	Privacy Lost in Online Education: Analysis of Web Tracking Evolution. ADMA (2) Zhan Su, Rasmus Helles, Ali Al-Laith, Antti Veilahti, Akrati Saxena, Jakob Grue Simonsen
2023	J	`jnl`	Read/write factorizable programs. J. Funct. Program. Siddharth Bhaskar, Jakob Grue Simonsen
2023	J	`jnl`	Subclasses of Ptime Interpreted by Programming Languages. Theory Comput. Syst. Siddharth Bhaskar, Cynthia Kop, Jakob Grue Simonsen
2022	J	`jnl`	Complex-valued Neural Network-based Quantum Language Models. ACM Trans. Inf. Syst. Peng Zhang, Wenjie Hui, Benyou Wang, Donghao Zhao, Dawei Song, Christina Lioma, Jakob Grue Simonsen
2022	A*	`conf`	Diagnostics-Guided Explanation Generation. AAAI Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein
2022	J	`jnl`	Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria. ACM Trans. Economics and Comput. Jakub Dargaj, Jakob Grue Simonsen
2022	J	`jnl`	Fact Checking with Insufficient Evidence. CoRR Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein
2022	J	`jnl`	Fact Checking with Insufficient Evidence. Trans. Assoc. Comput. Linguistics Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein
2022	J	`jnl`	Principled Multi-Aspect Evaluation Measures of Rankings. CoRR Maria Maistro, Lucas Chaves Lima, Jakob Grue Simonsen, Christina Lioma
2021	J	`jnl`	Can Workplace Tracking Ever Empower? Collective Sensemaking for the Responsible Use of Sensor Data at Work. Proc. ACM Hum. Comput. Interact. Naja L. Holten Møller, Gina Neff, Jakob Grue Simonsen, Jonas Christoffer Villumsen, Pernille Bjørn
2021	J	`jnl`	Diagnostics-Guided Explanation Generation. CoRR Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein
2021	—	`conf`	Multi-head Self-attention with Role-Guided Masks. ECIR (2) Dongsheng Wang, Casper Hansen, Lucas Chaves Lima, Christian Hansen, Maria Maistro, Jakob Grue Simonsen, Christina Lioma
2021	A*	`conf`	On Position Embeddings in BERT. ICLR Benyou Wang, Lifeng Shang, Christina Lioma, Xin Jiang, Hao Yang, Qun Liu, Jakob Grue Simonsen
2021	A	`conf`	Principled Multi-Aspect Evaluation Measures of Rankings. CIKM Maria Maistro, Lucas Chaves Lima, Jakob Grue Simonsen, Christina Lioma
2021	A*	`conf`	Projected Hamming Dissimilarity for Bit-Level Importance Coding in Collaborative Filtering. WWW Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Christina Lioma
2021	J	`jnl`	Projected Hamming Dissimilarity for Bit-Level Importance Coding in Collaborative Filtering. CoRR Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Christina Lioma
2021	C	`conf`	Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations. CiE Jean-Yves Moyen, Jakob Grue Simonsen
2021	B	`conf`	The Expressive Power of One Variable Used Once: The Chomsky Hierarchy and First-Order Monadic Constructor Rewriting. FSCD Jakob Grue Simonsen
2021	A*	`conf`	Unsupervised Multi-Index Semantic Hashing. WWW Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma
2021	J	`jnl`	Unsupervised Multi-Index Semantic Hashing. CoRR Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma
2020	A*	`conf`	A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff. EC Jakub Dargaj, Jakob Grue Simonsen
2020	J	`jnl`	A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff. CoRR Jakub Dargaj, Jakob Grue Simonsen
2020	—	`conf`	A Diagnostic Study of Explainability Techniques for Text Classification. EMNLP (1) Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein
2020	J	`jnl`	A Diagnostic Study of Explainability Techniques for Text Classification. CoRR Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein
2020	J	`jnl`	Agafonov's Theorem for finite and infinite alphabets and probability distributions different from equidistribution. CoRR Thomas Seiller, Jakob Grue Simonsen
2020	J	`jnl`	An Embellished Account of Agafonov's Proof of Agafonov's Theorem. CoRR Thomas Seiller, Jakob Grue Simonsen
2020	—	`conf`	Cons-free Programs and Complexity Classes between LOGSPACE and PTIME. VPT/HCVS@ETAPS Neil D. Jones, Siddharth Bhaskar, Cynthia Kop, Jakob Grue Simonsen
2020	A*	`conf`	Content-aware Neural Hashing for Cold-start Recommendation. SIGIR Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma
2020	J	`jnl`	Content-aware Neural Hashing for Cold-start Recommendation. CoRR Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma
2020	J	`jnl`	Denmark's Participation in the Search Engine TREC COVID-19 Challenge: Lessons Learned about Searching for Precise Biomedical Scientific Information on COVID-19. CoRR Lucas Chaves Lima, Casper Hansen, Christian Hansen, Dongsheng Wang, Maria Maistro, Birger Larsen, Jakob Grue Simonsen, Christina Lioma
2020	A*	`conf`	Encoding word order in complex embeddings. ICLR Benyou Wang, Donghao Zhao, Christina Lioma, Qiuchi Li, Peng Zhang, Jakob Grue Simonsen
2020	—	`conf`	Fact Check-Worthiness Detection with Contrastive Ranking. CLEF Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Christina Lioma
2020	A*	`conf`	Factuality Checking in News Headlines with Eye Tracking. SIGIR Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Birger Larsen, Stephen Alstrup, Christina Lioma
2020	J	`jnl`	Factuality Checking in News Headlines with Eye Tracking. CoRR Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Birger Larsen, Stephen Alstrup, Christina Lioma
2020	A*	`conf`	Generating Fact Checking Explanations. ACL Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein
2020	J	`jnl`	Generating Fact Checking Explanations. CoRR Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein
2020	C	`conf`	Liouville Numbers and the Computational Complexity of Changing Bases. CiE Sune Kristian Jakobsen, Jakob Grue Simonsen
2020	J	`jnl`	Multi-Head Self-Attention with Role-Guided Masks. CoRR Dongsheng Wang, Casper Hansen, Lucas Chaves Lima, Christian Hansen, Maria Maistro, Jakob Grue Simonsen, Christina Lioma
2020	C	`conf`	On the Complexity of Conversion Between Classic Real Number Representations. CiE Lars Kristiansen, Jakob Grue Simonsen
2020	A*	`conf`	Unsupervised Semantic Hashing with Pairwise Reconstruction. SIGIR Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma
2020	J	`jnl`	Unsupervised Semantic Hashing with Pairwise Reconstruction. CoRR Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma
2019	J	`jnl`	Computing with Infinite Terms and Infinite Reductions. Fundam. Informaticae Jeroen Ketema, Jakob Grue Simonsen
2019	—	`conf`	Contextual Compositionality Detection with External Knowledge Bases and Word Embeddings. WWW (Companion Volume) Dongsheng Wang, Qiuchi Li, Lucas Chaves Lima, Jakob Grue Simonsen, Christina Lioma
2019	J	`jnl`	Contextual Compositionality Detection with External Knowledge Bases andWord Embeddings. CoRR Dongsheng Wang, Qiuchi Li, Lucas Chaves Lima, Jakob Grue Simonsen, Christina Lioma
2019	A*	`conf`	Contextually Propagated Term Weights for Document Representation. SIGIR Casper Hansen, Christian Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma
2019	J	`jnl`	Contextually Propagated Term Weights for Document Representation. CoRR Casper Hansen, Christian Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma
2019	J	`jnl`	Encoding word order in complex embeddings. CoRR Benyou Wang, Donghao Zhao, Christina Lioma, Qiuchi Li, Peng Zhang, Jakob Grue Simonsen
2019	J	`jnl`	Modelling Sequential Music Track Skips using a Multi-RNN Approach. CoRR Christian Hansen, Casper Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma
2019	C	`conf`	More Intensional Versions of Rice's Theorem. CiE Jean-Yves Moyen, Jakob Grue Simonsen
2019	—	`conf`	MultiFC: A Real-World Multi-Domain Dataset for Evidence-Based Fact Checking of Claims. EMNLP/IJCNLP (1) Isabelle Augenstein, Christina Lioma, Dongsheng Wang, Lucas Chaves Lima, Casper Hansen, Christian Hansen, Jakob Grue Simonsen
2019	J	`jnl`	MultiFC: A Real-World Multi-Domain Dataset for Evidence-Based Fact Checking of Claims. CoRR Isabelle Augenstein, Christina Lioma, Dongsheng Wang, Lucas Chaves Lima, Casper Hansen, Christian Hansen, Jakob Grue Simonsen
2019	—	`conf`	Neural Check-Worthiness Ranking with Weak Supervision: Finding Sentences for Fact-Checking. WWW (Companion Volume) Casper Hansen, Christian Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma
2019	J	`jnl`	Neural Check-Worthiness Ranking with Weak Supervision: Finding Sentences for Fact-Checking. CoRR Casper Hansen, Christian Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma
2019	—	`conf`	Neural Speed Reading with Structural-Jump-LSTM. ICLR (Poster) Christian Hansen, Casper Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma
2019	J	`jnl`	Neural Speed Reading with Structural-Jump-LSTM. CoRR Christian Hansen, Casper Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma
2019	—	`conf`	Neural Weakly Supervised Fact Check-Worthiness Detection with Contrastive Sampling-Based Ranking Loss. CLEF (Working Notes) Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Christina Lioma
2019	J	`jnl`	The fixed point property and a technique to harness double fixed point combinators. J. Log. Comput. Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Grue Simonsen
2019	A*	`conf`	Unsupervised Neural Generative Semantic Hashing. SIGIR Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma
2019	J	`jnl`	Unsupervised Neural Generative Semantic Hashing. CoRR Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma
2018	—	`conf`	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. CLEF (Working Notes) Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Christina Lioma
2018	—	`conf`	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. CLEF (Working Notes) Dongsheng Wang, Jakob Grue Simonsen, Birger Larsen, Christina Lioma
2018	—	`conf`	Within-Network Classification in Temporal Graphs. ICDM Workshops Christopher Ryther, Jakob Grue Simonsen
2017	J	`jnl`	Complexity Hierarchies and Higher-order Cons-free Term Rewriting. Log. Methods Comput. Sci. Cynthia Kop, Jakob Grue Simonsen
2017	—	`conf`	Computability in the Lattice of Equivalence Relations. DICE-FOPARA@ETAPS Jean-Yves Moyen, Jakob Grue Simonsen
2017	B	`conf`	Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. FoSSaCS Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen
2017	Misc	`conf`	Evaluation Measures for Relevance and Credibility in Ranked Lists. ICTIR Christina Lioma, Jakob Grue Simonsen, Birger Larsen
2017	J	`jnl`	Evaluation Measures for Relevance and Credibility in Ranked Lists. CoRR Christina Lioma, Jakob Grue Simonsen, Birger Larsen
2017	J	`jnl`	Higher-order Cons-free Interpreters. CoRR Cynthia Kop, Jakob Grue Simonsen
2017	J	`jnl`	The Power of Non-Determinism in Higher-Order Implicit Complexity. CoRR Cynthia Kop, Jakob Grue Simonsen
2017	A	`conf`	The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming. ESOP Cynthia Kop, Jakob Grue Simonsen
2016	A	`conf`	Adaptive Distributional Extensions to DFR Ranking. CIKM Casper Petersen, Jakob Grue Simonsen, Kalervo Järvelin, Christina Lioma
2016	J	`jnl`	Adaptive Distributional Extensions to DFR Ranking. CoRR Casper Petersen, Jakob Grue Simonsen, Kalervo Järvelin, Christina Lioma
2016	A*	`conf`	Brief Announcement: Labeling Schemes for Power-Law Graphs. PODC Casper Petersen, Noy Rotbart, Jakob Grue Simonsen, Christian Wulff-Nilsen
2016	B	`conf`	Complexity Hierarchies and Higher-Order Cons-Free Rewriting. FSCD Cynthia Kop, Jakob Grue Simonsen
2016	J	`jnl`	Complexity Hierarchies and Higher-Order Cons-Free Rewriting. CoRR Cynthia Kop, Jakob Grue Simonsen
2016	J	`jnl`	Complexity Hierarchies and Higher-order Cons-free Term Rewriting. CoRR Cynthia Kop, Jakob Grue Simonsen
2016	J	`jnl`	Deep Learning Relevance: Creating Relevant Information (as Opposed to Retrieving it). CoRR Christina Lioma, Birger Larsen, Casper Petersen, Jakob Grue Simonsen
2016	Misc	`conf`	Exploiting the Bipartite Structure of Entity Grids for Document Coherence and Retrieval. ICTIR Christina Lioma, Fabien Tarissan, Jakob Grue Simonsen, Casper Petersen, Birger Larsen
2016	J	`jnl`	Exploiting the Bipartite Structure of Entity Grids for Document Coherence and Retrieval. CoRR Christina Lioma, Fabien Tarissan, Jakob Grue Simonsen, Casper Petersen, Birger Larsen
2016	A*	`conf`	Near Optimal Adjacency Labeling Schemes for Power-Law Graphs. ICALP Casper Petersen, Noy Rotbart, Jakob Grue Simonsen, Christian Wulff-Nilsen
2016	J	`jnl`	Power Law Distributions in Information Retrieval. ACM Trans. Inf. Syst. Casper Petersen, Jakob Grue Simonsen, Christina Lioma
2016	A*	`conf`	Sketching Shape-changing Interfaces: Exploring Vocabulary, Metaphors Use, and Affordances. CHI Majken Kirkegaard Rasmussen, Giovanni Maria Troiano, Marianne Graves Petersen, Jakob Grue Simonsen, Kasper Hornbæk
2016	J	`jnl`	Some Remarks on Real Numbers Induced by First-Order Spectra. Notre Dame J. Formal Log. Sune Kristian Jakobsen, Jakob Grue Simonsen
2015	J	`jnl`	A Confluent Rewriting System Having No Computable, One-Step, Normalizing Strategy. ACM Trans. Comput. Log. Jakob Grue Simonsen
2015	J	`jnl`	A Hierarchical Recurrent Encoder-Decoder For Generative Context-Aware Query Suggestion. CoRR Alessandro Sordoni, Yoshua Bengio, Hossein Vahabi, Christina Lioma, Jakob Grue Simonsen, Jian-Yun Nie
2015	A	`conf`	A Hierarchical Recurrent Encoder-Decoder for Generative Context-Aware Query Suggestion. CIKM Alessandro Sordoni, Yoshua Bengio, Hossein Vahabi, Christina Lioma, Jakob Grue Simonsen, Jian-Yun Nie
2015	J	`jnl`	An Exploration of the Relation Between Expectations and User Experience. Int. J. Hum. Comput. Interact. Jaroslav Michalco, Jakob Grue Simonsen, Kasper Hornbæk
2015	Misc	`conf`	Entropy and Graph Based Modelling of Document Coherence using Discourse Entities: An Application to IR. ICTIR Casper Petersen, Christina Lioma, Jakob Grue Simonsen, Birger Larsen
2015	J	`jnl`	Entropy and Graph Based Modelling of Document Coherence using Discourse Entities: An Application. CoRR Casper Petersen, Christina Lioma, Jakob Grue Simonsen, Birger Larsen
2015	J	`jnl`	Near-optimal adjacency labeling scheme for power-law graphs. CoRR Casper Petersen, Noy Rotbart, Jakob Grue Simonsen, Christian Wulff-Nilsen
2015	A*	`conf`	Non-Compositional Term Dependence for Information Retrieval. SIGIR Christina Lioma, Jakob Grue Simonsen, Birger Larsen, Niels Dalum Hansen
2015	J	`jnl`	Non-Compositional Term Dependence for Information Retrieval. CoRR Christina Lioma, Jakob Grue Simonsen, Birger Larsen, Niels Dalum Hansen
2015	—	`conf`	The Affordances of Broken Affordances. INTERACT (3) Martin Gielsgaard Grünbaum, Jakob Grue Simonsen
2015	—	`conf`	The Impact of Using Combinatorial Optimisation for Static Caching of Posting Lists. AIRS Casper Petersen, Jakob Grue Simonsen, Christina Lioma
2014	—	`conf`	An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting. RTA-TLCA Daniel de Carvalho, Jakob Grue Simonsen
2014	A*	`conf`	Is once enough?: on the extent and content of replications in human-computer interaction. CHI Kasper Hornbæk, Søren S. Sander, Javier Andrés Bargas-Avila, Jakob Grue Simonsen
2014	Misc	`conf`	Mining until it hurts: automatic extraction of usability issues from online reviews compared to traditional usability evaluation. NordiCHI Steffen Hedegaard, Jakob Grue Simonsen
2013	J	`jnl`	An experimental investigation of the normality of irrational algebraic numbers. Math. Comput. Johan Sejr Brinch Nielsen, Jakob Grue Simonsen
2013	—	`conf`	Comparative Study of Search Engine Result Visualisation: Ranked Lists Versus Graphs. EuroHCIR Casper Petersen, Christina Lioma, Jakob Grue Simonsen
2013	A*	`conf`	Extracting usability and user experience information from online user reviews. CHI Steffen Hedegaard, Jakob Grue Simonsen
2013	J	`jnl`	Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus. ACM Trans. Comput. Log. Jeroen Ketema, Jakob Grue Simonsen
2012	C	`conf`	Characterizing Languages by Normalization and Termination in String Rewriting - (Extended Abstract). Developments in Language Theory Jeroen Ketema, Jakob Grue Simonsen
2012	J	`jnl`	Computational Models with No Linear Speedup. Chic. J. Theor. Comput. Sci. Amir M. Ben-Amram, Niels H. Christensen, Jakob Grue Simonsen
2012	—	`conf`	Term Rewriting Systems as Topological Dynamical Systems. RTA Soren Bjerg Andersen, Jakob Grue Simonsen
2011	—	`conf`	Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. RTA Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen
2011	J	`jnl`	Beta-Shifts, Their Languages, and Computability. Theory Comput. Syst. Jakob Grue Simonsen
2011	—	`conf`	Computational Biology: A Programming Perspective. Formal Modeling: Actors, Open Systems, Biological Systems Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, Søren Bjerregaard Vrist
2011	J	`jnl`	Infinitary Combinatory Reduction Systems. Inf. Comput. Jeroen Ketema, Jakob Grue Simonsen
2011	J	`jnl`	Levels of undecidability in rewriting. Inf. Comput. Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema
2011	—	`conf`	Lost in Translation: Authorship Attribution using Frame Semantics. ACL (2) Steffen Hedegaard, Jakob Grue Simonsen
2011	J	`jnl`	Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation. Sci. Ann. Comput. Sci. Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, Søren Bjerregaard Vrist
2011	B	`conf`	The Exact Hardness of Deciding Derivational and Runtime Complexity. CSL Andreas Schnabl, Jakob Grue Simonsen
2011	—	`conf`	Using Sequence Alignment and Voting to Improve Optical Music Recognition from Multiple Recognizers. ISMIR Esben Paul Bugge, Kim Lundsteen Juncher, Brian Søborg Mathiasen, Jakob Grue Simonsen
2010	—	`conf`	Higher-Order (Non-)Modularity . RTA Claus Appel, Vincent van Oostrom, Jakob Grue Simonsen
2010	J	`jnl`	Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies Log. Methods Comput. Sci. Jeroen Ketema, Jakob Grue Simonsen
2010	Misc	`conf`	Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and FLOPS Jeroen Ketema, Jakob Grue Simonsen
2010	—	`conf`	Programming in Biomolecular Computation. CS2Bio Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen
2010	—	`conf`	Weak Convergence and Uniform Normalization in Infinitary Rewriting. RTA Jakob Grue Simonsen
2009	J	`jnl`	Infinitary Combinatory Reduction Systems: Confluence Log. Methods Comput. Sci. Jeroen Ketema, Jakob Grue Simonsen
2009	—	`conf`	LAIR: A Language for Automated Semantics-Aware Text Sanitization Based on Frame Semantics. ICSC Steffen Hedegaard, Søren Houen, Jakob Grue Simonsen
2009	J	`jnl`	On the computational complexity of the languages of general symbolic dynamical systems and beta-shifts. Theor. Comput. Sci. Jakob Grue Simonsen
2009	J	`jnl`	POETS: Process-oriented event-driven transaction systems. J. Log. Algebraic Methods Program. Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen
2009	—	`conf`	The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity). RTA Jakob Grue Simonsen
2006	J	`jnl`	Compositional specification of commercial contracts. Int. J. Softw. Tools Technol. Transf. Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen
2006	J	`jnl`	On local non-compactness in recursive mathematics. Math. Log. Q. Jakob Grue Simonsen
2006	J	`jnl`	On modularity in infinitary term rewriting. Inf. Comput. Jakob Grue Simonsen
2006	J	`jnl`	On the Computability of the Topological Entropy of Subshifts. Discret. Math. Theor. Comput. Sci. Jakob Grue Simonsen
2005	—	`conf`	Infinitary Combinatory Reduction Systems. RTA Jeroen Ketema, Jakob Grue Simonsen
2005	B	`conf`	On Beta-Shifts Having Arithmetical Languages. MFCS Jakob Grue Simonsen
2005	B	`conf`	On Confluence of Infinitary Combinatory Reduction Systems. LPAR Jeroen Ketema, Jakob Grue Simonsen
2005	J	`jnl`	Specker sequences revisited. Math. Log. Q. Jakob Grue Simonsen
2004	—	`conf`	Compositional Specification of Commercial Contracts. ISoLA (Preliminary proceedings) Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen
2004	J	`jnl`	On confluence and residuals in Cauchy convergent transfinite rewriting. Inf. Process. Lett. Jakob Grue Simonsen
2004	—	`conf`	On the Modularity of Confluence in Infinitary Term Rewriting. RTA Jakob Grue Simonsen