Jakob Grue Simonsen

Jakob Grue Simonsen

Head of Department

Member of:

    ORCID: 0000-0002-3488-9392

    Publication year:
    All
    1 - 25 out of 118Page size: 25
    1. 1990
    2. Published

      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, In: International Journal of Legal Medicine (Print). 104, 1, p. 3-7 5 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    3. 2004
    4. Published

      Compositional Specification of Commercial Contracts

      Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, p. 8

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    5. Published

      On confluence and residuals in Cauchy convergent transfinite rewriting

      Simonsen, Jakob Grue, 16 Aug 2004, In: Information Processing Letters. 91, 3, p. 141-146 6 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    6. Published

      On the modularity of confluence in infinitary term rewriting

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    7. 2005
    8. Published

      On Computable Approximation of Infinite Objects

      Simonsen, Jakob Grue, 2005, 145 p.

      Research output: Book/Report › Ph.D. thesis › Research

    9. Published

      Specker Sequences Revisited

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    10. 2006
    11. Published

      Compositional specification of commercial contracts

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    12. Published

      On Local Non-Compactness in Recursive Mathematics

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    13. Published

      On Modularity in Infinitary Rewriting

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    14. Published

      On the Computability of the Topological Entropy of Subshifts

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    15. Published

      On modularity in infinitary term rewriting

      Simonsen, Jakob Grue, 1 Jan 2006, In: Information and Computation. 204, 6, p. 957-988 32 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    16. 2007
    17. Published

      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. (eds.). Universitetet i Oslo, p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

    18. Published

      Tutorial on Modeling VAT Rules Using OWL-DL

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

      Research output: Contribution to conference › Paper › Research

    19. 2008
    20. Published

      Classifying VAT Legislation for Automation

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

      Research output: Contribution to conference › Paper › Research

    21. Published

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

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

      Research output: Contribution to conference › Paper › Research

    22. Published

      Requirements for Logical Models for Value-Added Tax Legislation

      Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008. 5 p.

      Research output: Contribution to conference › Paper › Research

    23. 2009
    24. Published

      Infinitary Combinatory Reduction Systems: Confluence

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    25. Published

      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, p. 47-52 6 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    26. Published

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

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    27. Published

      POETS: Process-oriented Enterprise Transaction Systems

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    28. Published

      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, Vol. 5595. p. 335-349 15 p. (Lecture notes in computer science, Vol. 5595).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    29. 2010
    30. Published

      Higher-order (non-)modularity

      Appel, C., van Oostrom, V. & Simonsen, Jakob Grue, 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Lynch, C. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 17-32 16 p. (Leibniz International Proceedings in Informatics, Vol. 6).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    31. Published

      Infinitary combinatory reduction systems: normalising reduction strategies

      Ketema, J. & Simonsen, Jakob Grue, 2010, In: Logical Methods in Computer Science. 6, 1, 35 p., 7.

      Research output: Contribution to journal › Journal article › Research › peer-review

    32. Published

      Least upper bounds on the size of Church-Rosser diagrams in term rewriting and λ-calculus

      Ketema, J. & Simonsen, Jakob Grue, 2010, Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Blume, M., Kobayashi, N. & Vidal, G. (eds.). Springer, p. 272-287 (Lecture notes in computer science, Vol. 6009).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    33. Published

      Programming in biomolecular computation

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

      Research output: Contribution to journal › Conference article › Research › peer-review

    Previous 1 2 3 4 5 Next

    ID: 12543