Mikkel Thorup
Professor
- 1990
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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Zenons paradoks -- ren logik eller snedig rethorik
Thorup, Mikkel, 1990, I: Kvant, Fysisk Tidskrift. 1, s. 24-26 3 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
- 1991
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 tidsskrift › Tidsskriftartikel › fagfællebedømt
- 1992
Ambiguity for incremental parsing and evaluation
Thorup, Mikkel, 1992, Oxford university computing laboratory.Publikation: Working paper › Forskning
- 1993
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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Topics in Computation
Thorup, Mikkel, 1993Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling
- 1994
Controlled grammatic ambiguity
Thorup, Mikkel, 1994, I: ACM Transactions on Programming Languages and Systems. 16, 3, s. 1024-1050Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt
Efficient preprocessing of simple binary pattern forests
Thorup, Mikkel, 1994, Proceedings of the 4th Scandinavian Workshop on Algorithm Theory. Springer, s. 350-358Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 34257574
Flest downloads
-
2497
downloads
Coloring 3-colorable graphs with o(n 1/5) colors
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
129
downloads
Incremental exact min-cut in poly-logarithmic amortized update time
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
102
downloads
Bottleneck paths and trees and deterministic graphical games
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet