We stand with Ukraine  

Emin Karayel

Orcid: 0000-0003-3290-5034

According to our database1, Emin Karayel authored at least 23 papers between 2022 and 2025.

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

2025
Verification of Derandomized Probabilistic Algorithms.
[BibTeX]
[DOI]
Emin Karayel
PhD thesis, 2025

Verification of the CVM algorithm with a New Recursive Analysis Technique.
[BibTeX]
[DOI]
Emin Karayel
,
Derek Khu
,
Kuldeep S. Meel
,
Yong Kiam Tan
,
Seng Joe Watt
Arch. Formal Proofs, 2025

Negatively Associated Random Variables.
[BibTeX]
[DOI]
Emin Karayel
Arch. Formal Proofs, 2025

Set Reconciliation.
[BibTeX]
[DOI]
Paul Hofmeier
,
Emin Karayel
Arch. Formal Proofs, 2025

Derandomization with Pseudorandomness.
[BibTeX]
[DOI]
Emin Karayel
Ann. Formaliz. Math., 2025

Verification of the CVM Algorithm with a Functional Probabilistic Invariant.
[BibTeX]
[DOI]
Emin Karayel
,
Seng Joe Watt
,
Derek Khu
,
Kuldeep S. Meel
,
Yong Kiam Tan
Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

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

Rabin's Closest Pair of Points Algorithm.
[BibTeX]
[DOI]
Emin Karayel
,
Zixuan Fan
Arch. Formal Proofs, 2024

Derandomization with Conditional Expectations.
[BibTeX]
[DOI]
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

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

Formalization of Randomized Approximation Algorithms for Frequency Moments.
[BibTeX]
[DOI]
Emin Karayel
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022


  Loading...