Jakob Grue Simonsen

Jakob Grue Simonsen

Professor


  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 tidsskriftTidsskriftartikelForskningfagfæ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/rapportKonferencebidrag i proceedingsForskningfagfæ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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  4. Udgivet

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

    Augenstein, Isabelle, Lioma, Christina, Wang, Dongsheng, Chaves Lima, Lucas, Hansen, Casper, Hansen, Christian & 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-4696

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  5. 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 tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. 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 tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. 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 tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  9. 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 tidsskriftTidsskriftartikelForskningfagfællebedømt

  10. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Forrige 1 2 3 4 5 6 7 8 ...10 Næste

ID: 12543