Emin Karayel

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

2022

Formalization of Randomized Approximation Algorithms for Frequency Moments
by Emin Karayel

08 Apr

A Combinator Library for Prefix-Free Codes
by Emin Karayel

08 Apr

Universal Hash Families
by Emin Karayel

20 Feb

Enumeration of Equivalence Relations
by Emin Karayel

04 Feb

Interpolation Polynomials (in HOL-Algebra)
by Emin Karayel

29 Jan

Median Method
by Emin Karayel

25 Jan

2020

Strong Eventual Consistency of the Collaborative Editing Framework WOOT
by Emin Karayel and Edgar Gonzàlez

25 Mar