ITU

Schloss Dagstuhl--Leibniz-Zentrum für Informatik

Publisher

  1. 2021
  2. Published

    Modular Counting of Subgraphs: Matchings, Matching-Splittable Graphs, and Paths

    Curticapean, R-C., Dell, H. & Husfeldt, T., 2021, Proceedings of the 29th Annual European Symposium on Algorithms. Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Vol. 204. 17 p. 34

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

  3. 2020
  4. Published

    Algorithm Engineering for High-Dimensional Similarity Search Problems (Invited Talk)

    Aumüller, M., 2020, 18th International Symposium on Experimental Algorithms (SEA 2020). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, p. 1:1–1:3 1. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  5. 2019
  6. Published

    Fragile Complexity of Comparison-Based Algorithms

    Afshani, P., Fagerberg, R., Hammer, D. M. G., Jacob, R., Kostitsyna, I., Meyer, U., Penschuck, M. & Sitchinava, N., 9 Sep 2019, 27th Annual European Symposium on Algorithms (ESA 2019). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, p. 2:1–2:19 2. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  7. Published

    Parameterized Streaming Algorithms for Min-Ones d-SAT

    Agrawal, A., Biswas, A., Bonnet, É., Brettell, N., Curticapean, R-C., Marx, D., Miltzow, T., Raman, V. & Saurabh, S., 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum für Informatik, p. 8:1-8:20 20 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  8. 2018
  9. Published

    Counting Connected Subgraphs with Maximum-Degree-Aware Sieving

    Björklund, A., Husfeldt, T., Kaski, P. & Koivisto, M., 2018, 29th International Symposium on Algorithms and Computation, ISAAC 2018, December 16-19, 2018, Jiaoxi, Yilan, Taiwan.. Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Vol. 123. p. 17:1-17:12 12 p. 17. (Leibniz International Proceedings in Informatics).

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

  10. Published

    Counting Shortest Two Disjoint Paths in Cubic Planar Graphs with an NC Algorithm

    Björklund, A. & Husfeldt, T., 2018, 29th International Symposium on Algorithms and Computation (ISAAC 2018). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Vol. 123. p. 19:1-19:13 13 p. (Leibniz International Proceedings in Informatics).

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

  11. Published

    The Clocks They Are Adjunctions: Denotational Semantics for Clocked Type Theory

    Mannaa, B. & Møgelberg, R. E., 2018, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Vol. 108. 17 p. 23. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 108).

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

  12. 2015
  13. Published

    Software Tools and Practices

    Dittrich, Y., 2015, Human-Centric Development of Software Tools: Dagstuhl Seminar 15222. Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Vol. 5. p. 123-124 3 p. (Dagstuhl Seminar Proceedings).

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

  14. 2011
  15. Published

    Modes of Convergence for Term Graph Rewriting

    Bahr, P., 1 May 2011, 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Schmidt-Schau, M. (ed.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Vol. 10. p. 139-154 16 p.

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

ID: 80757375