Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:

    ORCID: 0000-0002-3488-9392

    Udgivelsesår:
    Alle
    1 - 5 ud af 5Pr. side: 25
    Sortering: Udgivelsesdato
    1. 2009
    2. Udgivet

      Infinitary Combinatory Reduction Systems: Confluence

      Ketema, J. & Simonsen, Jakob Grue, 2009, I: Logical Methods in Computer Science. 5, 4:3, s. 1-29 29 s.

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

    3. Udgivet

      LAIR: A Language for Automated Semantics-Aware Text Sanitization based on Frame Semantics

      Hedegaard, S., Houen, S. & Simonsen, Jakob Grue, 2009, Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009). IEEE Computer Society Press, s. 47-52 6 s.

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

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

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

    6. Udgivet

      The Pi-0-2-Completeness of most of the Properties of Rewriting You Care About (and Productivity)

      Simonsen, Jakob Grue, 2009, Rewriting Techniques and Applications: 20th International Conference, RTA 2009. Springer, Bind 5595. s. 335-349 15 s. (Lecture notes in computer science, Bind 5595).

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

    ID: 12543