default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJakob Grue Simonsen
Person information
- affiliation: University of Copenhagen, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c74]Ulysse Léchine, Thomas Seiller
, Jakob Grue Simonsen:
Agafonov's Theorem for Probabilistic Selectors. MFCS 2024: 67:1-67:15- [c73]Christopher H. Gyldenkærne, Jakob Grue Simonsen, Gustav From, Morten Hertzum:
Predicting Patient No-Shows: Situated Machine Learning with Imperfect Data. MIE 2024: 1598-1602 - [i40]Zhan Su, Yuqin Zhou, Fengran Mo, Jakob Grue Simonsen:
Language Modeling Using Tensor Trains. CoRR abs/2405.04590 (2024) - [i39]Zhan Su, Fengran Mo, Prayag Tiwari, Benyou Wang, Jian-Yun Nie, Jakob Grue Simonsen:
Mixture of Experts Using Tensor Products. CoRR abs/2405.16671 (2024) - [i38]Christoffer Olling Back, Jakob Grue Simonsen:
Posets and Bounded Probabilities for Discovering Order-inducing Features in Event Knowledge Graphs. CoRR abs/2410.06065 (2024) - 2023
- [j32]Jakub Dargaj, Jakob Grue Simonsen:
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 213: 105713 (2023) - [j31]Siddharth Bhaskar, Jakob Grue Simonsen:
Read/write factorizable programs. J. Funct. Program. 33 (2023) - [j30]Siddharth Bhaskar, Cynthia Kop, Jakob Grue Simonsen:
Subclasses of Ptime Interpreted by Programming Languages. Theory Comput. Syst. 67(3): 437-472 (2023) - [j29]Vladan Gloncak, Jarl Emil Erla Munkstrup, Jakob Grue Simonsen:
Implicit Representation of Relations. Theory Comput. Syst. 67(6): 1156-1196 (2023) - [c72]Pepa Atanasova, Oana-Maria Camburu, Christina Lioma, Thomas Lukasiewicz, Jakob Grue Simonsen, Isabelle Augenstein:
Faithfulness Tests for Natural Language Explanations. ACL (2) 2023: 283-294 - [c71]Zhan Su, Rasmus Helles, Ali Al-Laith, Antti Veilahti, Akrati Saxena, Jakob Grue Simonsen:
Privacy Lost in Online Education: Analysis of Web Tracking Evolution. ADMA (2) 2023: 440-455 - [c70]Christoffer Olling Back, Jakob Grue Simonsen:
Comparing Trace Similarity Metrics Across Logs and Evaluation Measures. CAiSE 2023: 226-242 - [c69]Tina W. Milbak, Jakob Grue Simonsen, Marco B. Hansen, Naja L. Holten Møller:
Designing with Awareness* Building an Agenda for Worker- and Patient Well-being. ECSCW 2023 - [i37]Amir M. Ben-Amram, Lars Kristiansen, Jakob Grue Simonsen:
On representations of real numbers and the computational complexity of converting between such representations. CoRR abs/2304.07227 (2023) - [i36]Pepa Atanasova, Oana-Maria Camburu, Christina Lioma, Thomas Lukasiewicz, Jakob Grue Simonsen, Isabelle Augenstein:
Faithfulness Tests for Natural Language Explanations. CoRR abs/2305.18029 (2023) - 2022
- [j28]Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein:
Fact Checking with Insufficient Evidence. Trans. Assoc. Comput. Linguistics 10: 746-763 (2022) - [j27]Jakub Dargaj, Jakob Grue Simonsen:
Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria. ACM Trans. Economics and Comput. 10(1): 3:1-3:39 (2022) - [j26]Peng Zhang, Wenjie Hui, Benyou Wang, Donghao Zhao, Dawei Song, Christina Lioma, Jakob Grue Simonsen:
Complex-valued Neural Network-based Quantum Language Models. ACM Trans. Inf. Syst. 40(4): 84:1-84:31 (2022) - [c68]Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein:
Diagnostics-Guided Explanation Generation. AAAI 2022: 10445-10453 - [i35]Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein:
Fact Checking with Insufficient Evidence. CoRR abs/2204.02007 (2022) - [i34]Maria Maistro, Lucas Chaves Lima, Jakob Grue Simonsen, Christina Lioma:
Principled Multi-Aspect Evaluation Measures of Rankings. CoRR abs/2212.00492 (2022) - 2021
- [j25]Naja L. Holten Møller, Gina Neff, Jakob Grue Simonsen, Jonas Christoffer Villumsen, Pernille Bjørn:
Can Workplace Tracking Ever Empower? Collective Sensemaking for the Responsible Use of Sensor Data at Work. Proc. ACM Hum. Comput. Interact. 5(GROUP): 219:1-219:21 (2021) - [c67]Jean-Yves Moyen, Jakob Grue Simonsen:
Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations. CiE 2021: 363-372 - [c66]Maria Maistro, Lucas Chaves Lima, Jakob Grue Simonsen, Christina Lioma:
Principled Multi-Aspect Evaluation Measures of Rankings. CIKM 2021: 1232-1242 - [c65]Dongsheng Wang, Casper Hansen, Lucas Chaves Lima, Christian Hansen, Maria Maistro, Jakob Grue Simonsen, Christina Lioma:
Multi-head Self-attention with Role-Guided Masks. ECIR (2) 2021: 432-439 - [c64]Jakob Grue Simonsen:
The Expressive Power of One Variable Used Once: The Chomsky Hierarchy and First-Order Monadic Constructor Rewriting. FSCD 2021: 5:1-5:17 - [c63]Benyou Wang, Lifeng Shang, Christina Lioma, Xin Jiang, Hao Yang, Qun Liu, Jakob Grue Simonsen:
On Position Embeddings in BERT. ICLR 2021 - [c62]Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Christina Lioma:
Projected Hamming Dissimilarity for Bit-Level Importance Coding in Collaborative Filtering. WWW 2021: 261-269 - [c61]Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma:
Unsupervised Multi-Index Semantic Hashing. WWW 2021: 2879-2889 - [i33]Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Christina Lioma:
Projected Hamming Dissimilarity for Bit-Level Importance Coding in Collaborative Filtering. CoRR abs/2103.14455 (2021) - [i32]Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma:
Unsupervised Multi-Index Semantic Hashing. CoRR abs/2103.14460 (2021) - [i31]Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein:
Diagnostics-Guided Explanation Generation. CoRR abs/2109.03756 (2021) - 2020
- [c60]Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein:
Generating Fact Checking Explanations. ACL 2020: 7352-7364 - [c59]Sune Kristian Jakobsen, Jakob Grue Simonsen:
Liouville Numbers and the Computational Complexity of Changing Bases. CiE 2020: 50-62 - [c58]Lars Kristiansen, Jakob Grue Simonsen:
On the Complexity of Conversion Between Classic Real Number Representations. CiE 2020: 75-86 - [c57]Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Christina Lioma:
Fact Check-Worthiness Detection with Contrastive Ranking. CLEF 2020: 124-130 - [c56]Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein:
A Diagnostic Study of Explainability Techniques for Text Classification. EMNLP (1) 2020: 3256-3274 - [c55]Benyou Wang, Donghao Zhao, Christina Lioma, Qiuchi Li, Peng Zhang, Jakob Grue Simonsen:
Encoding word order in complex embeddings. ICLR 2020 - [c54]Jakub Dargaj, Jakob Grue Simonsen:
A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff. EC 2020: 69-70 - [c53]Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma:
Content-aware Neural Hashing for Cold-start Recommendation. SIGIR 2020: 971-980 - [c52]Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma:
Unsupervised Semantic Hashing with Pairwise Reconstruction. SIGIR 2020: 2009-2012 - [c51]Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Birger Larsen, Stephen Alstrup, Christina Lioma:
Factuality Checking in News Headlines with Eye Tracking. SIGIR 2020: 2013-2016 - [c50]Neil D. Jones, Siddharth Bhaskar, Cynthia Kop, Jakob Grue Simonsen:
Cons-free Programs and Complexity Classes between LOGSPACE and PTIME. VPT/HCVS@ETAPS 2020: 65-79 - [i30]Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein:
Generating Fact Checking Explanations. CoRR abs/2004.05773 (2020) - [i29]Jakub Dargaj, Jakob Grue Simonsen:
A Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff. CoRR abs/2005.13921 (2020) - [i28]Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma:
Content-aware Neural Hashing for Cold-start Recommendation. CoRR abs/2006.00617 (2020) - [i27]Christian Hansen, Casper Hansen, Jakob Grue Simonsen, Birger Larsen, Stephen Alstrup, Christina Lioma:
Factuality Checking in News Headlines with Eye Tracking. CoRR abs/2006.09736 (2020) - [i26]Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma:
Unsupervised Semantic Hashing with Pairwise Reconstruction. CoRR abs/2007.00380 (2020) - [i25]Thomas Seiller, Jakob Grue Simonsen:
An Embellished Account of Agafonov's Proof of Agafonov's Theorem. CoRR abs/2007.03249 (2020) - [i24]Pepa Atanasova, Jakob Grue Simonsen, Christina Lioma, Isabelle Augenstein:
A Diagnostic Study of Explainability Techniques for Text Classification. CoRR abs/2009.13295 (2020) - [i23]Thomas Seiller, Jakob Grue Simonsen:
Agafonov's Theorem for finite and infinite alphabets and probability distributions different from equidistribution. CoRR abs/2011.08552 (2020) - [i22]Lucas Chaves Lima, Casper Hansen, Christian Hansen, Dongsheng Wang, Maria Maistro, Birger Larsen, Jakob Grue Simonsen, Christina Lioma:
Denmark's Participation in the Search Engine TREC COVID-19 Challenge: Lessons Learned about Searching for Precise Biomedical Scientific Information on COVID-19. CoRR abs/2011.12684 (2020) - [i21]Dongsheng Wang, Casper Hansen, Lucas Chaves Lima, Christian Hansen, Maria Maistro, Jakob Grue Simonsen, Christina Lioma:
Multi-Head Self-Attention with Role-Guided Masks. CoRR abs/2012.12366 (2020)
2010 – 2019
- 2019
- [j24]Jeroen Ketema, Jakob Grue Simonsen:
Computing with Infinite Terms and Infinite Reductions. Fundam. Informaticae 170(4): 339-365 (2019) - [j23]Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Grue Simonsen:
The fixed point property and a technique to harness double fixed point combinators. J. Log. Comput. 29(5): 831-880 (2019) - [c49]Jean-Yves Moyen, Jakob Grue Simonsen:
More Intensional Versions of Rice's Theorem. CiE 2019: 217-229 - [c48]Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Christina Lioma:
Neural Weakly Supervised Fact Check-Worthiness Detection with Contrastive Sampling-Based Ranking Loss. CLEF (Working Notes) 2019 - [c47]Isabelle Augenstein, Christina Lioma, Dongsheng Wang, Lucas Chaves Lima, Casper Hansen, Christian Hansen, Jakob Grue Simonsen:
MultiFC: A Real-World Multi-Domain Dataset for Evidence-Based Fact Checking of Claims. EMNLP/IJCNLP (1) 2019: 4684-4696 - [c46]Christian Hansen, Casper Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma:
Neural Speed Reading with Structural-Jump-LSTM. ICLR (Poster) 2019 - [c45]Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma:
Unsupervised Neural Generative Semantic Hashing. SIGIR 2019: 735-744 - [c44]Casper Hansen, Christian Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma:
Contextually Propagated Term Weights for Document Representation. SIGIR 2019: 897-900 - [c43]Dongsheng Wang, Qiuchi Li, Lucas Chaves Lima, Jakob Grue Simonsen, Christina Lioma:
Contextual Compositionality Detection with External Knowledge Bases and Word Embeddings. WWW (Companion Volume) 2019: 317-323 - [c42]Casper Hansen, Christian Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma:
Neural Check-Worthiness Ranking with Weak Supervision: Finding Sentences for Fact-Checking. WWW (Companion Volume) 2019: 994-1000 - [i20]Dongsheng Wang, Qiuchi Li, Lucas Chaves Lima, Jakob Grue Simonsen, Christina Lioma:
Contextual Compositionality Detection with External Knowledge Bases andWord Embeddings. CoRR abs/1903.08389 (2019) - [i19]Casper Hansen, Christian Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma:
Neural Check-Worthiness Ranking with Weak Supervision: Finding Sentences for Fact-Checking. CoRR abs/1903.08404 (2019) - [i18]Christian Hansen, Casper Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma:
Modelling Sequential Music Track Skips using a Multi-RNN Approach. CoRR abs/1903.08408 (2019) - [i17]Christian Hansen, Casper Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma:
Neural Speed Reading with Structural-Jump-LSTM. CoRR abs/1904.00761 (2019) - [i16]Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Stephen Alstrup, Christina Lioma:
Unsupervised Neural Generative Semantic Hashing. CoRR abs/1906.00671 (2019) - [i15]Casper Hansen, Christian Hansen, Stephen Alstrup, Jakob Grue Simonsen, Christina Lioma:
Contextually Propagated Term Weights for Document Representation. CoRR abs/1906.00674 (2019) - [i14]Isabelle Augenstein, Christina Lioma, Dongsheng Wang, Lucas Chaves Lima, Casper Hansen, Christian Hansen, Jakob Grue Simonsen:
MultiFC: A Real-World Multi-Domain Dataset for Evidence-Based Fact Checking of Claims. CoRR abs/1909.03242 (2019) - [i13]Benyou Wang, Donghao Zhao, Christina Lioma, Qiuchi Li, Peng Zhang, Jakob Grue Simonsen:
Encoding word order in complex embeddings. CoRR abs/1912.12333 (2019) - 2018
- [c41]Casper Hansen, Christian Hansen, Jakob Grue Simonsen, Christina Lioma:
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) 2018 - [c40]Dongsheng Wang, Jakob Grue Simonsen, Birger Larsen, Christina Lioma:
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) 2018 - [c39]Christopher Ryther, Jakob Grue Simonsen:
Within-Network Classification in Temporal Graphs. ICDM Workshops 2018: 229-236 - 2017
- [j22]Cynthia Kop, Jakob Grue Simonsen:
Complexity Hierarchies and Higher-order Cons-free Term Rewriting. Log. Methods Comput. Sci. 13(3) (2017) - [c38]Cynthia Kop, Jakob Grue Simonsen:
The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming. ESOP 2017: 668-695 - [c37]Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen:
Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. FoSSaCS 2017: 338-354 - [c36]Christina Lioma, Jakob Grue Simonsen, Birger Larsen:
Evaluation Measures for Relevance and Credibility in Ranked Lists. ICTIR 2017: 91-98 - [c35]Jean-Yves Moyen, Jakob Grue Simonsen:
Computability in the Lattice of Equivalence Relations. DICE-FOPARA@ETAPS 2017: 38-46 - [i12]Cynthia Kop, Jakob Grue Simonsen:
The Power of Non-Determinism in Higher-Order Implicit Complexity. CoRR abs/1701.05382 (2017) - [i11]Christina Lioma, Jakob Grue Simonsen, Birger Larsen:
Evaluation Measures for Relevance and Credibility in Ranked Lists. CoRR abs/1708.07157 (2017) - [i10]Cynthia Kop, Jakob Grue Simonsen:
Higher-order Cons-free Interpreters. CoRR abs/1711.03407 (2017) - 2016
- [j21]Sune Kristian Jakobsen, Jakob Grue Simonsen:
Some Remarks on Real Numbers Induced by First-Order Spectra. Notre Dame J. Formal Log. 57(3): 355-368 (2016) - [j20]Casper Petersen, Jakob Grue Simonsen, Christina Lioma:
Power Law Distributions in Information Retrieval. ACM Trans. Inf. Syst. 34(2): 8:1-8:37 (2016) - [c34]Majken Kirkegaard Rasmussen, Giovanni Maria Troiano, Marianne Graves Petersen, Jakob Grue Simonsen, Kasper Hornbæk:
Sketching Shape-changing Interfaces: Exploring Vocabulary, Metaphors Use, and Affordances. CHI 2016: 2740-2751 - [c33]Casper Petersen, Jakob Grue Simonsen, Kalervo Järvelin, Christina Lioma:
Adaptive Distributional Extensions to DFR Ranking. CIKM 2016: 2005-2008 - [c32]Casper Petersen, Noy Rotbart, Jakob Grue Simonsen, Christian Wulff-Nilsen:
Near Optimal Adjacency Labeling Schemes for Power-Law Graphs. ICALP 2016: 133:1-133:15 - [c31]Christina Lioma, Fabien Tarissan, Jakob Grue Simonsen, Casper Petersen, Birger Larsen:
Exploiting the Bipartite Structure of Entity Grids for Document Coherence and Retrieval. ICTIR 2016: 11-20 - [c30]Casper Petersen, Noy Rotbart, Jakob Grue Simonsen, Christian Wulff-Nilsen:
Brief Announcement: Labeling Schemes for Power-Law Graphs. PODC 2016: 39-41 - [c29]Cynthia Kop, Jakob Grue Simonsen:
Complexity Hierarchies and Higher-Order Cons-Free Rewriting. FSCD 2016: 23:1-23:18 - [i9]Cynthia Kop, Jakob Grue Simonsen:
Complexity Hierarchies and Higher-Order Cons-Free Rewriting. CoRR abs/1604.08936 (2016) - [i8]Christina Lioma, Birger Larsen, Casper Petersen, Jakob Grue Simonsen:
Deep Learning Relevance: Creating Relevant Information (as Opposed to Retrieving it). CoRR abs/1606.07660 (2016) - [i7]Christina Lioma, Fabien Tarissan, Jakob Grue Simonsen, Casper Petersen, Birger Larsen:
Exploiting the Bipartite Structure of Entity Grids for Document Coherence and Retrieval. CoRR abs/1608.00758 (2016) - [i6]Casper Petersen, Jakob Grue Simonsen, Kalervo Järvelin, Christina Lioma:
Adaptive Distributional Extensions to DFR Ranking. CoRR abs/1609.00969 (2016) - [i5]Cynthia Kop, Jakob Grue Simonsen:
Complexity Hierarchies and Higher-order Cons-free Term Rewriting. CoRR abs/1611.10334 (2016) - 2015
- [j19]Jaroslav Michalco, Jakob Grue Simonsen, Kasper Hornbæk:
An Exploration of the Relation Between Expectations and User Experience. Int. J. Hum. Comput. Interact. 31(9): 603-617 (2015) - [j18]Jakob Grue Simonsen:
A Confluent Rewriting System Having No Computable, One-Step, Normalizing Strategy. ACM Trans. Comput. Log. 16(2): 10:1-10:9 (2015) - [c28]Casper Petersen, Jakob Grue Simonsen, Christina Lioma:
The Impact of Using Combinatorial Optimisation for Static Caching of Posting Lists. AIRS 2015: 420-425 - [c27]Alessandro Sordoni, Yoshua Bengio, Hossein Vahabi, Christina Lioma, Jakob Grue Simonsen, Jian-Yun Nie:
A Hierarchical Recurrent Encoder-Decoder for Generative Context-Aware Query Suggestion. CIKM 2015: 553-562 - [c26]Casper Petersen, Christina Lioma, Jakob Grue Simonsen, Birger Larsen:
Entropy and Graph Based Modelling of Document Coherence using Discourse Entities: An Application to IR. ICTIR 2015: 191-200 - [c25]Martin Gielsgaard Grünbaum, Jakob Grue Simonsen:
The Affordances of Broken Affordances. INTERACT (3) 2015: 185-202 - [c24]Christina Lioma, Jakob Grue Simonsen, Birger Larsen, Niels Dalum Hansen:
Non-Compositional Term Dependence for Information Retrieval. SIGIR 2015: 595-604 - [i4]Casper Petersen, Noy Rotbart, Jakob Grue Simonsen, Christian Wulff-Nilsen:
Near-optimal adjacency labeling scheme for power-law graphs. CoRR abs/1502.03971 (2015) - [i3]Alessandro Sordoni, Yoshua Bengio, Hossein Vahabi, Christina Lioma, Jakob Grue Simonsen, Jian-Yun Nie:
A Hierarchical Recurrent Encoder-Decoder For Generative Context-Aware Query Suggestion. CoRR abs/1507.02221 (2015) - [i2]Christina Lioma, Jakob Grue Simonsen, Birger Larsen, Niels Dalum Hansen:
Non-Compositional Term Dependence for Information Retrieval. CoRR abs/1507.08198 (2015) - [i1]Casper Petersen, Christina Lioma, Jakob Grue Simonsen, Birger Larsen:
Entropy and Graph Based Modelling of Document Coherence using Discourse Entities: An Application. CoRR abs/1507.08234 (2015) - 2014
- [c23]Kasper Hornbæk, Søren S. Sander, Javier Andrés Bargas-Avila, Jakob Grue Simonsen:
Is once enough?: on the extent and content of replications in human-computer interaction. CHI 2014: 3523-3532 - [c22]Steffen Hedegaard, Jakob Grue Simonsen:
Mining until it hurts: automatic extraction of usability issues from online reviews compared to traditional usability evaluation. NordiCHI 2014: 157-166 - [c21]Daniel de Carvalho, Jakob Grue Simonsen:
An Implicit Characterization of the Polynomial-Time Decidable Sets by Cons-Free Rewriting. RTA-TLCA 2014: 179-193 - 2013
- [j17]Johan Sejr Brinch Nielsen, Jakob Grue Simonsen:
An experimental investigation of the normality of irrational algebraic numbers. Math. Comput. 82(283): 1837-1858 (2013) - [j16]Jeroen Ketema, Jakob Grue Simonsen:
Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus. ACM Trans. Comput. Log. 14(4): 31:1-31:28 (2013) - [c20]Steffen Hedegaard, Jakob Grue Simonsen:
Extracting usability and user experience information from online user reviews. CHI 2013: 2089-2098 - [c19]Casper Petersen, Christina Lioma, Jakob Grue Simonsen:
Comparative Study of Search Engine Result Visualisation: Ranked Lists Versus Graphs. EuroHCIR 2013: 27-30 - 2012
- [j15]Amir M. Ben-Amram, Niels H. Christensen, Jakob Grue Simonsen:
Computational Models with No Linear Speedup. Chic. J. Theor. Comput. Sci. 2012 (2012) - [c18]Jeroen Ketema, Jakob Grue Simonsen:
Characterizing Languages by Normalization and Termination in String Rewriting - (Extended Abstract). Developments in Language Theory 2012: 459-464 - [c17]Soren Bjerg Andersen, Jakob Grue Simonsen:
Term Rewriting Systems as Topological Dynamical Systems. RTA 2012: 53-68 - 2011
- [j14]Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, Søren Bjerregaard Vrist:
Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation. Sci. Ann. Comput. Sci. 21(1): 73-106 (2011) - [j13]Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema:
Levels of undecidability in rewriting. Inf. Comput. 209(2): 227-245 (2011) - [j12]Jeroen Ketema, Jakob Grue Simonsen:
Infinitary Combinatory Reduction Systems. Inf. Comput. 209(6): 893-926 (2011) - [j11]Jakob Grue Simonsen:
Beta-Shifts, Their Languages, and Computability. Theory Comput. Syst. 48(2): 297-318 (2011) - [c16]Steffen Hedegaard, Jakob Grue Simonsen:
Lost in Translation: Authorship Attribution using Frame Semantics. ACL (2) 2011: 65-70 - [c15]Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, Søren Bjerregaard Vrist:
Computational Biology: A Programming Perspective. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 403-433 - [c14]Andreas Schnabl, Jakob Grue Simonsen:
The Exact Hardness of Deciding Derivational and Runtime Complexity. CSL 2011: 481-495 - [c13]Esben Paul Bugge, Kim Lundsteen Juncher, Brian Søborg Mathiasen, Jakob Grue Simonsen:
Using Sequence Alignment and Voting to Improve Optical Music Recognition from Multiple Recognizers. ISMIR 2011: 405-410 - [c12]Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen:
Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. RTA 2011: 61-70 - 2010
- [j10]Jeroen Ketema, Jakob Grue Simonsen:
Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies. Log. Methods Comput. Sci. 6(1) (2010) - [c11]Jeroen Ketema, Jakob Grue Simonsen:
Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and lambda-Calculus. FLOPS 2010: 272-287 - [c10]Claus Appel, Vincent van Oostrom, Jakob Grue Simonsen:
Higher-Order (Non-)Modularity . RTA 2010: 17-32 - [c9]Jakob Grue Simonsen:
Weak Convergence and Uniform Normalization in Infinitary Rewriting. RTA 2010: 311-324 - [c8]Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen:
Programming in Biomolecular Computation. CS2Bio 2010: 97-114
2000 – 2009
- 2009
- [j9]Jeroen Ketema, Jakob Grue Simonsen:
Infinitary Combinatory Reduction Systems: Confluence. Log. Methods Comput. Sci. 5(4) (2009) - [j8]Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen:
POETS: Process-oriented event-driven transaction systems. J. Log. Algebraic Methods Program. 78(5): 381-401 (2009) - [j7]Jakob Grue Simonsen:
On the computational complexity of the languages of general symbolic dynamical systems and beta-shifts. Theor. Comput. Sci. 410(47-49): 4878-4891 (2009) - [c7]Jakob Grue Simonsen:
The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity). RTA 2009: 335-349 - [c6]Steffen Hedegaard, Søren Houen, Jakob Grue Simonsen:
LAIR: A Language for Automated Semantics-Aware Text Sanitization Based on Frame Semantics. ICSC 2009: 47-52 - 2006
- [j6]Jakob Grue Simonsen:
On the Computability of the Topological Entropy of Subshifts. Discret. Math. Theor. Comput. Sci. 8(1): 83-96 (2006) - [j5]Jakob Grue Simonsen:
On modularity in infinitary term rewriting. Inf. Comput. 204(6): 957-988 (2006) - [j4]Jakob Grue Simonsen:
On local non-compactness in recursive mathematics. Math. Log. Q. 52(4): 323-330 (2006) - [j3]Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen:
Compositional specification of commercial contracts. Int. J. Softw. Tools Technol. Transf. 8(6): 485-516 (2006) - 2005
- [j2]Jakob Grue Simonsen:
Specker sequences revisited. Math. Log. Q. 51(5): 532-540 (2005) - [c5]Jeroen Ketema, Jakob Grue Simonsen:
On Confluence of Infinitary Combinatory Reduction Systems. LPAR 2005: 199-214 - [c4]Jakob Grue Simonsen:
On Beta-Shifts Having Arithmetical Languages. MFCS 2005: 757-768 - [c3]Jeroen Ketema, Jakob Grue Simonsen:
Infinitary Combinatory Reduction Systems. RTA 2005: 438-452 - 2004
- [j1]Jakob Grue Simonsen:
On confluence and residuals in Cauchy convergent transfinite rewriting. Inf. Process. Lett. 91(3): 141-146 (2004) - [c2]Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen:
Compositional Specification of Commercial Contracts. ISoLA (Preliminary proceedings) 2004: 103-110 - [c1]Jakob Grue Simonsen:
On the Modularity of Confluence in Infinitary Term Rewriting. RTA 2004: 185-199
Coauthor Index
[c72] [i36] [j28] [j26] [c68] [i35] [i34] [c66] [c65] [c63] [c62] [c61] [i33] [i32] [i31] [c60] [c57] [c56] [c55] [c53] [c52] [c51] [i30] [i28] [i27] [i26] [i24] [i22] [i21] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [i20] [i19] [i18] [i17] [i16] [i15] [i14] [i13] [c41] [c40] [c36] [i11] [j20] [c33] [c31] [i8] [i7] [i6] [c28] [c27] [c26] [c24] [i3] [i2] [i1] [c19]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-19 21:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
