Mikkel Thorup
Orcid: 0000-0001-5237-1709Affiliations:
- University of Copenhagen, Denmark
According to our database1,
Mikkel Thorup
authored at least 210 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2005, "For contributions to algorithms and data structures.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on d-nb.info
-
on diku.dk
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Fitting Distances by Tree Metrics Minimizing the Total Error within a Constant Factor.
J. ACM, April, 2024
Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024
Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024
Proceedings of the 2024 Symposium on Simplicity in Algorithms, 2024
Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, 2024
2023
Special Section on the Fifty-Ninth Annual IEEE Symposium on Foundations of Computer Science (2018).
SIAM J. Comput., December, 2023
Discret. Comput. Geom., June, 2023
Fully Dynamic Connectivity in O(log n(loglog n)<sup>2</sup>) Amortized Expected Time.
TheoretiCS, 2023
Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science, 2023
Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science, 2023
2022
Proc. VLDB Endow., 2022
Proceedings of the 18th Scandinavian Symposium and Workshops on Algorithm Theory, 2022
Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022
2021
Discret. Appl. Math., 2021
Proceedings of the STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021
2020
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020
Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms, 2020
Proceedings of the Similarity Search and Applications - 13th International Conference, 2020
2019
SIAM J. Discret. Math., 2019
Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
Proceedings of the 60th IEEE Annual Symposium on Foundations of Computer Science, 2019
Proceedings of the 27th Annual European Symposium on Algorithms, 2019
2018
ACM Trans. Algorithms, 2018
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 2018
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 2018
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 2018
Proceedings of the Nineteenth ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
2017
J. ACM, 2017
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017
Proceedings of the 58th IEEE Annual Symposium on Foundations of Computer Science, 2017
2016
ACM Trans. Algorithms, 2016
Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016
Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2016
Proceedings of the 24th Annual European Symposium on Algorithms, 2016
Proceedings of the 24th Annual European Symposium on Algorithms, 2016
Proceedings of the 32nd International Symposium on Computational Geometry, 2016
2015
Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, 2015
Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, 2015
Construction and Impromptu Repair of an MST in a Distributed Network with o(m) Communication.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015
Proceedings of the IEEE 56th Annual Symposium on Foundations of Computer Science, 2015
Proceedings of the IEEE 56th Annual Symposium on Foundations of Computer Science, 2015
2014
J. Comput. Syst. Sci., 2014
Proceedings of the Algorithm Theory - SWAT 2014, 2014
Proceedings of the 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), 2014
Proceedings of the 55th IEEE Annual Symposium on Foundations of Computer Science, 2014
2013
Bottom-k and priority sampling, set similarity and subset sums with minimal independence.
Proceedings of the Symposium on Theory of Computing Conference, 2013
Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, 2013
Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, 2013
Proceedings of the 54th Annual IEEE Symposium on Foundations of Computer Science, 2013
Proceedings of the 2013 IEEE International Conference on Big Data (IEEE BigData 2013), 2013
2012
Tabulation-Based 5-Independent Hashing with Applications to Linear Probing and Second Moment Estimation.
SIAM J. Comput., 2012
Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, 2012
Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, 2012
2011
SIAM J. Comput., 2011
Proceedings of the 43rd ACM Symposium on Theory of Computing, 2011
Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011
Proceedings of the IEEE 52nd Annual Symposium on Foundations of Computer Science, 2011
2010
Discounted deterministic Markov decision processes and discounted all-pairs shortest paths.
ACM Trans. Algorithms, 2010
Proceedings of the 42nd ACM Symposium on Theory of Computing, 2010
Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010
Proceedings of the Twelfth Workshop on Algorithm Engineering and Experiments, 2010
2009
SIAM J. Comput., 2009
Proc. VLDB Endow., 2009
Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2009
Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2009
Proceedings of the Automata, Languages and Programming, 36th International Colloquium, 2009
2008
ACM Trans. Algorithms, 2008
Proceedings of the 40th Annual ACM Symposium on Theory of Computing, 2008
Proceedings of the 2008 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, 2008
2007
Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2007
Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2007
Proceedings of the 7th ACM SIGCOMM Internet Measurement Conference, 2007
Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), 2007
Proceedings of the Algorithms, 2007
2006
Proceedings of the 38th Annual ACM Symposium on Theory of Computing, 2006
Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2006
Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems, 2006
Proceedings of the Algorithms, 2006
2005
IEEE/ACM Trans. Netw., 2005
IEEE Trans. Inf. Theory, 2005
ACM Trans. Algorithms, 2005
ACM Trans. Algorithms, 2005
Networks, 2005
Proceedings of the 37th Annual ACM Symposium on Theory of Computing, 2005
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005
Proceedings of the 5th Internet Measurement Conference, 2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
2004
SIAM J. Comput., 2004
Math. Oper. Res., 2004
Integer priority queues with decrease key in constant time and the single source shortest paths problem.
J. Comput. Syst. Sci., 2004
J. ACM, 2004
Proceedings of the Algorithm Theory, 2004
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2004
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2004
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2004
2003
Softw. Pract. Exp., 2003
Proceedings of the 35th Annual ACM Symposium on Theory of Computing, 2003
Proceedings of the SPAA 2003: Proceedings of the Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2003
Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2003
Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2003
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2003
Proceedings of the Proceedings IEEE INFOCOM 2003, The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, San Franciso, CA, USA, March 30, 2003
Proceedings of the 3rd ACM SIGCOMM Internet Measurement Conference, 2003
2002
Randomized Sorting in O(n log log n) Time and Linear Space Using Addition, Shift, and Bit-wise Boolean Operations.
J. Algorithms, 2002
Proceedings of the Thirteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2002
Proceedings of the 2nd ACM SIGCOMM Internet Measurement Workshop, 2002
Proceedings of the 43rd Symposium on Foundations of Computer Science (FOCS 2002), 2002
2001
ACM J. Exp. Algorithmics, 2001
Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge, and biconnectivity.
J. ACM, 2001
Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2001
Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, 2001
Proceedings of the 1st ACM SIGCOMM Internet Measurement Workshop, 2001
A Space Saving Trick for Directed Dynamic Transitive Closure and Shortest Path Algorithms.
Proceedings of the Computing and Combinatorics, 7th Annual International Conference, 2001
2000
An <i>O</i>(<i>n</i>log <i>n</i>) Algorithm for the Maximum Agreement Subtree Problem for Binary Trees.
SIAM J. Comput., 2000
J. Algorithms, 2000
Proceedings of the Algorithm Theory, 2000
Proceedings of the Algorithm Theory, 2000
Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, 2000
Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, 2000
Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000
Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000
Proceedings of the Proceedings IEEE INFOCOM 2000, 2000
1999
Theor. Comput. Sci., 1999
SIAM J. Comput., 1999
Undirected Single-Source Shortest Paths with Positive Integer Weights in Linear Time.
J. ACM, 1999
1998
Inf. Comput., 1998
Proceedings of the Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 1998
Proceedings of the Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 1998
Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998
1997
Sampling to provide or to bound: With applications to fully dynamic graph algorithms.
Random Struct. Algorithms, 1997
Structured Programs have Small Tree-Width and Good Register Allocation (Extended Abstract).
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1997
Proceedings of the Algorithms and Data Structures, 5th International Workshop, 1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 1997
1996
Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, 1996
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996
Static Dictionaries on AC<sup>0</sup> RAMs: Query Time Theta(sqrt(log n/log log n)) is Necessary and Sufficient.
Proceedings of the 37th Annual Symposium on Foundations of Computer Science, 1996
1995
Proceedings of the Algorithms, 1995
1994
Proceedings of the Algorithm Theory, 1994
Optimal Evolutionary Tree Comparison by Sparse Dynamic Programming (Extended Abstract)
Proceedings of the 35th Annual Symposium on Foundations of Computer Science, 1994
1992
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1992
1991
Theor. Comput. Sci., 1991
1990
Proceedings of the VDM '90, 1990