Jakob Grue Simonsen
Institutleder
- Udgivet
Projected hamming dissimilarity for bit-level importance coding in collaborative filtering
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2021, The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021. Association for Computing Machinery, Inc, s. 261-269Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- Udgivet
Requirements for Logical Models for Value-Added Tax Legislation
Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008. 5 s.Publikation: Konferencebidrag › Paper › Forskning
- Udgivet
Rewriting the Finite and the Infinite: Disputats for the Degree of Doctor Scientiarum at the University of Copenhagen
Simonsen, Jakob Grue, 2012, Københavns Universitet. 294 s.Publikation: Bog/antologi/afhandling/rapport › Doktordisputats › Forskning
- Udgivet
Sketching shape-changing interfaces: exploring vocabulary, metaphors use, and affordances
Rasmussen, M. K., Troiano, G. M., Petersen, M. G., Simonsen, Jakob Grue & Hornbæk, Kasper, 2016, Proceedings - the 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 2740-2751 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- Udgivet
Specker Sequences Revisited
Simonsen, Jakob Grue, 2005, I: Mathematical Logic Quarterly. 51(5), s. 532-540Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Subclasses of Ptime Interpreted by Programming Languages
Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, I: Theory of Computing Systems. 3, s. 437-472Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations
Moyen, J. Y. & Simonsen, Jakob Grue, 2021, Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Proceedings. De Mol, L., Weiermann, A., Manea, F. & Fernández-Duque, D. (red.). Springer, s. 363-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12813 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
ID: 12543
Flest downloads
-
4106
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2507
downloads
Classifying VAT Legislation for Automation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2079
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Publikation: Konferencebidrag › Paper › Forskning
Udgivet