Combinatorial Enumeration Algorithms. - Paul Hofmeier; Emin Karayel (Arch. Formal Proofs, 2022)

Median Method. - Emin Karayel (Arch. Formal Proofs, 2022)

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

Enumeration of Equivalence Relations. - Emin Karayel (Arch. Formal Proofs, 2022)

Universal Hash Families. - Emin Karayel (Arch. Formal Proofs, 2022)

Formalization of Randomized Approximation Algorithms for Frequency Moments. - Emin Karayel (Arch. Formal Proofs, 2022)

A Combinator Library for Prefix-Free Codes. - Emin Karayel (Arch. Formal Proofs, 2022)

Finite Fields. - Emin Karayel (Arch. Formal Proofs, 2022)

Strong eventual consistency of the collaborative editing framework WOOT. - Emin Karayel; Edgar Gonzàlez (Distributed Comput., 2022)

An Embarrassingly Parallel Optimal-Space Cardinality Estimation Algorithm. - Emin Karayel (APPROX/RANDOM, 2023)

Expander Graphs. - Emin Karayel (Arch. Formal Proofs, 2023)

Distributed Distinct Elements. - Emin Karayel (Arch. Formal Proofs, 2023)

Executable Randomized Algorithms. - Emin Karayel; Manuel Eberl (Arch. Formal Proofs, 2023)

Concentration Inequalities. - Emin Karayel; Yong Kiam Tan (Arch. Formal Proofs, 2023)

Derandomization with Conditional Expectations. - Emin Karayel (Arch. Formal Proofs, 2024)

Rabin's Closest Pair of Points Algorithm. - Emin Karayel; Zixuan Fan (Arch. Formal Proofs, 2024)

Karatsuba Multiplication on Integers. - Jakob Schulz; Emin Karayel (Arch. Formal Proofs, 2024)

Derandomization with Pseudorandomness. - Emin Karayel (CoRR, 2024)

Negatively Associated Random Variables. - Emin Karayel (Arch. Formal Proofs, 2025)

Verification of the CVM algorithm with a New Recursive Analysis Technique. - Emin Karayel; Derek Khu; Kuldeep S. Meel; Yong Kiam Tan; Seng Joe Watt (Arch. Formal Proofs, 2025)