Emin Karayel

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 20

Top Topics

Hadamard Transform

Randomized Algorithms

Equivalence Relation

Mathematical Tools

Top Venues

Arch. Formal Proofs

Publications

Emin Karayel
Derandomization with Conditional Expectations. Arch. Formal Proofs 2024 (2024)
Jakob Schulz, Emin Karayel
Karatsuba Multiplication on Integers. Arch. Formal Proofs 2024 (2024)
Emin Karayel
Derandomization with Pseudorandomness. CoRR (2024)
Emin Karayel
Expander Graphs. Arch. Formal Proofs 2023 (2023)
Emin Karayel
An Embarrassingly Parallel Optimal-Space Cardinality Estimation Algorithm. APPROX/RANDOM (2023)
Emin Karayel
Distributed Distinct Elements. Arch. Formal Proofs 2023 (2023)
Emin Karayel
An embarrassingly parallel optimal-space cardinality estimation algorithm. CoRR (2023)
Emin Karayel, Manuel Eberl
Executable Randomized Algorithms. Arch. Formal Proofs 2023 (2023)
Emin Karayel, Yong Kiam Tan
Concentration Inequalities. Arch. Formal Proofs 2023 (2023)
Emin Karayel
Finite Fields. Arch. Formal Proofs 2022 (2022)
Emin Karayel
A Combinator Library for Prefix-Free Codes. Arch. Formal Proofs 2022 (2022)
Emin Karayel
Enumeration of Equivalence Relations. Arch. Formal Proofs 2022 (2022)
Emin Karayel
Formalization of Randomized Approximation Algorithms for Frequency Moments. Arch. Formal Proofs 2022 (2022)
Emin Karayel
Interpolation Polynomials (in HOL-Algebra). Arch. Formal Proofs 2022 (2022)
Emin Karayel
Universal Hash Families. Arch. Formal Proofs 2022 (2022)
Emin Karayel, Edgar Gonzàlez
Strong eventual consistency of the collaborative editing framework WOOT. Distributed Comput. 35 (2) (2022)
Emin Karayel
Median Method. Arch. Formal Proofs 2022 (2022)
Emin Karayel
Formalization of Randomized Approximation Algorithms for Frequency Moments. ITP (2022)
Paul Hofmeier, Emin Karayel
Combinatorial Enumeration Algorithms. Arch. Formal Proofs 2022 (2022)
Emin Karayel, Edgar Gonzàlez
Strong Eventual Consistency of the Collaborative Editing Framework WOOT. Arch. Formal Proofs 2020 (2020)