Emin Karayel

0000-0003-3290-5034

Homepages 🌐

• https://orcid.org/0000-0003-3290-5034

E-Mails 📧

• ed.leyaraknime@em

Entries

2025

Set Reconciliation

by Paul Hofmeier and Emin Karayel

Dec 03

Verification of the CVM algorithm with a New Recursive Analysis Technique

by Emin Karayel, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan and Seng Joe Watt

Feb 05

Negatively Associated Random Variables

by Emin Karayel

Jan 16

2024

Rabin's Closest Pair of Points Algorithm

by Emin Karayel and Zixuan Fan

Sep 08

Derandomization with Conditional Expectations

by Emin Karayel

Mar 24

Karatsuba Multiplication on Integers

by Jakob Schulz and Emin Karayel

Feb 19

2023

Concentration Inequalities

by Emin Karayel and Yong Kiam Tan

Nov 13

Executable Randomized Algorithms

by Emin Karayel and Manuel Eberl

Jun 19

Distributed Distinct Elements

by Emin Karayel

Apr 03

Expander Graphs

by Emin Karayel

Mar 03

2022

Combinatorial Enumeration Algorithms

by Paul Hofmeier and Emin Karayel

Nov 11

Finite Fields

by Emin Karayel

Jun 08

A Combinator Library for Prefix-Free Codes

by Emin Karayel

Apr 08

Formalization of Randomized Approximation Algorithms for Frequency Moments

by Emin Karayel

Apr 08

Universal Hash Families

by Emin Karayel

Feb 20

Enumeration of Equivalence Relations

by Emin Karayel

Feb 04

Interpolation Polynomials (in HOL-Algebra)

by Emin Karayel

Jan 29

Median Method

by Emin Karayel

Jan 25

2020

Strong Eventual Consistency of the Collaborative Editing Framework WOOT

by Emin Karayel and Edgar Gonzàlez

Mar 25