Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:

    ORCID: 0000-0002-3488-9392

    Udgivelsesår:
    Alle
    11 - 20 ud af 123Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2005
    2. 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

    3. 2006
    4. Udgivet

      Compositional specification of commercial contracts

      Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, I: International Journal on Software Tools for Technology Transfer. s. 485 - 516 31 s.

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

    5. Udgivet

      On Local Non-Compactness in Recursive Mathematics

      Simonsen, Jakob Grue, 2006, I: Mathematical Logic Quarterly. 52/4, s. 323-330

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

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

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

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

    9. 2007
    10. Udgivet

      Compositional Contract Specification for REA

      Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (red.). Universitetet i Oslo, s. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    11. Udgivet

      Tutorial on Modeling VAT Rules Using OWL-DL

      Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2007.

      Publikation: Konferencebidrag › Paper › Forskning

    12. 2008
    13. Udgivet

      Classifying VAT Legislation for Automation

      Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.

      Publikation: Konferencebidrag › Paper › Forskning

    14. Udgivet

      Interpretive Overhead and Optimal Specialisation. Or: Life without the Pending List (Workshop Version)

      Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2008. 11 s.

      Publikation: Konferencebidrag › Paper › Forskning

    Forrige 1 2 3 4 5 6 7 8 ...13 Næste

    ID: 12543