Randomized Algorithms

• The Iteration Number of the Weisfeiler-Leman Algorithm

  2024 ACM Transactions on Computational Logic article Computer Science Matrix Theory and Algorithms Open access

  3

  citations
• Benchmarking Algorithms for Submodular Optimization Problems Using IOHProfiler

  2023 IEEE Congress on Evolutionary Computation (CEC) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

  3

  citations
• The Iteration Number of the Weisfeiler-Leman Algorithm

  2023 conference-paper Computer Science Complexity and Algorithms in Graphs

  6

  citations
• Do additional target points speed up evolutionary algorithms?

  2023 Theoretical Computer Science article Computer Science Metaheuristic Optimization Algorithms Research

  4

  citations
• Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning

  2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  33

  citations

5 results