Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:

    ORCID: 0000-0002-3488-9392

    Udgivelsesår:
    Alle
    1 - 10 ud af 123Pr. side: 10
    Sortering: Udgivelsesår
    1. 1990
    2. Udgivet

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

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

    3. 2004
    4. Udgivet

      Compositional Specification of Commercial Contracts

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

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

    5. Udgivet

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

      Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling

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

    7. Udgivet

      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, s. 185-199

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

    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. 2005
    10. Udgivet

      Infinitary Combinatory Reduction Systems

      Ketema, J. & Simonsen, Jakob Grue, 2005, Proceedings of the 30th International Conference on Rewriting Techniques and Applications. 3467 udg. s. 438-452

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

    11. Udgivet

      On Confluence of Infinitary Combinatory Reduction Systems

      Ketema, J. & Simonsen, Jakob Grue, 2005, Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05). 3835 udg. Berlin: Springer, s. 199-214

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

    12. Udgivet

      On Beta-Shifts Having Arithmetical Languages

      Simonsen, Jakob Grue, 2005, : Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science. 3618 udg. Springer, s. 757-768

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

    13. Udgivet

      On Computable Approximation of Infinite Objects

      Simonsen, Jakob Grue, 2005, 145 s.

      Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

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

    ID: 12543