Jakob Grue Simonsen
Institutleder
- 2017
- 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
- 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
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
User Experience
Simonsen, Jakob Grue, 21 jun. 2017, The Wiley Handbook of Human Computer Interaction Set. Wiley-Blackwell, Bind 1. s. 191-206Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
ID: 12543
Flest downloads
-
4105
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2506
downloads
Classifying VAT Legislation for Automation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2077
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Publikation: Konferencebidrag › Paper › Forskning
Udgivet