ITU

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH

Publisher

  1. 2020
  2. Published

    Pure Differentially Private Summation from Anonymous Messages

    Ghazi, B., Golowich, N., Kumar, R., Manurangsi, P., Pagh, R. & Velingker, A., 2020, 1st Conference on Information-Theoretic Cryptography (ITC 2020). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 15:1–15:23 (Leibniz International Proceedings in Informatics, Vol. 163).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    The space complexity of inner product filters

    Pagh, R. & Sivertsen, J. V. T., 2020, 23rd International Conference on Database Theory (ICDT 2020). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 22:1–22:14 (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 155).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  4. 2019
  5. Published

    Hardness of Bichromatic Closest Pair with Jaccard Similarity

    Pagh, R., Nielsen, N. M. S. & Thorup, M., 2019, LIPIcs - Leibniz International Proceedings in Informatics - 27th Annual European Symposium on Algorithms (ESA 2019). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 144. p. 80:1–80:13 13 p. 80. (Leibniz International Proceedings in Informatics).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  6. Published

    PUFFINN: Parameterless and Universally Fast FInding of Nearest Neighbors

    Christiani, T. L., Pagh, R., Aumüller, M. & Vesterli, M. E., 2019, 27th Annual European Symposium on Algorithms (ESA 2019). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 1-16 16 p. 10

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  7. 2018
  8. Published

    Strict Ideal Completions of the Lambda Calculus

    Bahr, P., Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 8:1-8:16 16 p. 8

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  9. 2017
  10. Published

    Böhm Reduction in Infinitary Term Graph Rewriting Systems

    Bahr, P., 1 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction: FSCD 2017, September 3–9, 2017, Oxford, UK. Miller, D. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 84. p. 8:1-8:20

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  11. Published

    Range-efficient consistent sampling and locality-sensitive hashing for polygons

    Gudmundsson, J. & Pagh, R., 2017, Proceedings of 28th International Symposium on Algorithms and Computation (ISAAC 2017). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 15 p. (Leibniz International Proceedings in Informatics).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  12. Published

    Theory and Applications of Hashing (Dagstuhl Seminar 17181)

    Dietzfelbinger, M., Mitzenmacher, M., Pagh, R. & Woodruff, D., 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. (Dagstuhl Reports; No. 5, Vol. 7).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  13. 2015
  14. Published

    Multiparty Session Types as Coherence Proofs

    Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory (CONCUR 2015): Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 42. p. 412 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  15. Published

    Variability Abstractions: Trading Precision for Speed in Family-Based Analyses

    Dimovski, A., Brabrand, C. & Wasowski, A., 2015, 29th European Conference on Object-Oriented Programming (ECOOP’15): Leibniz International Proceedings in Informatics. Boyland, J. T. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 247-270 23 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Previous 1 2 Next

ID: 80522609