Jakob Grue Simonsen

Jakob Grue Simonsen

Head of Department

Member of:

    ORCID: 0000-0002-3488-9392

    Publication year:
    All
    121 - 123 out of 123Page size: 10
    1. 2004
    2. Published

      Compositional Specification of Commercial Contracts (Technical. report)

      Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 p.

      Research output: Book/Report › Report › Communication

    3. Published

      On the Modularity og Confluence in Infinitary Term Rewiting

      Simonsen, Jakob Grue, 2004, Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004). Berlin: Springer, p. 185-199

      Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

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

    Previous 1...9 10 11 12 13 Next

    ID: 12543