Mikkel Thorup

Mikkel Thorup

Professor

Medlem af:


    1. 1990
    2. On conservative extensions of syntax in the process of system development

      Blikle, A. & Thorup, Mikkel, 1990, Proceedings of VDM'90, VDM and Z---Formal Methods in Software Development, LNCS 428. Springer, s. 504-525 22 s. (Lecture notes in computer science, Bind 428).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    3. Zenons paradoks -- ren logik eller snedig rethorik

      Thorup, Mikkel, 1990, I: Kvant, Fysisk Tidskrift. 1, s. 24-26 3 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    4. 1991
    5. On conservative extensions of syntax in system development

      Blikle, A., Tarlecki, A. & Thorup, Mikkel, 1991, I: Theoretical Computer Science. 90, 1, s. 209-233 25 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    6. 1992
    7. Ambiguity for incremental parsing and evaluation

      Thorup, Mikkel, 1992, Oxford university computing laboratory.

      Publikation: Working paperForskning

    8. 1993
    9. On Shortcutting Digraphs

      Thorup, Mikkel, 1993, Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science (WG), LNCS 657. Springer, s. 205-211 7 s. (Lecture notes in computer science, Bind 657).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    10. Topics in Computation

      Thorup, Mikkel, 1993

      Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

    11. 1994
    12. Controlled grammatic ambiguity

      Thorup, Mikkel, 1994, I: ACM Transactions on Programming Languages and Systems. 16, 3, s. 1024-1050

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    13. Efficient preprocessing of simple binary pattern forests

      Thorup, Mikkel, 1994, Proceedings of the 4th Scandinavian Workshop on Algorithm Theory. Springer, s. 350-358

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    14. Fast comparison of evolutionary trees

      Farach, M. & Thorup, Mikkel, 1994, Proceedings of the 5th ACM-SIAM Symposium on Discrete Algorithms (SODA). s. 481-488 8 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    15. Optimal evolutionary tree comparison by sparse dynamic programming

      Farach, M. & Thorup, Mikkel, 1994, Proceedings of the 35th IEEE Symposium on Foundations of Computer Science (FOCS). s. 770-779 10 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

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

    ID: 34257574