Emin Karayel

0000-0003-3290-5034

Homepages 🌐

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

E-Mails 📧

• ed.leyaraknime @em

Entries

2025

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

Formalization of Randomized Approximation Algorithms for Frequency Moments

by Emin Karayel 🌐

Apr 08

A Combinator Library for Prefix-Free Codes

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