Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:

    ORCID: 0000-0002-3488-9392

    Udgivelsesår:
    Alle
    1 - 25 ud af 123Pr. side: 25
    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

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

    15. 2006
    16. 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

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

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

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

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

    21. 2007
    22. 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

    23. Udgivet

      Tutorial on Modeling VAT Rules Using OWL-DL

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

      Publikation: Konferencebidrag › Paper › Forskning

    24. 2008
    25. 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

    26. Udgivet

      Requirements for Logical Models for Value-Added Tax Legislation

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

      Publikation: Konferencebidrag › Paper › Forskning

    27. Udgivet

      Classifying VAT Legislation for Automation

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

      Publikation: Konferencebidrag › Paper › Forskning

    28. 2009
    29. 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

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

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

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

    Forrige 1 2 3 4 5 Næste

    ID: 12543