Jakob Grue Simonsen
Institutleder
- 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
- Udgivet
Beta-shifts, their languages and computability
Simonsen, Jakob Grue, 2011, I: Theory of Computing Systems. 48, 2, s. 297-318Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Brief announcement: labeling schemes for power-law graphs
Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, s. 39-41 3 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Can Workplace Tracking Ever Empower? Collective Sensemaking for the Responsible Use of Sensor Data at Work
Møller, Naja Holten, Neff, G., Simonsen, Jakob Grue, Villumsen, J. C. & Bjorn, Pernille, jul. 2021, I: Proceedings of the ACM on Human-Computer Interaction. 5, GROUP, 21 s., 219.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- Udgivet
Characterizing languages by normalization and termination in string rewriting
Ketema, J. & Simonsen, Jakob Grue, 2012, Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Yen, H-C. & Ibarra, O. H. (red.). Springer, s. 459-464 6 s. (Lecture notes in computer science, Bind 7410).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- Udgivet
Classifying VAT Legislation for Automation
Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.Publikation: Konferencebidrag › Paper › Forskning
- Udgivet
Comparative study of search engine result visualisation: ranked lists versus graphs
Petersen, C., Lioma, Christina & Simonsen, Jakob Grue, 2013, Proceedings of the 3rd European Workshop on Human-Computer Interaction and Information Retrieval co-located with the 36th international ACM SIGIR conference on Research and development in information retrieval (SIGIR 2013). Wilson, M. L., T. R-R., Larsen, B., Hansen, P. & Norling, K. (red.). s. 27-30 4 s. (CEUR Workshop Proceedings, Bind 1033).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
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