Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:

    ORCID: 0000-0002-3488-9392

    Udgivelsesår:
    Alle
    76 - 100 ud af 118Pr. side: 25
    Sortering: Titel
    1. Udgivet

      On Modularity in Infinitary Rewriting

      Simonsen, Jakob Grue, 2006, I: Information and Computation. 204(6), s. 957-988

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    2. Udgivet

      On Position Embeddings in BERT

      Wang, B., Shan, L., Lioma, Christina, Jiang, X., Yang, H., Liu, Q. & Simonsen, Jakob Grue, 2021, s. 1-21.

      Publikation: Konferencebidrag › Paper › Forskning

    3. Udgivet

      On confluence and residuals in Cauchy convergent transfinite rewriting

      Simonsen, Jakob Grue, 16 aug. 2004, I: Information Processing Letters. 91, 3, s. 141-146 6 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    4. Udgivet

      On modularity in infinitary term rewriting

      Simonsen, Jakob Grue, 1 jan. 2006, I: Information and Computation. 204, 6, s. 957-988 32 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    5. Udgivet

      On the Complexity of Conversion Between Classic Real Number Representations

      Kristiansen, L. & Simonsen, Jakob Grue, 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (red.). Springer VS, s. 75-86 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12098 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    6. Udgivet

      On the Computability of the Topological Entropy of Subshifts

      Simonsen, Jakob Grue, 2006, I: Discrete Mathematics and Theoretical Computer Science. 8, s. 83-96

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    7. Udgivet

      On the Computational Complexity of the Languages of General Symbolic Dynamical Systems and Beta-Shifts

      Simonsen, Jakob Grue, 2009, I: Theoretical Computer Science. 410, 47-49, s. 4878-4891 14 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    8. Udgivet

      On the modularity of confluence in infinitary term rewriting

      Simonsen, Jakob Grue, 1 dec. 2004, I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3091, s. 185-199 15 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    9. Udgivet

      POETS: Process-oriented Enterprise Transaction Systems

      Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, I: Journal of Logic and Algebraic Programming. 78, 5, s. 381-401 21 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    10. Udgivet

      Power law distributions in information retrieval

      Petersen, C., Simonsen, Jakob Grue & Lioma, Christina, 2016, I: A C M Transactions on Information Systems. 34, 2, 37 s., 8.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    11. Udgivet

      Principled Multi-Aspect Evaluation Measures of Rankings

      Maistro, Maria, Lima, L. C., Simonsen, Jakob Grue & Lioma, Christina, 2021, CIKM 2021 - Proceedings of the 30th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, Inc, s. 1232-1242

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    12. Udgivet

      Privacy Lost in Online Education: Analysis of Web Tracking Evolution

      Su, Z., Helles, Rasmus, Al-Laith, Ali Mohammed Ali, Veilahti, A. V. P., Saxena, A. & Simonsen, Jakob Grue, 2023, Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21–23, 2023, Proceedings. Yang, X., Suhartanto, H., Wang, G., Wang, B., Jiang, J., Li, B., Zhu, H. & Cui, N. (red.). Cham: Springer, Cham, Bind 2. s. 440-455 15 s. (Lecture Notes in Computer Science).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    13. Udgivet

      Programming in biomolecular computation

      Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2010, I: Electronical Notes in Theoretical Computer Science. 268, s. 97-114 18 s.

      Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

    14. Udgivet

      Programming in biomolecular computation: programs, self-interpretation and visualisation

      Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, I: Scientific Annals of Computer Science. 21, 1, s. 73-106 34 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    15. Udgivet

      Programs=data=first-class citizens in a computational world

      Jones, N. & Simonsen, Jakob Grue, 2012, I: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 370, 1971, s. 3305-3318 14 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    16. 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-269

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

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

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

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

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

    22. Udgivet

      Specker Sequences Revisited

      Simonsen, Jakob Grue, 2005, I: Mathematical Logic Quarterly. 51(5), s. 532-540

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    23. Udgivet

      Subclasses of Ptime Interpreted by Programming Languages

      Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, I: Theory of Computing Systems. 3, s. 437-472

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

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

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

    Forrige 1 2 3 4 5 Næste

    ID: 12543