Method for the automatic evaluation of the similarity of two character strings that are stored in a computer E Karayel US Patent 8,032,517, 2011 | 24 | 2011 |
Expander graphs E Karayel Archive of Formal Proofs, 2023 | 4 | 2023 |
Interpolation polynomials (in HOL-Algebra) E Karayel Archive of Formal Proofs, 2022 | 3 | 2022 |
Distributed Distinct Elements E Karayel | 2 | 2023 |
Median method E Karayel Archive of Formal Proofs, 2022 | 2 | 2022 |
Finite fields E Karayel Archive of Formal Proofs, 2022 | 2 | 2022 |
Enumeration of equivalence relations E Karayel Archive of Formal Proofs, 2022 | 2 | 2022 |
Universal hash families E Karayel Archive of Formal Proofs, 2022 | 2 | 2022 |
Strong eventual consistency of the collaborative editing framework WOOT E Karayel, E Gonzàlez Distributed Computing, 1-20, 2022 | 2 | 2022 |
Formalization of randomized approximation algorithms for frequency moments E Karayel 13th International Conference on Interactive Theorem Proving (ITP 2022), 2022 | 2 | 2022 |
Concentration Inequalities E Karayel, YK Tan Archive of Formal Proofs, 2023 | 1 | 2023 |
An embarrassingly parallel optimal-space cardinality estimation algorithm E Karayel arXiv preprint arXiv:2307.00985, 2023 | 1 | 2023 |
Executable Randomized Algorithms E Karayel, M Eberl | 1 | 2023 |
A combinator library for prefix-free codes E Karayel Archive of Formal Proofs, 2022 | 1 | 2022 |
Derandomization with Pseudorandomness E Karayel arXiv preprint arXiv:2404.16614, 2024 | | 2024 |
Karatsuba Multiplication for Integers J Schulz, E Karayel | | 2024 |
Combinatorial Enumeration Algorithms P Hofmeier, E Karayel | | 2023 |
Strong Eventual Consistency of the Collaborative Editing Framework WOOT E Karayel, E Gonzàlez Arch. Formal Proofs 2020, 2020 | | 2020 |
Method for searching in a plurality of data sets and search engine E Karayel, C Heinz, M Krings US Patent 9,087,119, 2015 | | 2015 |
Operating device for a user interface E Karayel, C Kraus US Patent 8,823,686, 2014 | | 2014 |