Emin Karayel - RankMe

25 papers A 1B 2Journal 22

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Negatively Associated Random Variables. Arch. Formal Proofs Emin Karayel
2025	J	`jnl`	Set Reconciliation. Arch. Formal Proofs Paul Hofmeier, Emin Karayel
2025	B	`conf`	Verification of the CVM Algorithm with a Functional Probabilistic Invariant. ITP Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan
2025	J	`jnl`	Verification of the CVM algorithm with a New Recursive Analysis Technique. Arch. Formal Proofs Emin Karayel, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan, Seng Joe Watt
2024	J	`jnl`	Derandomization with Conditional Expectations. Arch. Formal Proofs Emin Karayel
2024	J	`jnl`	Derandomization with Pseudorandomness. CoRR Emin Karayel
2024	J	`jnl`	Karatsuba Multiplication on Integers. Arch. Formal Proofs Jakob Schulz, Emin Karayel
2024	J	`jnl`	Rabin's Closest Pair of Points Algorithm. Arch. Formal Proofs Emin Karayel, Zixuan Fan
2023	A	`conf`	An Embarrassingly Parallel Optimal-Space Cardinality Estimation Algorithm. APPROX/RANDOM Emin Karayel
2023	J	`jnl`	An embarrassingly parallel optimal-space cardinality estimation algorithm. CoRR Emin Karayel
2023	J	`jnl`	Concentration Inequalities. Arch. Formal Proofs Emin Karayel, Yong Kiam Tan
2023	J	`jnl`	Distributed Distinct Elements. Arch. Formal Proofs Emin Karayel
2023	J	`jnl`	Executable Randomized Algorithms. Arch. Formal Proofs Emin Karayel, Manuel Eberl
2023	J	`jnl`	Expander Graphs. Arch. Formal Proofs Emin Karayel
2022	J	`jnl`	A Combinator Library for Prefix-Free Codes. Arch. Formal Proofs Emin Karayel
2022	J	`jnl`	Combinatorial Enumeration Algorithms. Arch. Formal Proofs Paul Hofmeier, Emin Karayel
2022	J	`jnl`	Enumeration of Equivalence Relations. Arch. Formal Proofs Emin Karayel
2022	J	`jnl`	Finite Fields. Arch. Formal Proofs Emin Karayel
2022	B	`conf`	Formalization of Randomized Approximation Algorithms for Frequency Moments. ITP Emin Karayel
2022	J	`jnl`	Formalization of Randomized Approximation Algorithms for Frequency Moments. Arch. Formal Proofs Emin Karayel
2022	J	`jnl`	Interpolation Polynomials (in HOL-Algebra). Arch. Formal Proofs Emin Karayel
2022	J	`jnl`	Median Method. Arch. Formal Proofs Emin Karayel
2022	J	`jnl`	Strong eventual consistency of the collaborative editing framework WOOT. Distributed Comput. Emin Karayel, Edgar Gonzàlez
2022	J	`jnl`	Universal Hash Families. Arch. Formal Proofs Emin Karayel
2020	J	`jnl`	Strong Eventual Consistency of the Collaborative Editing Framework WOOT. Arch. Formal Proofs Emin Karayel, Edgar Gonzàlez