Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:

    ORCID: 0000-0002-3488-9392

    Udgivelsesår:
    Alle
    1 - 43 ud af 43Pr. side: 100
    Sortering: Udgivelsesdato
    1. 2023
    2. Udgivet

      Read/write factorizable programs

      Bhaskar, S. & Simonsen, Jakob Grue, 8 jun. 2023, I: Journal of Functional Programming. 33, 4, s. 1-50 e5.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    3. Udgivet

      A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff

      Dargaj, J. & Simonsen, Jakob Grue, 2023, I: Journal of Economic Theory. 213, 24 s., 105713.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    4. Udgivet

      Implicit Representation of Relations

      Glončák, V., Munkstrup, J. E. E. & Simonsen, Jakob Grue, 2023, I: Theory of Computing Systems. 67, 6, s. 1156-1196

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    5. Udgivet

      Subclasses of Ptime Interpreted by Programming Languages

      Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, I: Theory of Computing Systems. 3, s. 437-472

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    6. 2022
    7. Udgivet

      Complex-valued Neural Network-based Quantum Language Models

      Zhang, P., Hui, W., Wang, B., Zhao, D., Song, D., Lioma, Christina & Simonsen, Jakob Grue, 2022, I: ACM Transactions on Information Systems. 40, 4, 31 s., 84.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    8. Udgivet

      Diagnostics-Guided Explanation Generation

      Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, I: Proceedings of the International Joint Conference on Artificial Intelligence. 36, 10, s. 10445-10453.

      Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning

    9. Udgivet

      Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria

      Dargaj, J. & Simonsen, Jakob Grue, 2022, I: ACM Transactions on Economics and Computation. 10, 1, s. 1-39 3.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    10. Udgivet

      Fact Checking with Insufficient Evidence

      Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, I: Transactions of the Association for Computational Linguistics. 10, s. 746-763

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    11. 2021
    12. Udgivet

      Can Workplace Tracking Ever Empower? Collective Sensemaking for the Responsible Use of Sensor Data at Work

      Møller, Naja Holten, Neff, G., Simonsen, Jakob Grue, Villumsen, J. C. & Bjorn, Pernille, jul. 2021, I: Proceedings of the ACM on Human-Computer Interaction. 5, GROUP, 21 s., 219.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    13. 2020
    14. Udgivet

      Cons-free programs and complexity classes between LOGSPACE and PTIME

      Jones, N. D., Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2020, I: Electronic Proceedings in Theoretical Computer Science. 320, s. 65-79

      Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

    15. 2019
    16. Udgivet

      Computing with Infinite Terms and Infinite Reductions

      Ketema, J. & Simonsen, Jakob Grue, 2019, I: Fundamenta Informaticae. 170, 4, s. 339-365 27 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    17. Udgivet

      Neural weakly supervised fact check-worthiness detection with contrastive sampling-based ranking loss

      Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2019, I: CEUR Workshop Proceedings. 2380, 8 s.

      Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

    18. Udgivet

      The fixed point property and a technique to harness double fixed point combinators

      Manzonetto, G., Polonsky, A., Saurin, A. & Simonsen, Jakob Grue, 2019, I: Journal of Logic and Computation. 29, 5, s. 831-880

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    19. 2018
    20. Udgivet

      Chains, antichains, and complements in infinite partition lattices

      Avery, James Emil, Moyen, J., Ruzicka, P. & Simonsen, Jakob Grue, 2018, I: Algebra Universalis. 79, 37, 21 s., 37.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    21. 2017
    22. Udgivet

      Complexity hierarchies and higher-order cons-free term rewriting

      Kop, C. L. M. & Simonsen, Jakob Grue, 7 aug. 2017, I: Logical Methods in Computer Science. 13, 3, 29 s., 8.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    23. 2016
    24. Udgivet

      Power law distributions in information retrieval

      Petersen, C., Simonsen, Jakob Grue & Lioma, Christina, 2016, I: A C M Transactions on Information Systems. 34, 2, 37 s., 8.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    25. Udgivet

      Some remarks on real numbers induced by first-order spectra

      Jakobsen, S. & Simonsen, Jakob Grue, 2016, I: Notre Dame Journal of Formal Logic. 57, 3, s. 355-368 14 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    26. 2015
    27. Udgivet

      A confluent rewriting system having no computable, one-step, normalizing strategy

      Simonsen, Jakob Grue, 2015, I: ACM Transactions on Computational Logic. 16, 2, 9 s., 10.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    28. Udgivet

      An exploration of the relation between expectations and user experience

      Michalco, J., Simonsen, Jakob Grue & Hornbæk, Kasper, 2015, I: International Journal of Human-Computer Interaction. 31, 9, s. 603-617 15 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    29. Udgivet

      Near-optimal adjacency labeling scheme for power-law graphs

      Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2015, I: arXiv.org: Computer science. arXiv:1502.03971, 18 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

    30. Udgivet

      Towards a standard testbed for optical music recognition: definitions, metrics, and page images

      Byrd, D. & Simonsen, Jakob Grue, 2015, I: Journal of New Music Research. 44, 3, s. 169-195 27 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    31. 2013
    32. Udgivet

      An experimental investigation of the normality of irrational algebraic numbers

      Nielsen, J. S. B. & Simonsen, Jakob Grue, 2013, I: Mathematics of Computation. 82, s. 1837-1858 22 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    33. Udgivet

      Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus

      Ketema, J. & Simonsen, Jakob Grue, 2013, I: A C M Transactions on Computational Logic. 14, 4, 28 s., 31.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    34. 2012
    35. Udgivet

      Computational models with no linear speedup

      Ben-Amram, A. M., Christensen, N. H. & Simonsen, Jakob Grue, 2012, I: Chicago Journal of Theoretical Computer Science. 2012, 24 s., 07.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    36. Udgivet

      Programs=data=first-class citizens in a computational world

      Jones, N. & Simonsen, Jakob Grue, 2012, I: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 370, 1971, s. 3305-3318 14 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    37. 2011
    38. Udgivet

      Beta-shifts, their languages and computability

      Simonsen, Jakob Grue, 2011, I: Theory of Computing Systems. 48, 2, s. 297-318

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    39. Udgivet

      Infinitary Combinatory Reduction Systems

      Ketema, J. & Simonsen, Jakob Grue, 2011, I: Information and Computation. 209, 6, s. 893-926 34 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    40. Udgivet

      Levels of undecidability in rewriting

      Endrullis, J., Geuvers, H., Simonsen, Jakob Grue & Zantema, H., 2011, I: Information and Computation. 209, 2, s. 227-245 19 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    41. Udgivet

      Programming in biomolecular computation: programs, self-interpretation and visualisation

      Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, I: Scientific Annals of Computer Science. 21, 1, s. 73-106 34 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    42. 2010
    43. Udgivet

      Infinitary combinatory reduction systems: normalising reduction strategies

      Ketema, J. & Simonsen, Jakob Grue, 2010, I: Logical Methods in Computer Science. 6, 1, 35 s., 7.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    44. Udgivet

      Programming in biomolecular computation

      Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2010, I: Electronical Notes in Theoretical Computer Science. 268, s. 97-114 18 s.

      Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

    45. 2009
    46. Udgivet

      Infinitary Combinatory Reduction Systems: Confluence

      Ketema, J. & Simonsen, Jakob Grue, 2009, I: Logical Methods in Computer Science. 5, 4:3, s. 1-29 29 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    47. Udgivet

      On the Computational Complexity of the Languages of General Symbolic Dynamical Systems and Beta-Shifts

      Simonsen, Jakob Grue, 2009, I: Theoretical Computer Science. 410, 47-49, s. 4878-4891 14 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    48. Udgivet

      POETS: Process-oriented Enterprise Transaction Systems

      Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, I: Journal of Logic and Algebraic Programming. 78, 5, s. 381-401 21 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    49. 2006
    50. Udgivet

      On modularity in infinitary term rewriting

      Simonsen, Jakob Grue, 1 jan. 2006, I: Information and Computation. 204, 6, s. 957-988 32 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    51. Udgivet

      Compositional specification of commercial contracts

      Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, I: International Journal on Software Tools for Technology Transfer. s. 485 - 516 31 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    52. Udgivet

      On Local Non-Compactness in Recursive Mathematics

      Simonsen, Jakob Grue, 2006, I: Mathematical Logic Quarterly. 52/4, s. 323-330

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    53. Udgivet

      On Modularity in Infinitary Rewriting

      Simonsen, Jakob Grue, 2006, I: Information and Computation. 204(6), s. 957-988

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    54. Udgivet

      On the Computability of the Topological Entropy of Subshifts

      Simonsen, Jakob Grue, 2006, I: Discrete Mathematics and Theoretical Computer Science. 8, s. 83-96

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    55. 2005
    56. Udgivet

      Specker Sequences Revisited

      Simonsen, Jakob Grue, 2005, I: Mathematical Logic Quarterly. 51(5), s. 532-540

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    57. 2004
    58. Udgivet

      On the modularity of confluence in infinitary term rewriting

      Simonsen, Jakob Grue, 1 dec. 2004, I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3091, s. 185-199 15 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    59. Udgivet

      On confluence and residuals in Cauchy convergent transfinite rewriting

      Simonsen, Jakob Grue, 16 aug. 2004, I: Information Processing Letters. 91, 3, s. 141-146 6 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    60. 1990
    61. Udgivet

      Chlamydia and sudden infant death syndrome. A study of 166 SIDS and 30 control cases

      Banner, Jytte, Lundemose, A. G., Gregersen, M., Helweg-Larsen, K. & Simonsen, Jakob Grue, dec. 1990, I: International Journal of Legal Medicine (Print). 104, 1, s. 3-7 5 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    ID: 12543