Mikkel Thorup

Mikkel Thorup

Professor

Medlem af:

    ORCID: 0000-0001-5237-1709

    Udgivelsesår:
    Alle
    51 - 60 ud af 240Pr. side: 10
    Sortering: 1. forfatter
    1. Udgivet

      Locally Uniform Hashing

      Bercea, I. O., Beretta, Lorenzo, Klausen, Jonas Østergaard, Houen, J. B. T. & Thorup, Mikkel, 2023, Proceedings - 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, FOCS 2023. IEEE Computer Society Press, s. 1440-1470

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

    2. Regular Expression Matching with Multi-Strings and Intervals

      Bille, P. & Thorup, Mikkel, 2010, SODA. SIAM, s. 1297-1308 12 s.

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

    3. Faster Regular Expression Matching

      Bille, P. & Thorup, Mikkel, 2009, Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP), LNCS 5555. Springer, s. 171-182 12 s.

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

    4. 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 › Forskning › fagfællebedømt

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

    6. Udgivet

      Special Section on the Fifty-Ninth Annual IEEE Symposium on Foundations of Computer Science (2018)

      Boyle, E., Cohen-Addad, V., Kolla, A. & Thorup, Mikkel, 2023, I: SIAM Journal on Computing. 52, 6, s. FOCS18 - i

      Publikation: Bidrag til tidsskrift › Leder › Forskning

    7. OPT versus LOAD in dynamic storage allocation

      Buchsbaum, A. L., Karloff, H. J., Kenyon, C., Reingold, N. & Thorup, Mikkel, 2004, I: SIAM Journal on Computing. 33, 3, s. 632-646 15 s.

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

    8. OPT versus LOAD in dynamic storage allocation

      Buchsbaum, A. L., Karloff, H. J., Kenyon, C., Reingold, N. & Thorup, Mikkel, 2003, Proceedings of the 35th Annual ACM Symposium on Theory of Computing (STOC). s. 649-658 10 s.

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

    9. A Memetic Algorithms for OSPF Routing

      Buriol, L. S., Resende, M. G. C., Ribeiro, C. C. & Thorup, Mikkel, 2002, Proceedings of the 6th INFORMS Telecom. s. 187-188 2 s.

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

    10. Survivable IP network design with OSPF routing

      Buriol, L. S., Resende, M. G. C. & Thorup, Mikkel, 2007, I: Networks. 49, 1, s. 51-64 14 s.

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

    Forrige 12 3 4 5 6 7 8 9 ...24 Næste

    ID: 34257574