Stop the war!Остановите войну!
for scientists:
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
- 2023
[i36]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)- 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]