Autor der Publikation

Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification.

. Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 292-305. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Hyperlink analysis for the web. IEEE Internet Computing, 5 (1): 45--50 (2001)New deterministic approximation algorithms for fully dynamic matching., , und . STOC, Seite 398-411. ACM, (2016)Tight Bounds for Online Graph Partitioning., , , und . CoRR, (2020)Maximizing revenue from strategic recommendations under decaying trust., , und . CIKM, Seite 2283-2286. ACM, (2012)Mechanisms for the Marriage and the Assignment Game., und . CIAC, Volume 6078 von Lecture Notes in Computer Science, Seite 6-12. Springer, (2010)Multi-parameter Mechanism Design under Budget and Matroid Constraints., und . ESA, Volume 6942 von Lecture Notes in Computer Science, Seite 192-202. Springer, (2011)An Almost-Tight Distributed Algorithm for Computing Single-Source Shortest Paths., , und . CoRR, (2015)Auctions with Heterogeneous Items and Budget Limits., , und . WINE, Volume 7695 von Lecture Notes in Computer Science, Seite 44-57. Springer, (2012)Capacity Releasing Diffusion for Speed and Locality., , , , und . ICML, Volume 70 von Proceedings of Machine Learning Research, Seite 3598-3607. PMLR, (2017)A Comparison of Techniques for Sampling Web Pages., , , , und . STACS, Volume 3 von LIPIcs, Seite 13-30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)