We stand with Ukraine  

Emin Karayel

Orcid: 0000-0003-3290-5034

According to our database1, Emin Karayel authored at least 15 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Karatsuba Multiplication on Integers.
[BibTeX]
[DOI]
Jakob Schulz
,
Emin Karayel
Arch. Formal Proofs, 2024

2023
Concentration Inequalities.
[BibTeX]
[DOI]
Emin Karayel
,
Yong Kiam Tan
Arch. Formal Proofs, 2023

Executable Randomized Algorithms.
[BibTeX]
[DOI]
Emin Karayel
,
Manuel Eberl
Arch. Formal Proofs, 2023

Distributed Distinct Elements.
[BibTeX]
[DOI]
Emin Karayel
Arch. Formal Proofs, 2023

Expander Graphs.
[BibTeX]
[DOI]
Emin Karayel
Arch. Formal Proofs, 2023

An Embarrassingly Parallel Optimal-Space Cardinality Estimation Algorithm.
[BibTeX]
[DOI]
Emin Karayel
Proceedings of the Approximation, 2023

2022
Strong eventual consistency of the collaborative editing framework WOOT.
[BibTeX]
[DOI]
Emin Karayel
,
Edgar Gonzàlez
Distributed Comput., 2022

Finite Fields.
[BibTeX]
[DOI]
Emin Karayel
Arch. Formal Proofs, 2022

A Combinator Library for Prefix-Free Codes.
[BibTeX]
[DOI]
Emin Karayel
Arch. Formal Proofs, 2022

Formalization of Randomized Approximation Algorithms for Frequency Moments.
[BibTeX]
[DOI]
Emin Karayel
Arch. Formal Proofs, 2022

Universal Hash Families.
[BibTeX]
[DOI]
Emin Karayel
Arch. Formal Proofs, 2022

Enumeration of Equivalence Relations.
[BibTeX]
[DOI]
Emin Karayel
Arch. Formal Proofs, 2022

Interpolation Polynomials (in HOL-Algebra).
[BibTeX]
[DOI]
Emin Karayel
Arch. Formal Proofs, 2022

Median Method.
[BibTeX]
[DOI]
Emin Karayel
Arch. Formal Proofs, 2022

Combinatorial Enumeration Algorithms.
[BibTeX]
[DOI]
Paul Hofmeier
,
Emin Karayel
Arch. Formal Proofs, 2022


  Loading...