Mikkel Thorup

Mikkel Thorup

Professor

Medlem af:


    1. 2023
    2. Udgivet

      A Sparse Johnson-Lindenstrauss Transform Using Fast Hashing

      Houen, Jakob Bæk Tejs & Thorup, Mikkel, 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 76. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 261).

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

    3. Udgivet

      Fully Dynamic Connectivity in O (log n((log log n)2 Amortized Expected Time

      Huang, S., Huang, D., Kopelowitz, T., Pettie, S. & Thorup, Mikkel, 2023, I: TheoretiCS. 2, s. 1-56 6.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    4. Udgivet

      Fully Dynamic Exact Edge Connectivity in Sublinear Time

      Goranci, G., Henzinger, M., Nanongkai, D., Saranurak, T., Thorup, Mikkel & Wulff-Nilsen, Christian, 2023, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Bansal, N. & Nagarajan, V. (red.). Society for Industrial and Applied Mathematics, s. 70-86

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

    5. Udgivet

      How to Cut Corners and Get Bounded Convex Curvature

      Abrahamsen, Mikkel & Thorup, Mikkel, 2023, I: Discrete and Computational Geometry. 69, s. 1195–1231,

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    6. Udgivet

      Locally Uniform Hashing

      Bercea, I. O., Beretta, Lorenzo, Klausen, Jonas Østergaard, Houen, Jakob Bæk Tejs & 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    7. Udgivet

      Optimal Decremental Connectivity in Non-Sparse Graphs

      Aamand, A., Karczmarz, A., Łącki, J., Parotsidis, N., Rasmussen, Peter Michael Reichstein & Thorup, Mikkel, 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-17 6. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 261).

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

    8. Udgivet

      Pseudorandom Hashing for Space-bounded Computation with Applications in Streaming

      Kacham, P., Pagh, R., Thorup, Mikkel & Woodruff, D. P., 2023, Proceedings - 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, FOCS 2023. IEEE Computer Society Press, s. 1515-1550 (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

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

    9. 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 tidsskriftLederForskning

    10. 2022
    11. Udgivet

      Understanding the Moments of Tabulation Hashing via Chaoses

      Houen, Jakob Bæk Tejs & Thorup, Mikkel, jul. 2022, 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022. Bojanczyk, M., Merelli, E. & Woodruff, D. P. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 1-19 74. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 229).

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

    12. Udgivet

      Dijkstra’s Single Source Shortest Path Algorithm

      Thorup, Mikkel, 2022, Edsger Wybe Dijkstra: His Life,Work, and Legacy. Apt, K. R. & Hoare, T. (red.). ACM, s. 21-26

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

    13. Udgivet

      Edge sampling and graph parameter estimation via vertex neighborhood accesses

      Tetek, Jakub & Thorup, Mikkel, 2022, STOC 2022 - Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing. Leonardi, S. & Gupta, A. (red.). Association for Computing Machinery, Inc., s. 1116-1129 14 s.

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

    14. Udgivet

      Fitting Distances by Tree Metrics Minimizing the Total Error within a Constant Factor

      Cohen-Addad, V., Das, D., Kipouridis, Evangelos, Parotsidis, N. & Thorup, Mikkel, 2022, 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS). IEEE, s. 1-12

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

    15. Udgivet

      Improved Utility Analysis of Private CountSketch

      Pagh, Rasmus & Thorup, Mikkel, 2022, Advances in Neural Information Processing Systems 35 (NeurIPS 2022). NeurIPS Proceedings, 13 s. (Advances in Neural Information Processing Systems, Bind 35).

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

    16. Udgivet

      No Repetition: Fast and Reliable Sampling with Highly Concentrated Hashing

      Aamand, A., Das, D., Kipouridis, Evangelos, Knudsen, J. B. T., Rasmussen, Peter Michael Reichstein & Thorup, Mikkel, 2022, I: Proceedings of the VLDB Endowment. 15, 13, s. 3989-4001

      Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

    17. Udgivet

      On sums of monotone random integer variables

      Aamand, Anders, Alon, N., Houen, Jakob Bæk Tejs & Thorup, Mikkel, 2022, I: Electronic Communications in Probability. 27, s. 1-8 64.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    18. Udgivet

      Reconstructing the Tree of Life (Fitting Distances by Tree Metrics) (Invited Paper)

      Thorup, Mikkel, 2022, 18th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2022). Springer, s. 3:1--3:2 (Leibniz International Proceedings in Informatics, LIPIcs, Bind 227).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    19. 2021
    20. Udgivet

      Compact cactus representations of all non-trivial min-cuts

      Lo, O. H. S., Schmidt, J. M. & Thorup, Mikkel, 2021, I: Discrete Applied Mathematics. 303, s. 296-304

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    21. Udgivet

      Load balancing with dynamic set of balls and bins

      Aamand, Anders, Knudsen, J. B. T. & Thorup, Mikkel, 2021, STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. Khuller, S. & Williams, V. V. (red.). Association for Computing Machinery, Inc, s. 1262-1275 (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    22. 2020
    23. Udgivet

      Confirmation sampling for exact nearest neighbor search

      Christiani, T., Pagh, R. & Thorup, Mikkel, 2020, Similarity Search and Applications - 13th International Conference, SISAP 2020, Proceedings. Satoh, S., Vadicamo, L., Carrara, F., Zimek, A., Bartolini, I., Aumüller, M., Jonsson, B. P. & Pagh, R. (red.). Springer, s. 97-110 14 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12440 LNCS).

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

    24. Udgivet

      Disks in Curves of Bounded Convex Curvature

      Aamand, Anders, Abrahamsen, Mikkel & Thorup, Mikkel, 2020, I: American Mathematical Monthly. 127, 7, s. 579-593 15 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    25. Udgivet

      Fast hashing with strong concentration bounds

      Aamand, Anders, Houen, Jakob Bæk Tejs, Knudsen, M. B. T., Rasmussen, Peter Michael Reichstein & Thorup, Mikkel, 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (red.). Association for Computing Machinery, s. 1265-1278 (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    26. Udgivet

      Faster algorithms for edge connectivity via random 2-out contractions

      Ghaffari, M., Nowicki, K. & Thorup, Mikkel, 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (red.). Association for Computing Machinery, s. 1260-1279 20 s.

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

    27. Udgivet
    28. Udgivet

      Three-in-a-tree in near linear time

      Lai, K. Y., Lu, H. I. & Thorup, Mikkel, 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (red.). Association for Computing Machinery, s. 1279-1292 (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    29. 2019
    30. Udgivet

      Non-empty Bins with Simple Tabulation Hashing

      Aamand, Anders & Thorup, Mikkel, 2 jan. 2019, Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms. Chan, T. M. (red.). Society for Industrial and Applied Mathematics, s. 2498-2512

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    31. Udgivet

      Adjacency Labeling Schemes and Induced-Universal Graphs

      Alstrup, Stephen, Kaplan, H., Thorup, Mikkel & Zwick, U., 2019, I: SIAM Journal on Discrete Mathematics. 33, 1, s. 116-137

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    32. Udgivet

      Deterministic Edge Connectivity in Near-Linear Time

      Kawarabayashi, K. & Thorup, Mikkel, 2019, I: Journal of the ACM. 66, 1, s. 1-50 4.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    33. Udgivet

      Dynamic ordered sets with approximate queries, approximate heaps and soft heaps

      Thorup, Mikkel, Zamir, O. & Zwick, U., 2019, 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019. Chatzigiannakis, I., Baier, C., Leonardi, S. & Flocchini, P. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 s. 95. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 132).

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

    34. Udgivet

      Hardness of bichromatic closest pair with Jaccard similarity

      Pagh, R., Stausholm, N. M. & Thorup, Mikkel, 2019, 27th Annual European Symposium on Algorithms, ESA 2019. Bender, M. A., Svensson, O. & Herman, G. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 s. 74. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 144).

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

    35. Udgivet

      Heavy hitters via cluster-preserving clustering

      Larsen, K. G., Nelson, J., Nguyễn, H. L. & Thorup, Mikkel, 2019, I: Communications of the ACM. 62, 8, s. 95-100

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    36. Udgivet

      Random k-out subgraph leaves only O(n/k) inter-component edges

      Holm, Jacob, King, V., Thorup, Mikkel, Zamir, O. & Zwick, U., 2019, Proceedings - 2019 IEEE 60th Annual Symposium on Foundations of Computer Science, FOCS 2019. IEEE, 14 s. 8948658

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

    37. 2018
    38. Udgivet

      Power of d choices with simple tabulation

      Aamand, Anders, Knudsen, M. B. T. & Thorup, Mikkel, 1 jul. 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14 s. 5. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 107).

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

    39. Udgivet

      Consistent Hashing with bounded loads

      Mirrokni, V., Thorup, Mikkel & Zadimoghaddam, M., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 587-604 18 s.

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

    40. Udgivet

      Dynamic bridge-finding in Õ(log2 n) amortized time

      Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 35-52 18 s.

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

    41. Udgivet

      Fast fencing

      Abrahamsen, Mikkel, Adamaszek, A., Bringmann, K., Cohen-Addad, V., Mehr, M., Rotenberg, E., Roytman, A. & Thorup, Mikkel, 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, s. 564-573

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

    42. Udgivet

      Incremental Exact Min-Cut in Polylogarithmic Amortized Update Time

      Goranci, G., Henzinger, M. & Thorup, Mikkel, 2018, I: ACM Transactions on Algorithms. 14, 2, 17.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    43. Udgivet

      Proceedings, 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS)

      Thorup, Mikkel (red.), 2018, IEEE. 996 s.

      Publikation: Bog/antologi/afhandling/rapportBogForskningfagfællebedømt

    44. Udgivet

      Sample(x)=(a*x <=t) is a distinguisher with probability 1/8

      Thorup, Mikkel, 2018, I: SIAM Journal on Computing. 47, 6, s. 2510-2526

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    45. Udgivet

      The entropy of backwards analysis

      Knudsen, M. B. T. & Thorup, Mikkel, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (red.). Society for Industrial and Applied Mathematics, s. 867-880 14 s.

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

    46. Udgivet

      Wireless coverage prediction via parametric shortest paths

      Applegate, D., Archer, A., Johnson, D. S., Nikolova, E., Thorup, Mikkel & Yang, G., 2018, Proceedings of the Eighteenth ACM International Symposium on Mobile Ad Hoc Networking and Computing, Mobihoc '18 . ACM, s. 221-230

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

    47. 2017
    48. Udgivet

      Fast and powerful hashing using tabulation

      Thorup, Mikkel, jul. 2017, I: Communications of the ACM. 60, 7, s. 94-101 8 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    49. Udgivet

      Coloring 3-colorable graphs with less than n1/5 colors

      Kawarabayashi, K. & Thorup, Mikkel, mar. 2017, I: Journal of the ACM. 64, 1, 23 s., 4.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    50. Udgivet

      Fast and powerful hashing using tabulation

      Thorup, Mikkel, 2017, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). Chatzigiannakis, I., Indyk, P., Kuhn, F. & Muscholl, A. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2 s. 4. (Leibniz International Proceedings in Informatics, Bind 80).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    51. Udgivet

      Fast similarity sketching

      Dahlgaard, S., Knudsen, M. B. T. & Thorup, Mikkel, 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, s. 663-671 9 s.

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

    52. Udgivet

      Practical hash functions for similarity estimation and dimensionality reduction

      Dahlgaard, S., Knudsen, M. B. T. & Thorup, Mikkel, 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (red.). NIPS Proceedings, 11 s. (Advances in Neural Information Processing Systems, Bind 30).

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

    53. 2016
    54. Udgivet

      Bottleneck paths and trees and deterministic graphical games

      Chechik, S., Kaplan, H., Thorup, Mikkel, Zamir, O. & Zwick, U., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 1-13 13 s. 27. (Leibniz International Proceedings in Informatics, Bind 47).

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

    55. Udgivet

      Fast and powerful hashing using tabulation

      Thorup, Mikkel, 2016, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016). Lal, A., Akshay, S., Saurabh, S. & Sen, S. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2 s. 1. (Leibniz International Proceedings in Informatics, Bind 65).

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

    56. Udgivet

      Faster worst case deterministic dynamic connectivity

      Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Thorup, Mikkel, 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 53:1-53:15 15 s. 53. (Leibniz International Proceedings in Informatics, Bind 57).

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

    57. Udgivet

      Finding the maximum subset with bounded convex curvature

      Abrahamsen, Mikkel & Thorup, Mikkel, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 s. 4. (Leibniz International Proceedings in Informatics, Bind 51).

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

    58. Udgivet

      Heavy hitters via cluster-preserving clustering

      Larsen, K. G., Nelson, J., Nguyen, H. L. & Thorup, Mikkel, 2016, Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science. IEEE, s. 61-70 10 s.

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

    59. Udgivet

      Incremental exact min-cut in poly-logarithmic amortized update time

      Goranci, G., Henzinger, M. & Thorup, Mikkel, 2016, 24th Annual European Symposium on Algorithms (ESA 2016). Sankowski, P. & Zaroliagis, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 s. 46. (Leibniz International Proceedings in Informatics, Bind 57).

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

    60. Udgivet

      On the k-independence required by linear probing and minwise independence

      Pǎtraşcu, M. & Thorup, Mikkel, 2016, I: ACM Transactions on Algorithms. 12, 1, 27 s., 8.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    61. Udgivet

      The power of two choices with simple tabulation

      Dahlgaard, S., Knudsen, M. B. T., Rotenberg, E. & Thorup, Mikkel, 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Krauthgamer, R. (red.). Society for Industrial and Applied Mathematics, s. 1631-1642 12 s.

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

    62. 2015
    63. Udgivet

      Adjacency labeling schemes and induced-universal graphs

      Alstrup, Stephen, Kaplan, H., Thorup, Mikkel & Zwick, U., 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC 2015, Portland, OR, USA, June 14-17, 2015: STOC '15. Association for Computing Machinery, s. 625-634 10 s.

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

    64. Udgivet

      Construction and impromptu repair of an MST in a distributed network with o(m) communication

      King, V., Kutten, S. & Thorup, Mikkel, 2015, Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, s. 71-80 10 s.

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

    65. Udgivet

      Deterministic global minimum cut of a simple graph in near-linear time

      Kawarabayashi, K. & Thorup, Mikkel, 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing: STOC '15. Association for Computing Machinery, s. 665-674 10 s.

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

    66. Udgivet

      From independence to expansion and back again

      Christiani, T. L., Pagh, R. & Thorup, Mikkel, 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing: STOC '15. Association for Computing Machinery, s. 813-820 8 s.

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

    67. Udgivet

      Hashing for statistics over k-partitions

      Dahlgaard, S., Knudsen, M. B. T., Rotenberg, E. & Thorup, Mikkel, 2015, Proceedings. 56th Annual Symposium on Foundations of Computer Science. IEEE, s. 1292-1310 19 s.

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

    68. Udgivet

      Planar reachability in linear space and constant time

      Holm, Jacob, Rotenberg, E. & Thorup, Mikkel, 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, s. 370-389 20 s. (Symposium on Foundations of Computer Science. Annual Proceedings).

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

    69. Udgivet

      RAM-efficient external memory sorting

      Arge, L. & Thorup, Mikkel, 2015, I: Algorithmica. 73, 4, s. 623-636 14 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    70. Udgivet

      Sample(x)=(a*x< =t) is a distinguisher with probability 1/8

      Thorup, Mikkel, 2015, Proceedings. 56th Annual Symposium on Foundations of Computer Science. IEEE, s. 1277-1291 15 s. (Symposium on Foundations of Computer Science. Annual Proceedings).

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

    71. 2014
    72. Udgivet

      Algorithms and estimators for summarization of unaggregated data streams

      Cohen, E., Duffield, N., Kaplan, H., Lund, C. & Thorup, Mikkel, 2014, I: Journal of Computer and System Sciences. 80, 7, s. 1214-1244 31 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    73. Udgivet

      Approximately minwise independence with twisted tabulation

      Dahlgaard, S. & Thorup, Mikkel, 2014, Algorithm Theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings. Ravi, R. & Gørtz, I. L. (red.). Springer, s. 134-145 12 s. (Lecture notes in computer science, Bind 8503).

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

    74. Udgivet

      Coloring 3-colorable graphs with o(n 1/5) colors

      Kawarabayashi, K. & Thorup, Mikkel, 2014, 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014). Mayr, E. W. & Portier, N. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 458-469 12 s. (Leibniz International Proceedings in Informatics, Bind 25).

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

    75. Udgivet

      Dynamic integer sets with optimal rank, select, and predecessor search

      Patrascu, M. & Thorup, Mikkel, 2014, FOCS 2014: 55th Annual Symposium on Foundations of Computer Science. IEEE, s. 166-175 10 s.

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

    76. Udgivet

      Union-find with constant time deletions

      Alstrup, Stephen, Thorup, Mikkel, Gørtz, I. L., Rauhe, T. & Zwick, U., 2014, I: A C M Transactions on Algorithms. 11, 1, 28 s., 6.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    77. 2013
    78. Udgivet

      Bottom-k and priority sampling, set similarity and subset sums with minimal independence

      Thorup, Mikkel, 2013, STOC '13: Proceedings of the 45th Annual ACM Symposium on Symposium on Theory of Computing. Association for Computing Machinery, s. 371-380 10 s.

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

    79. Udgivet

      Funding successful research

      Thorup, Mikkel, 2013, I: Communications of the A C M. 56, 3, s. 38-39 2 s.

      Publikation: Bidrag til tidsskriftKommentar/debatForskning

    80. Intra-domain traffic engineering with shortest path routing protocols

      Altin, A., Fortz, B., Thorup, Mikkel & Ümit, H., 2013, I: Annals of Operations Research. 204, 1, s. 56-95 40 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    81. Udgivet

      Mihai Pätrascu: obituary and open problems

      Thorup, Mikkel, 2013, I: SIGACT News. 44, 1, s. 110-114 5 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

    82. Udgivet

      More compact oracles for approximate distances in undirected planar graphs

      Kawarabayashi, K., Sommer, C. & Thorup, Mikkel, 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (red.). Association for Computing Machinery, s. 550-563 14 s.

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

    83. Udgivet

      Nearest neighbor classification using bottom-k sketches

      Dahlgaard, S., Igel, Christian & Thorup, Mikkel, 2013, 2013 IEEE International Conference on Big Data: proceedings. IEEE, s. 28-34 7 s.

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

    84. Udgivet

      RAM-efficient external memory sorting

      Arge, L. & Thorup, Mikkel, 2013, Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings. Cai, L., Cheng, S-W. & Lam, T-W. (red.). Springer, s. 491-501 11 s. (Lecture notes in computer science, Bind 8283).

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

    85. Udgivet

      Simple tabulation, fast expanders, double tabulation, and high independence

      Thorup, Mikkel, 2013, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, s. 90-99 10 s.

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

    86. Udgivet

      Twisted tabulation hashing

      Thorup, Mikkel & Patrascu, M., 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (red.). Association for Computing Machinery, s. 209-228 20 s.

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

    87. 2012
    88. Udgivet

      A new infinity of distance oracles for sparse graphs

      Patrascu, M., Roditty, L. & Thorup, Mikkel, 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science (FOCS). IEEE, s. 738-747 10 s.

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

    89. Udgivet

      Combinatorial coloring of 3-colorable graphs

      Kawarabayashi, K. & Thorup, Mikkel, 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science. IEEE, s. 68-75 8 s.

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

    90. Tabulation-based 5-independent hashing with applications to linear probing and second moment estimation

      Thorup, Mikkel & Zhang, Y., 2012, I: S I A M Journal on Computing. 41, 2, s. 293-331 39 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    91. Udgivet

      The power of simple tabulation hashing

      Patracu, M. & Thorup, Mikkel, 2012, I: Association for Computing Machinery. Journal. 59, 3, 50 s., 14.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    92. 2011
    93. Don't rush into a union: take time to find your roots

      Patrascu, M. & Thorup, Mikkel, 2011, Proceedings of the forty-third annual ACM symposium on Theory of computing. Association for Computing Machinery, s. 559-567 9 s.

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

    94. Efficient stream sampling for variance-optimal estimation of subset sums

      Cohen, E., Duffield, N., Kaplan, H., Lund, C. & Thorup, Mikkel, 2011, I: S I A M Journal on Computing. 40, 5, s. 1402-1431 30 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    95. The minimum k-way cut of bounded size is fixed-parameter tractable

      Kawarabayashi, K. & Thorup, Mikkel, 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science. Ostrovsky, R. (red.). IEEE, s. 160-169 10 s.

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

    96. The power of simple tabulation hashing

      Patrascu, M. & Thorup, Mikkel, 2011, Proceedings of the 43rd annual ACM symposium on Theory of computing. Association for Computing Machinery, s. 1-10 10 s.

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

    97. Timeouts with time-reversed linear probing

      Thorup, Mikkel, 2011, 2011 Proceedings IEEE INFOCOM. IEEE, s. 166-170 5 s.

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

    98. 2010
    99. Changing base without losing space

      Dodis, Y., Patracu, M. & Thorup, Mikkel, 2010, Proceedings of the 42nd Annual ACM Symposium on Theory of Computing (STOC). ACM, s. 593-602 10 s.

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

    100. Discounted deterministic Markov decision processes and discounted all-pairs shortest paths

      Madani, O., Thorup, Mikkel & Zwick, U., 2010, I: ACM Transactions on Algorithms. 6, 2

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    101. On the k-Independence Required by Linear Probing and Minwise Independence

      Pǎtraşcu, M. & Thorup, Mikkel, 2010, Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP), Part I, LNCS 6198. Springer, s. 715-726 12 s. (Lecture notes in computer science, Bind 6198).

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

    102. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    103. Tabulation Based 5-Universal Hashing and Linear Probing

      Thorup, Mikkel & Zhang, Y., 2010, Proceedings of the 12th Workshop on Algorithm Engineering and Experiments (ALENEX). SIAM, s. 62-76 15 s.

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

    104. 2009
    105. Composable, Scalable, and Accurate Weight Summarization of Unaggregated Data Sets

      Cohen, E., Duffield, N. G., Kaplan, H., Lund, C. & Thorup, Mikkel, 2009, I: Proceedings of Very Large Databases (VLDB) Endowment. 2, 1, s. 431-442 12 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    106. Discounted deterministic Markov decision processes and discounted all-pairs shortest paths

      Madani, O., Thorup, Mikkel & Zwick, U., 2009, Proceedings of the 20th ACM-SIAM Symposium on Discrete Algorithms (SODA). SIAM, s. 958-967 10 s.

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

    107. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    108. Higher Lower Bounds for Near-Neighbor and Further Rich Problems

      Patracu, M. & Thorup, Mikkel, 2009, I: sicomp. 39, 2, s. 730-741 12 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    109. Intra-domain traffic engineering with shortest path routing protocols

      Altin, A., Fortz, B., Thorup, Mikkel & Ümit, H., 2009, I: 4OR. 7, 4, s. 301-335 35 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    110. Maximum overhang

      Paterson, M., Peres, Y., Thorup, Mikkel, Winkler, P. & Zwick, U., 2009, I: American Mathematical Monthly. 116, 9, s. 763-787 25 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    111. Stream sampling for variance-optimal estimation of subset sums

      Cohen, E., Duffield, N., Kaplan, H., Lund, C. & Thorup, Mikkel, 2009, Proceedings of the 20th ACM-SIAM Symposium on Discrete Algorithms (SODA). SIAM, s. 1255-1264 10 s.

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

    112. String hashing for linear probing

      Thorup, Mikkel, 2009, Proceedings of the 20th ACM-SIAM Symposium on Discrete Algorithms (SODA). SIAM, s. 655-664 10 s.

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

    113. 2008
    114. Compact name-independent routing with minimum stretch

      Abraham, I., Gavoille, C., Malkhi, D., Nisan, N. & Thorup, Mikkel, 2008, I: ACM Transactions on Algorithms. 4, 3, s. Article 37

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    115. Confident estimation for multistage measurement sampling and aggregation

      Cohen, E., Duffield, N., Lund, C. & Thorup, Mikkel, 2008, Proceedings the ACM IFIP Conference on Measurement and Modeling of Computer Systems (SIGMETRICS/Performance). ACM, s. 109-120 12 s.

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

    116. Maximum overhang

      Paterson, M., Peres, Y., Thorup, Mikkel, Winkler, P. & Zwick, U., 2008, Proceedings of the 19th ACM-SIAM Symposium on Discrete Algorithms (SODA). SIAM, s. 756-765 10 s.

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

    Forrige 1 2 3 Næste

    ID: 34257574