Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:

    ORCID: 0000-0002-3488-9392

    Udgivelsesår:
    Alle
    1 - 25 ud af 123Pr. side: 25
    Sortering: 1. forfatter
    1. 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

    2. Udgivet

      Term rewriting systems as topological dynamical systems

      Andersen, S. B. & Simonsen, Jakob Grue, 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Tiwari, A. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 53-68 16 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    3. Udgivet

      Higher-order (non-)modularity

      Appel, C., van Oostrom, V. & Simonsen, Jakob Grue, 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Lynch, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 17-32 16 s. (Leibniz International Proceedings in Informatics, Bind 6).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    4. 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

    5. Udgivet

      Generating Fact Checking Explanations

      Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2020, : Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, s. 7352-7364

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    6. Udgivet

      A Diagnostic Study of Explainability Techniques for Text Classification

      Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2020, Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP). Association for Computational Linguistics, s. 3256-3274

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    7. Udgivet

      Faithfulness Tests for Natural Language Explanations

      Atanasova, Pepa Kostadinova, Camburu, O. M., Lioma, Christina, Lukasiewicz, T., Simonsen, Jakob Grue & Augenstein, Isabelle, 2023, Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers). Association for Computational Linguistics (ACL), s. 283-294 12 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › 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

      MultiFC: A Real-World Multi-Domain Dataset for Evidence-Based Fact Checking of Claims

      Augenstein, Isabelle, Lioma, Christina, Wang, D., Chaves Lima, L., Hansen, C., Hansen, C. & Simonsen, Jakob Grue, 2019, Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP). Association for Computational Linguistics, s. 4684-4697

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    10. 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

    11. Udgivet

      Comparing Trace Similarity Metrics Across Logs and Evaluation Measures

      Back, C.O. & Simonsen, Jakob Grue, 2023, Advanced Information Systems Engineering: 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings. Indulska, M., Reinhartz-Berger, I., Cetina, C. & Pastor, O. (red.). Springer, s. 226-242 17 s. (Lecture Notes in Computer Science, Bind 13901)).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    12. 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

    13. 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

    14. 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

    15. 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

    16. Udgivet

      Using sequence alignment and voting to improve optical music recognition from multiple recognizers

      Bugge, E. P., Juncher, K. L., Mathiesen, B. S. & Simonsen, Jakob Grue, 2011, Proceedings of the 12th International Society for Music Information Retrieval Conference. Klapuri, A. & Leider, C. (red.). University of Miami, s. 405-410 6 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    17. 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

    18. Udgivet

      Computing continuous-time Markov chains as transformers of unbounded observables

      Danos, V., Heindel, T., Garnier, I. & Simonsen, Jakob Grue, 2017, Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Esparza, J. & Murawski, A. S. (red.). Springer, s. 338-354 17 s. (Lecture notes in computer science, Bind 10203).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    19. 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, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, s. 69-70 2 s. 3399520

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    20. 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

    21. 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

    22. 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

    23. 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

    24. Udgivet

      Anagopos: a reduction graph visualizer for term rewriting and lambda calculus

      Grathwohl, N. B. B., Ketema, J., Pallesen, J. D. & Simonsen, Jakob Grue, 2011, 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Schmidt-Schauß, M. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 61-70 10 s. (Leibniz International Proceedings in Informatics, Bind 10).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    25. Udgivet

      The affordances of broken affordances

      Grünbaum, M. G. & Simonsen, Jakob Grue, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (red.). Springer, s. 185-202 18 s. (Lecture notes in computer science, Bind 9298).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    Forrige 1 2 3 4 5 Næste

    ID: 12543