Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:


    1. 2017
    2. 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 tidsskriftTidsskriftartikelfagfællebedømt

    3. Udgivet

      User Experience

      Simonsen, Jakob Grue, 21 jun. 2017, The Wiley Handbook of Human Computer Interaction Set. Wiley-Blackwell, Bind 1. s. 191-206

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

    4. Udgivet

      Computability in the lattice of equivalence relations

      Moyen, J. & Simonsen, Jakob Grue, 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (red.). Open Publishing Association, s. 38-46 9 s. (Electronic Proceedings in Theoretical Computer Science, Bind 248).

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

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

    6. Udgivet

      Evaluation measures for relevance and credibility in ranked lists

      Lioma, Christina, Simonsen, Jakob Grue & Larsen, B., 2017, Proceedings of the 2017 ACM SIGIR International Conference on Theory of Information Retrieval. Association for Computing Machinery, s. 91-98 8 s.

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

    7. Udgivet

      The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming

      Kop, C. L. M. & Simonsen, Jakob Grue, 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. Yang, H. (red.). Springer, s. 668-695 28 s. (Lecture notes in computer science, Bind 10201).

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

    ID: 12543